A Graphical Formalism for Commonsense Reasoning with Recipes.
Antonis BikakisAïssatou DialloLuke DickensAnthony HunterRob MillerPublished in: CoRR (2023)
Keyphrases
- commonsense reasoning
- knowledge representation
- formal theory
- event calculus
- nonmonotonic reasoning
- incomplete information
- knowledge base
- situation calculus
- probabilistic reasoning
- description logics
- missing information
- classical logic
- autoepistemic logic
- directed acyclic graph
- default logic
- automated reasoning
- machine learning
- belief revision
- logic programming
- expert systems
- bayesian networks