Results 1  10
of
22
A Correspondence Theory for Terminological Logics: Preliminary Report
 In Proc. of IJCAI91
, 1991
"... We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate byproducts. Namely, we axiomatize ALC and give a ..."
Abstract

Cited by 253 (0 self)
 Add to MetaCart
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate byproducts. Namely, we axiomatize ALC and give a simple proof that subsumption in ALC is PSPACEcomplete, replacing the original sixpage one. Furthermore, we consider an extension of ALC additionally containing both the identity role and the composition, union, transitivereflexive closure, range restriction, and inverse of roles. It turns out that this language, called T SL, is a notational variant of the propositional dynamic logic converse PDL. Using this correspondence, we prove that it suffices to consider finite T SLmodels, show that T SLsubsumption is decidable, and obtain an axiomatization of T SL. By discovering that features correspond to deterministic programs in dynamic logic, we show that adding them to T SL preserves...
Modal Logics for Qualitative Spatial Reasoning
, 1996
"... Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate highlevel qualitative spatial information ..."
Abstract

Cited by 82 (12 self)
 Add to MetaCart
Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate highlevel qualitative spatial information in a flexible way would be extremely useful. Such capabilities can be proveded by logical calculi; and indeed 1storder theories of certain spatial relations have been given [20]. But computing inferences in 1storder logic is generally intractable unless special (domain dependent) methods are known. 0order modal logics provide an alternative representation which is more expressive than classical 0order logic and yet often more amenable to automated deduction than 1storder formalisms. These calculi are usually interpreted as propositional logics: nonlogical constants are taken as denoting propositions. However, they can also be given a nominal interpretation in which the constants stand...
ManySorted Coalgebraic Modal Logic: a Modeltheoretic Study
 Theoretical Informatics and Applications
, 2001
"... This paper gives a semantical underpinning for a manysorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in objectoriented languages. These systems will be described as coalgebras of socalled polynomial functors, built up from constants an ..."
Abstract

Cited by 53 (3 self)
 Add to MetaCart
This paper gives a semantical underpinning for a manysorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in objectoriented languages. These systems will be described as coalgebras of socalled polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Manysorted Boolean Algebras with Operators, combining standard (categorical) models of modal logic and of manysorted predicate logic.
Two views of the theory of rough sets in finite universes
 International Journal of Approximate Reasoning
, 1996
"... This paper presents and compares two views of the theory of rough sets. The operatororiented view interprets rough set theory as an extension of set theory with two additional unary operators. Under such a view, lower and upper approximations are related to the interior and closure operators in top ..."
Abstract

Cited by 45 (19 self)
 Add to MetaCart
This paper presents and compares two views of the theory of rough sets. The operatororiented view interprets rough set theory as an extension of set theory with two additional unary operators. Under such a view, lower and upper approximations are related to the interior and closure operators in topological spaces, the necessity and possibility operators in modal logic, and lower and upper approximations in interval structures. The setoriented view focuses on the interpretation and characterization of members of rough sets. Iwinski type rough sets are formed by pairs of definable (composed) sets, which are related to the notion of interval sets. Pawlak type rough sets are defined based on equivalence classes of an equivalence relation on the power set. The relation is defined by the lower and upper approximations. In both cases, rough sets may be interpreted, or related to, families of subsets of the universe, i.e., elements of a rough set are subsets of the universe. Alternatively, rough sets may be interpreted using elements of the universe based on the notion of rough membership functions. Both operatororiented and setoriented views are useful in the understanding and application of the theory of rough sets.
PartialGaggles Applied to Logics with Restricted Structural Rules
 In Peter SchroederHeister and Kosta Dosen, editors, Substructural Logics
, 1991
"... Law of Residuation (in their jth place) when f and g are contrapositives (with respect to their jth place) and S(f; a 1 ; : : : ; a j ; : : : ; a n ; b) iff S(g; a 1 ; : : : ; b; : : : ; a n ; a j ). (5) Two operators f , g 2 OP are relatives when they satisfy the Abstract Law of Residuation in ..."
Abstract

Cited by 40 (1 self)
 Add to MetaCart
