Results 1  10
of
28
Action Logic and Pure Induction
 Logics in AI: European Workshop JELIA '90, LNCS 478
, 1991
"... In FloydHoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as onthefly assertions whose truth is evaluated along intervals instead of at states. Action logic is an equational theory ACT conservatively ex ..."
Abstract

Cited by 67 (6 self)
 Add to MetaCart
In FloydHoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as onthefly assertions whose truth is evaluated along intervals instead of at states. Action logic is an equational theory ACT conservatively extending the equational theory REG of regular expressions with operations preimplication a!b (had a then b) and postimplication b/a (b ifever a). Unlike REG, ACT is finitely based, makes a reflexive transitive closure, and has an equivalent Hilbert system. The crucial axiom is that of pure induction, (a!a) = a!a. This work was supported by the National Science Foundation under grant number CCR8814921. 1 Introduction Many logics of action have been proposed, most of them in the past two decades. Here we define action logic, ACT, a new yet simple juxtaposition of old ideas, and show off some of its attractive aspects. The language of action logic is that of equational regular expressio...
Dynamic Algebras as a wellbehaved fragment of Relation Algebras
 In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425
, 1990
"... The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect ..."
Abstract

Cited by 44 (5 self)
 Add to MetaCart
The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect to representable relation algebras, when expressed in their DA form are complete with respect to representable dynamic algebras. Moreover, whereas the theory of RA is undecidable, that of DA is decidable in exponential time. These results follow from representability of the free intensional dynamic algebras. Dept. of Computer Science, Stanford, CA 94305. This paper is based on a talk given at the conference Algebra and Computer Science, Ames, Iowa, June 24, 1988. It will appear in the proceedings of that conference, to be published by SpringerVerlag in the Lecture Notes in Computer Science series. This work was supported by the National Science Foundation under grant number CCR8814921 ...
Relation algebras in qualitative spatial reasoning
 Fundamenta Informaticae
, 1999
"... The formalization of the “part – of ” relationship goes back to the mereology of S. Le´sniewski, subsequently taken up by Leonard & Goodman (1940), and Clarke (1981). In this paper we investigate relation algebras obtained from different notions of “part–of”, respectively, “connectedness” in var ..."
Abstract

Cited by 39 (14 self)
 Add to MetaCart
The formalization of the “part – of ” relationship goes back to the mereology of S. Le´sniewski, subsequently taken up by Leonard & Goodman (1940), and Clarke (1981). In this paper we investigate relation algebras obtained from different notions of “part–of”, respectively, “connectedness” in various domains. We obtain minimal models for the relational part of mereology in a general setting, and when the underlying set is an atomless Boolean algebra. 1
Peirce Algebras
, 1992
"... We present a twosorted algebra, called a Peirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a relationforming o ..."
Abstract

Cited by 25 (10 self)
 Add to MetaCart
We present a twosorted algebra, called a Peirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a relationforming operator on sets (the Peirce product of Boolean modules) and a setforming operator on relations (a cylindrification operation). Two applications of Peirce algebras are given. The first points out that Peirce algebras provide a natural algebraic framework for modelling certain programming constructs. The second shows that the socalled terminological logics arising in knowledge representation have evolved a semantics best described as a calculus of relations interacting with sets.
A RelationAlgebraic Approach to the Region Connection Calculus
 Fundamenta Informaticae
, 2001
"... We explore the relationalgebraic aspects of the region connection calculus (RCC) of Randell et al. (1992a). In particular, we present a refinement of the RCC8 table which shows that the axioms provide for more relations than are listed in the present table. We also show that each RCC model leads ..."
Abstract

Cited by 25 (0 self)
 Add to MetaCart
