Abductive reasoning through filtering
C Baral - Artificial Intelligence, 2000 - Elsevier
Abduction is an inference mechanism where given a knowledge base and some
observations, the reasoner tries to find hypotheses which together with the knowledge base …
observations, the reasoner tries to find hypotheses which together with the knowledge base …
Formalizing narratives using nested circumscription
Representing and reasoning about narratives together with the ability to do hypothetical
reasoning is important for agents in a dynamic world. These agents need to record their …
reasoning is important for agents in a dynamic world. These agents need to record their …
Complexity of propositional nested circumscription and nested abnormality theories
Circumscription has been recognized as an important principle for knowledge
representation and common-sense reasoning. The need for a circumscriptive formalism that …
representation and common-sense reasoning. The need for a circumscriptive formalism that …
[图书][B] Furthering the continuous-change event calculus: providing for efficient description of additive effects and an automated reasoner
A Khandelwal - 2013 - search.proquest.com
Semantic Web refers to a Web of interconnected data enriched with semantics. It subscribes
to logic-based representations of knowledge through W3C standards such as the Resource …
to logic-based representations of knowledge through W3C standards such as the Resource …
Complexity of Nested Circumscription and Nested Abnormality Theories
The need for a circumscriptive formalism that allows for simple yet elegant modular problem
representation has led Lifschitz (AIJ, 1995) to introduce nested abnormality theories (NATs) …
representation has led Lifschitz (AIJ, 1995) to introduce nested abnormality theories (NATs) …
[PDF][PDF] Formalizing Narratives using Nested Circumscription and Value Minimization
Representing and reasoning about narratives together with the ability to do hypothetical
reasoning is important for agents in a dynamic world. These agents need to record their …
reasoning is important for agents in a dynamic world. These agents need to record their …
[引用][C] General Descriptions of Additive Effects via Aggregates in the Circumscriptive Event Calculus
A Khandelwal, P Fox - Submitted on, 2012