Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:krr:lab_dl_answers [2013/05/31 23:19] ikaf [Wnioskowanie] |
pl:dydaktyka:krr:lab_dl_answers [2019/06/27 15:50] (aktualna) |
| |
ABox: | ABox: |
- Rozważamy następujący świat: {{:pl:dydaktyka:krr:zad-abox.png?300|}}, w którym nie wiemy, czy andrea jest kobietą czy nie. Rozważamy zatem dwie interpretacje: | |
- Andrea należy do klasy Female: Wtedy Andrea jest przyjaciółką Johna i kocha Billa, który nie jest kobietą. -> ✔ | |
- Andrea należy do klasy ¬Female: Wtedy Susan jest przyjaciółką Johna i kocha Andrea, który nie jest kobietą. -> ✔ | |
| |
OWA: | |
- Tak, ponieważ każda starsza pani musi mieć //jakieś// zwierzę, a jednocześnie //wszystkie// jej zwierzęta to koty. | - Tak, ponieważ każda starsza pani musi mieć //jakieś// zwierzę, a jednocześnie //wszystkie// jej zwierzęta to koty. |
- Starsza pani. | - Starsza pani. |
- Kot. | - Kot. |
| - Rozważamy następujący świat: \\ {{:pl:dydaktyka:krr:zad-abox.png?300|}}, \\ w którym nie wiemy, czy andrea jest kobietą czy nie. Rozważamy zatem dwie interpretacje: |
| - Andrea należy do klasy Female: Wtedy Andrea jest przyjaciółką Johna i kocha Billa, który nie jest kobietą. -> ✔ |
| - Andrea należy do klasy ¬Female: Wtedy Susan jest przyjaciółką Johna i kocha Andrea, który nie jest kobietą. -> ✔ |
| |
| |