Results 1 - 10 of 896

Probabilistic Reasoning in Terminological Logics

by Manfred Jaeger , 1994
"... In this paper a probabilistic extensions for terminological knowledge representation languages is defined. Two kinds of probabilistic statements are introduced: statements about conditional probabilities between concepts and statements expressing uncertain knowledge about a specific object. The usua ..."
Abstract - Cited by 86 (5 self) - Add to MetaCart
. The usual model-theoretic semantics for terminological logics are extended to define interpretations for the resulting probabilistic language. It is our main objective to find an adequate modelling of the way the two kinds of probabilistic knowledge are combined in commonsense inferences of probabilistic

A Correspondence Theory for Terminological Logics: Preliminary Report

by Klaus Schild - In Proc. of IJCAI-91 , 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 by-products. Namely, we axiomatize ALC and give a ..."
Abstract - Cited by 307 (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 by-products. Namely, we axiomatize ALC and give

A temporal terminological logic

by Albrecht Schmiedel, Technische Universittit Berlin , 1990
"... An attempt is made to integrate three well-known formalisms of knowledge representation: termino-logical logic in the tradition of KL-ONE, the tem-poral logic of Shoham, and Allen’s interval calcu-lus. Drawing on each of these sources, a temporal terminological logic is proposed which combines struc ..."
Abstract - Cited by 35 (0 self) - Add to MetaCart
An attempt is made to integrate three well-known formalisms of knowledge representation: termino-logical logic in the tradition of KL-ONE, the tem-poral logic of Shoham, and Allen’s interval calcu-lus. Drawing on each of these sources, a temporal terminological logic is proposed which combines

On Rough Terminological Logics

by Churn-jung Liau
"... : In this paper, we incorporate the notion of rough sets into terminological logics. Terminological logics formalize the classical frame-based knowledge representation systems in AI and can represent and reason about concepts and roles in the objective worlds. In such logics, a concept is interprete ..."
Abstract - Cited by 8 (0 self) - Add to MetaCart
: In this paper, we incorporate the notion of rough sets into terminological logics. Terminological logics formalize the classical frame-based knowledge representation systems in AI and can represent and reason about concepts and roles in the objective worlds. In such logics, a concept

A Probabilistic Terminological Logic

by Fabrizio Sebastiani, See Profile, Available From Fabrizio Sebastiani, Fabrizio Sebastianil , 1994
"... Some researchers have recently argued that the task of Information Retrieval (IR) may successfully be described by means of mathematical logic; accordingly, the relevance of a given document to a given information need should be assessed by checking the validity of the logical formula d + n, where d ..."
Abstract - Add to MetaCart
d is the representation of the document, n is the representation of the information need and “-+ ” is the conditional connective of the logic in question. In a recent paper we have proposed Terminological Logics (TLs) as suitable logics for modelling IR within the paradigm described above

A Probabilistic Terminological Logic for

by unknown authors
"... Some researchers have recently argued that the task of Information Retrieval (IR) may successfully be described by means of mathematical logic; accordingly, the relevance of a given document to a given information need should be assessed by checking the validity of the logical formula d + n, where d ..."
Abstract - Add to MetaCart
d is the representation of the document, n is the representation of the information need and “-+ ” is the conditional connective of the logic in question. In a recent paper we have proposed Terminological Logics (TLs) as suitable logics for modelling IR within the paradigm described above

Terminological logics with modal operators

by Franz Baader, Armin Laux , 1994
"... Terminological knowledge representation formalisms can be used to represent objective, time-independent facts about an application domain. Notions like belief, intentions, and time which are essential for the representation of multi-agent environments can only be expressed in a very limited way. For ..."
Abstract - Cited by 28 (1 self) - Add to MetaCart
. For such notions, modal logics with possible worlds semantics provides a formally well-founded and wellinvestigated basis. This paper presents a framework for integrating modal operators into terminological knowledge representation languages. These operators can be used both inside of concept expressions

Existential Graphs for Terminological Logics

by Renate A. Schmidt , 1994
"... In this paper I focus on graphic forms of representation for kl-one-based knowledge representation languages. I consider the semantic network formalism due to R. Brachman and the system of existential graph due C. S. Peirce. The semantic networks of Brachman are very weak. Not all the information ..."
Abstract - Add to MetaCart
the information expressible in a terminological language can be represented as a semantic network. By contrast, the system of Peirce is very powerful. I show how any information expressed in any terminological language can be transformed and displayed as an existential graph and propose that existential

A Computationally Tractable Terminological Logic

by Fabrizio Sebastiani, Umberto Straccia - In Proceedings of SCAI-91, 3rd Scandinavian Conference on Artificial Intelligence , 1991
"... Terminological Logics are knowledge representation formalisms of enormous applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. A number of results relative to the computational co ..."
Abstract - Cited by 7 (6 self) - Add to MetaCart
Terminological Logics are knowledge representation formalisms of enormous applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. A number of results relative to the computational

Document retrieval by relevance terminological logics

by Umberto Straccia - Proceedings of MIRO-95, Workshop on Multimedia Information Retrieval , 1996
"... Information Retrieval (IR) is presented as the task of retrieving the documents that are relevant to a given query. In the context of a Terminological Logic (TL) based approach to IR, this amounts to embodying a notion of relevance in the logical implication relation of the chosen TL. Among the many ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
Information Retrieval (IR) is presented as the task of retrieving the documents that are relevant to a given query. In the context of a Terminological Logic (TL) based approach to IR, this amounts to embodying a notion of relevance in the logical implication relation of the chosen TL. Among
Results 1 - 10 of 896