Law of Residuation (in their jth place) when f and g are contrapositives (with respect to their jth place) and S(f; a 1 ; : : : ; a j ; : : : ; a n ; b) iff S(g; a 1 ; : : : ; b; : : : ; a n ; a j ). (5) Two operators f , g 2 OP are relatives when they satisfy the Abstract Law of Residuation in some position. (6) The family of operations OP is founded when there is a distinguished operator f 2 OP (the head) such that any other operator g 2 OP is a relative of f . Definition. A partialgaggle is a tonoid T = (X; ; OP), in which OP is a founded family. As examples, consider a p.o. residuated groupoid, with OP chosen to be any of the following families of operations (ffi is the head of the families of which it is a member): fffig, fffi; /g, fffi; !g, fffi; /;!g, f/g, f!g. Note that f!;/g does not formally fall under our definition since the trace of one is not directly the contrapositive of the trace of the other, even though the trace of each is a contrapositive of the trace of f...
New directions in the analysis and interactive elicitation of personal construct systems
 In
, 1981
"... The computer elicitation and analysis of personal construct systems has become a technique of great interest and wide application in recent years. This paper takes the current state of the art as a starting point and explores further developments that are natural extensions of it. The overall object ..."
Abstract

Cited by 33 (24 self)
 Add to MetaCart
The computer elicitation and analysis of personal construct systems has become a technique of great interest and wide application in recent years. This paper takes the current state of the art as a starting point and explores further developments that are natural extensions of it. The overall objective of the work described is to develop mancomputer symbiotic systems in which the computer is a truly dialectical partner to the person in forming theories and making decisions. A logical model of constructs as predicates applying to elements is used to develop a logical analysis of construct structures and this is contrasted with various distancebased clustering techniques. A grid analysis program called ENTAIL is described based on these techniques which derives a network of entailments from a grid. This is compared and contrasted with various programs for repertory grid analysis such as INGRID, FOCUS and QAnalysis. Entailment is discussed in relation to Kelly's superordination hierarchy over constructs and preference relations over elements. The entailment analysis is extended to ratingscale data using a fuzzy semantic model. The significance of Kelly's notion of the opposite to a construct as opposed to its negation is discussed and related to other epistemological models and the role of relevance. Finally, the interactive construct elicitation program PEGASUS is considered in terms of the psychological and philosophical importance of the dialectical processes of grid elicitation and analysis, and recommendations are made about its generalization and extension based on the logical foundations described. Links are established between the work on repertory grids and that on relational data bases and expert systems. 1.
Towards a Duality Result in the Modal Logic of Coalgebras
 In Coalgebraic Methods in Computer Science, volume 33 of ENTCS
, 2000
"... This paper forms a step in the development of the recently emerged connection between coalgebra and modal logic. It introduces (backandforth) transformations between coalgebras of simple polynomial functors and certain Boolean algebras with operators (BAOs). Categorically, these transformations ta ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
This paper forms a step in the development of the recently emerged connection between coalgebra and modal logic. It introduces (backandforth) transformations between coalgebras of simple polynomial functors and certain Boolean algebras with operators (BAOs). Categorically, these transformations take the form of an adjunction. The BAO associated with a coalgebra can be used for specification, e.g. of classes in objectoriented languages.
Constructive and algebraic methods of the theory of rough sets
 Information Sciences
, 1998
"... This paper reviews and compares constructive and algebraic approaches in the study of rough sets. In the constructive approach, one starts from a binary relation and defines a pair of lower and upper approximation operators using the binary relation. Different classes of rough set algebras are obtai ..."
Abstract

Cited by 21 (4 self)
 Add to MetaCart
This paper reviews and compares constructive and algebraic approaches in the study of rough sets. In the constructive approach, one starts from a binary relation and defines a pair of lower and upper approximation operators using the binary relation. Different classes of rough set algebras are obtained from different types of binary relations. In the algebraic approach, one defines a pair of dual approximation operators and states axioms that must be satisfied by the operators. Various classes of rough set algebras are characterized by different sets of axioms. Axioms of approximation operators guarantee the existence of certain types of binary relations producing the same operators. 1