Knowledge Representation and Reasoning
Problems, algorithms and computers: the traditional approach
The AI approach
A unitary view of AI
Types of knowledge
Reasoning methods
The knowledge representation hypothesis (Brian Smith, 1982)
An example
Inference
An example with FOL
Completeness theorem
However ...
Criteria for evaluating knowledge represntation methods
Posta elettronica tasso@dimi.uniud.it
Scarica presentazione originale