We explore the relationalgebraic aspects of the region connection calculus (RCC) of Randell et al. (1992a). In particular, we present a refinement of the RCC8 table which shows that the axioms provide for more relations than are listed in the present table. We also show that each RCC model leads to a Boolean algebra. Finally, we prove that a refined version of the RCC5 table has as models all atomless Boolean algebras B with the natural ordering as the "part  of" relation, and that the table is closed under first order definable relations iff B is homogeneous. 1 Introduction Qualitative reasoning (QR) has its origins in the exploration of properties of physical systems when numerical information is not sufficient  or not present  to explain the situation at hand (Weld and Kleer, 1990). Furthermore, it is a tool to represent the abstractions of researchers who are constructing numerical systems which model the physical world. Thus, it fills a gap in data modeling which often l...
Expressive Power and Complexity in Algebraic Logic
 Journal of Logic and Computation
, 1997
"... Two complexity problems in algebraic logic are surveyed: the satisfaction problem and the network satisfaction problem. Various complexity results are collected here and some new ones are derived. Many examples are given. The network satisfaction problem for most cylindric algebras of dimension four ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
Two complexity problems in algebraic logic are surveyed: the satisfaction problem and the network satisfaction problem. Various complexity results are collected here and some new ones are derived. Many examples are given. The network satisfaction problem for most cylindric algebras of dimension four or more is shown to be intractable. Complexity is tiedin with the expressivity of a relation algebra. Expressivity and complexity are analysed in the context of homogeneous representations. The modeltheoretic notion of interpretation is used to generalise known complexity results to a range of other algebraic logics. In particular a number of relation algebras are shown to have intractable network satisfaction problems. 1 Introduction A basic problem in theoretical computing and applied logic is to select and evaluate the ideal formalism to represent and reason about a given application. Many different formalisms are adopted: classical firstorder logic, modal and temporal logics (either...
Erdős Graphs Resolve Fine's Canonicity Problem
 THE BULLETIN OF SYMBOLIC LOGIC
, 2003
"... We show that there exist 2^ℵ0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any firstorder definable class of relational structures. Using a variant of this construction, we resolve a longstanding question of Fine, by exhibiting ..."
Abstract

Cited by 15 (8 self)
 Add to MetaCart
We show that there exist 2^&alefsym;0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any firstorder definable class of relational structures. Using a variant of this construction, we resolve a longstanding question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any firstorder definable class of Kripke frames. The constructions use the result of Erdős that there are finite graphs with arbitrarily large chromatic number and girth.
Terminological Representation, Natural Language & Relation Algebra
, 1992
"... In this paper I establish a link between klonebased knowledge representation concerned with terminological representation and the work of P. Suppes (1976, 1979, 1981) and M. Bottner (1985, 1989) in computational linguistics. I show how this link can be utilised for the problem of finding adequate ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
In this paper I establish a link between klonebased knowledge representation concerned with terminological representation and the work of P. Suppes (1976, 1979, 1981) and M. Bottner (1985, 1989) in computational linguistics. I show how this link can be utilised for the problem of finding adequate terminological representations for given information formulated in ordinary English.
Representations for small relation algebras
 Notre Dame Journal of Formal Logic
, 1994
"... Abstract There are eighteen isomorphism types of finite relation algebras with eight or fewer elements, and all of them are representable. We determine all the cardinalities of sets on which these algebras have representations. 1Introduction We say that a relation algebra is small if it has no more ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
(Show Context)
Abstract There are eighteen isomorphism types of finite relation algebras with eight or fewer elements, and all of them are representable. We determine all the cardinalities of sets on which these algebras have representations. 1Introduction We say that a relation algebra is small if it has no more than eight elements. A relation algebra is a Boolean algebra with additional operators, so every small relation algebra has cardinality 1, 2, 4, or 8. There are eighteen isomorphism types of small relation algebras. One of the types contains oneelement algebras, thirteen of them contain simple algebras, and the remaining four contain direct products of simple relation algebras. Asimple or oneelement relation algebra A is representable if it is isomorphic to a subalgebra of ReU, for some set U, where ReU = 〈 ReU, ∪, ∼, , −1 〉, IdU is the relation algebra of all binary relations on the set U. A representation of A on U is an isomorphism that embeds A into ReU. Direct products of representable relation algebras are also representable. It has long been known that every simple small relation algebra is representable. Therefore all small relation algebras are representable.