Knowledge Representation and Reasoning
Focused on designing forms for expressing information
- Mostly “general-purpose” languages & systems
Must consider reasoning to be done with representation
- What queries are to be answerable from the represented knowledge
- What algorithms are to be used to reason with the knowledge
Expressiveness vs. tractability tradeoff
- How to express what we know
- How to reason with what we express
- “A Fundamental Tradeoff in Knowledge Representation and Reasoning”
- H. Levesque, R. Brachman; in Readings in Knowledge Representation; edited by R. Brachman and H. Levesque; Morgan Kaufman; 1985.