Class Notes Flashcards
What’s the differences between Frame Systems vs First Order Logic
Frame System pros: Intuitive, organized, allows conjunction of declarative and procedural knowledge, allows defaults
FOL pros: well defined semantics, Reasoning, declarative knowledge
When do use the symbolic level, and the knowledge level?
The symbolic level is used when we want to make the system. While the knowledge level is used when we want to work with the system
Consider the Knowledge Representation Hypothesis formulated by Brian Smith that underlies work in Knowledge Representation and Reasoning. State the hypothesis
The structures represent the things as we see them in the world, as estruturas devido às suas propriedades e à maneira como está desenhado consegue simular inteligência
Does Frame systems comply with the Brian Smith hypothesis?
Yes it does!
What’s the motivation for Description Logics?
The semi-decibility of FOL, the advantages of Frames with their natual representation, and the semantics of FOL motivated the creation of DL
What are the basic ideas behind DL?
- Small is beautiful, development by layers
- Formalism
- Decidability
- Formal semantics
- Natural representation
What was the main reason why it was decided to use DL has the base of OWL?
Besides of it’s simplicity, natural representation and explainability, the main reason for using DL in OWL was because it had decidability, meaning the system would always return an answer, which is fundamental.
In general what are the differences between the T-Box and the A-Box in KL-ONE?
In the T-Box we have the system definitions, while in the A-Box we have what we know to be true at this moment, talking about a particular instance, for examples Leo is a Lion
