Академический Документы
Профессиональный Документы
Культура Документы
• Introduction
• Knowledge Representation Hypothesis
A Fundamental Tradeoff in • Knowledge Representation Subsystem
Knowledge Representation and • Logical Approach
• The Problem
Reasoning • Pseudo-Solutions
• Incomplete Knowledge
Hector J. Levesque • Database Form
Ronald J. Brachman • Logic Program Form
• Semantic Network Form
• Frame Description Form
• Conclusion and Morals
Introduction Introduction
• The system must be able to interpret • Symbolic structures must play a causal
structures as propositions role in the behaviour of the system
1
Knowledge Representation
Logical Approach
Subsystem
The problem with tractability does not lie in the Also a pseudo-solution, a “real” solution is
representation, but in the problems themselves not possible.
2
Database Form Database Form
• Only unary and binary predicates • Easier to develop algorithms that appear
to reason than to justify their reasoning
3
Frame Description Form Frame Description Form
• Different specializations for different • Tendencies to aim too high or too low
domains
should be avoided
» Questions?