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 22:43] ikaf [Wnioskowanie] |
pl:dydaktyka:krr:lab_dl_answers [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 26: | Linia 26: | ||
| ===== Inne formalizmy ===== | ===== Inne formalizmy ===== | ||
| - | |||
| - | __**Ćwiczenie 3**__ (na podstawie [[http://pages.cs.wisc.edu/~dyer/cs540/notes/fopc.html|]] | ||
| Poniższe zdania przełożono z języka naturalnego na formuły rachunku pierwszego rzędu. | Poniższe zdania przełożono z języka naturalnego na formuły rachunku pierwszego rzędu. | ||
| Dopisz odpowiadające im zdania w logice deskrypcyjnej. | Dopisz odpowiadające im zdania w logice deskrypcyjnej. | ||
| Linia 74: | Linia 72: | ||
| ABox: | ABox: | ||
| - | |||
| - | |||
| - | |||
| - | 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ą. -> ✔ | ||
| + | |||
