Paper Info
Title
A production rule-based framework for causal and epistemic reasoning
Abstract
Action theories are an important field of knowledge representation for reasoning about change and causality in dynamic domains. In practical implementations agents often have incomplete knowledge about the environment and need to acquire information at runtime through sensing, the basic ontology of action theories needs to be extended with epistemic notions. This paper presents a production system that can perform online causal, temporal and epistemic reasoning based on the Event Calculus and on an epistemic extension of the latter. The framework implements the declarative semantics of the underlying logic theories in a forward-chaining rule-based system. This way, it combines the capacity of highly expressive formalisms to represent a multitude of commonsense phenomena with the efficiency of rule-based reasoning systems, which typically lack real semantics and high-level structures.
Year
DOI
Venue
2012
10.1007/978-3-642-32689-9_10
RuleML
Keywords
Field
DocType
action theory,forward-chaining rule-based system,rule-based reasoning system,epistemic reasoning,knowledge representation,incomplete knowledge,epistemic notion,epistemic extension,production rule-based framework,declarative semantics,production system
Event calculus,Ontology,Rule-based system,Knowledge representation and reasoning,Computer science,Artificial intelligence,Deductive reasoning,Epistemology,Rotation formalisms in three dimensions,Frame problem,Semantics
Conference
Citations 
PageRank 
References 
2
0.37
13
Authors
4
Name
Order
Citations
PageRank
Theodore Patkos114418.96
Abdelghani Chibani223931.24
Dimitris Plexousakis32586326.38
Yacine Amirat463968.98