A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases.
Christel KemkePublished in: Canadian Conference on AI (2003)
Keyphrases
- formal theory
- knowledge base
- concept descriptions
- knowledge representation languages
- semantic network
- belief update
- description logics
- knowledge representation
- spatial reasoning
- commonsense reasoning
- knowledge sources
- inductive learning
- knowledge based systems
- knowledge acquisition
- concept learning
- belief revision
- fuzzy ontology
- highly expressive
- action descriptions
- incomplete information
- first order logic
- logic programming
- pairwise