Results 1  10
of
39
A Computational Model for Metric Spaces
 Theoretical Computer Science
, 1995
"... For every metric space X , we define a continuous poset BX such that X is homeomorphic to the set of maximal elements of BX with the relative Scott topology. The poset BX is a dcpo iff X is complete, and !continuous iff X is separable. The computational model BX is used to give domaintheoretic pro ..."
Abstract

Cited by 48 (9 self)
 Add to MetaCart
(Show Context)
For every metric space X , we define a continuous poset BX such that X is homeomorphic to the set of maximal elements of BX with the relative Scott topology. The poset BX is a dcpo iff X is complete, and !continuous iff X is separable. The computational model BX is used to give domaintheoretic proofs of Banach's fixed point theorem and of two classical results of Hutchinson: on a complete metric space, every hyperbolic iterated function system has a unique nonempty compact attractor, and every iterated function system with probabilities has a unique invariant measure with bounded support. We also show that the probabilistic power domain of BX provides an !continuous computational model for measure theory on a separable complete metric space X . 1 Introduction In this paper, we establish new connections between the theory of metric spaces and domain theory, the two basic mathematical structures in computer science. For every metric space X, we define a continuous poset (not necessar...
Generalized Metrics and Uniquely Determined Logic Programs
 Theoretical Computer Science
"... The introduction of negation into logic programming brings the benefit of enhanced syntax and expressibility, but creates some semantical problems. Specifically, certain operators which are monotonic in the absence of negation become nonmonotonic when it is introduced, with the result that standard ..."
Abstract

Cited by 30 (17 self)
 Add to MetaCart
(Show Context)
The introduction of negation into logic programming brings the benefit of enhanced syntax and expressibility, but creates some semantical problems. Specifically, certain operators which are monotonic in the absence of negation become nonmonotonic when it is introduced, with the result that standard approaches to denotational semantics then become inapplicable. In this paper, we show how generalized metric spaces can be used to obtain fixedpoint semantics for several classes of programs relative to the supported model semantics, and investigate relationships between the underlying spaces we employ. Our methods allow the analysis of classes of programs which include the acyclic, locally hierarchical, and acceptable programs, amongst others, and draw on fixedpoint theorems which apply to generalized ultrametric spaces and to partial metric spaces.
Bistructures, Bidomains and Linear Logic
 in Proc. 21st ICALP
, 1997
"... Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of causal dependency is replaced by two orders, one associated with input and the other with output in the behaviour of func ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
(Show Context)
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of causal dependency is replaced by two orders, one associated with input and the other with output in the behaviour of functions. Bistructures form a categorical model of Girard's classical linear logic in which the involution of linear logic is modelled, roughly speaking, by a reversal of the roles of input and output. The comonad of the model has an associated coKleisli category which is closely related to that of Berry's bidomains (both have equivalent nontrivial full subcartesian closed categories).
Topology, Domain Theory and Theoretical Computer Science
, 1997
"... In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from concerns that semantics generates. Keywords: Domain theory, Scott topology, power domains, untyped lambda calculus Subject Classification: 06B35,06F30,18B30,68N15,68Q55 1 Introduction Topology has proved to be an essential tool for certain aspects of theoretical computer science. Conversely, the problems that arise in the computational setting have provided new and interesting stimuli for topology. These problems also have increased the interaction between topology and related areas of mathematics such as order theory and topological algebra. In this paper, we outline some of these interactions between topology and theoretical computer science, focusing on those aspects that have been mo...
A cartesian closed category of approximable concept structures
 Proceedings of the International Conference On Conceptual Structures
, 2004
"... Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection betwe ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
(Show Context)
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection between formal concept analysis and domain theory as a categorical equivalence, enriching the link between the two areas as outlined in [25]. Building on a new notion of approximable concept introduced by Zhang and Shen [26], this paper provides an appropriate notion of morphisms on formal contexts and shows that the resulting category is equivalent to (a) the category of complete algebraic lattices and Scott continuous functions, and (b) a category of information systems and approximable mappings. Since the latter categories are cartesian closed, we obtain a cartesian closed category of formal contexts that respects both the context structures as well as the intrinsic notion of approximable concepts at the same time. 1
Domain Theory Meets Default Logic
, 1995
"... We present a development of the theory of default information structures, combining ideas from domain theory with ideas from nonmonotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Re ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
(Show Context)
We present a development of the theory of default information structures, combining ideas from domain theory with ideas from nonmonotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Reiter's default rules are viewed as nondeterministic algorithms for generating preferred partial models. Using domaintheoretical notions, we improve the standard definition of extensions in default logic, by introducing the notion of dilation. We prove the existence of such dilations for a new, natural class of default information structures, properly including the socalled seminormal ones. This class, called the class of rational structures, is a robust generalization of the usual kind of default rule system.
Nonclassical Techniques for Models of Computation
 Topology Proceedings
, 1999
"... After surveying recent work and new techniques in domain theoretic models of spaces, we introduce a new topological concept called recurrence, and consider some of its applications to the model problem. ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
(Show Context)
After surveying recent work and new techniques in domain theoretic models of spaces, we introduce a new topological concept called recurrence, and consider some of its applications to the model problem.
Disjunctive Systems and LDomains
 Proceedings of the 19th International Colloquium on Automata, Languages, and Programming (ICALP’92
, 1992
"... . Disjunctive systems are a representation of Ldomains. They use sequents of the form X ` Y , with X finite and Y pairwise disjoint. We show that for any disjunctive system, its elements ordered by inclusion form an Ldomain. On the other hand, via the notion of stable neighborhoods, every Ldomain ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
(Show Context)
. Disjunctive systems are a representation of Ldomains. They use sequents of the form X ` Y , with X finite and Y pairwise disjoint. We show that for any disjunctive system, its elements ordered by inclusion form an Ldomain. On the other hand, via the notion of stable neighborhoods, every Ldomain can be represented as a disjunctive system. More generally, we have a categorical equivalence between the category of disjunctive systems and the category of Ldomains. A natural classification of domains is obtained in terms of the style of the entailment: when jXj = 2 and jY j = 0 disjunctive systems determine coherent spaces; when jY j 1 they represent Scott domains; when either jXj = 1 or jY j = 0 the associated cpos are distributive Scott domains; and finally, without any restriction, disjunctive systems give rise to Ldomains. 1 Introduction Discovered by Coquand [Co90] and Jung [Ju90] independently, Ldomains form one of the maximal cartesian closed categories of algebraic cpos. Tog...
Formal Concept Analysis and Resolution in Algebraic Domains
 Using Conceptual Structures — Contributions to ICCS 2003, Shaker Verlag, Aachen
, 2003
"... We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal conc ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
(Show Context)
We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.