An event calculus production rule system for reasoning in dynamic and uncertain domains.
Theodore PatkosDimitris PlexousakisAbdelghani ChibaniYacine AmiratPublished in: Theory Pract. Log. Program. (2016)
Keyphrases
- production rules
- event calculus
- reasoning tasks
- approximate reasoning
- commonsense reasoning
- knowledge representation
- knowledge based systems
- situation calculus
- temporal reasoning
- partially ordered
- production system
- rule base
- knowledge base
- automated reasoning
- deductive databases
- decision making
- knowledge structures
- domain specific knowledge
- logic programming
- artificial intelligence
- owl ontologies
- directed acyclic graph
- description logics
- classification rules
- machine learning
- partial order