Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too.
Charles RichPublished in: AAAI (1982)
Keyphrases
- predicate calculus
- knowledge representation languages
- first order logic
- knowledge representation
- description logics
- formal model
- representing knowledge
- semantic network
- data model
- predicate logic
- structured objects
- theorem proving
- theorem prover
- dl lite
- business rules
- knowledge acquisition
- expressive power
- knowledge base
- integrity constraints
- artificial intelligence
- probabilistic reasoning
- expert systems