Inteligenta Artificiala · 2016 · Parțial
- Profesor
- Doamna Decan
- Anul examenului
- 2016
- Sesiune
- Parțial
- Serie
- IA
- Grupă
- master IA
- Adăugat
- 26 noiembrie 2016 de anonim
KRR
1.Give your own definition of knowledge in Artificial Intelligence.
2.What is model theory and what is proof theory?What is the connection between them?
3.F contains G
4.S = { P(x), ~P(x) v Q(x, a), ~Q(y, a) }, x, y variables, a constant
Herbrand universe
Herbrand base of S
Build a complete semantic tree of S
Closed semantic tree of S and justify why is closed
5.Consider that statements, formalize this knowledge in Reiter’s default logic and indicate all extensions of the theory
6.For each of the following 2 formulas in which modal logic system the formulas are false? Prove by contra example.
◇ p ->
1.Give your own definition of knowledge in Artificial Intelligence.
2.What is model theory and what is proof theory?What is the connection between them?
3.F contains G
4.S = { P(x), ~P(x) v Q(x, a), ~Q(y, a) }, x, y variables, a constant
Herbrand universe
Herbrand base of S
Build a complete semantic tree of S
Closed semantic tree of S and justify why is closed
5.Consider that statements, formalize this knowledge in Reiter’s default logic and indicate all extensions of the theory
6.For each of the following 2 formulas in which modal logic system the formulas are false? Prove by contra example.
◇ p ->