Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:krr:lab_dl_answers [2013/05/31 22:00] ikaf [Inne formalizmy] |
pl:dydaktyka:krr:lab_dl_answers [2019/06/27 15:50] (aktualna) |
| |
===== 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. |
| |
===== Wnioskowanie ===== | ===== Wnioskowanie ===== |
| TBox: |
| - Pojęciu pustemu (<latex>\bot</latex>), czyli jest to pojęcie sprzeczne. |
| - Tak, to zdanie jest logiczną konsekwencją zadanej bazy wiedzy, ponieważ: |
| - na podstawie [[#tbox|1. aksjomatu]] każdy kto prowadzi przedmiot musi mieć albo tytuł mgr albo być wykładowcą. |
| - jeżeli ma tytuł Mgr, to na podstawie [[#tbox|4. aksjomatu]] ma też tytuł Inż. |
| - jeżeli jest wykładowcą to na podstawie [[#tbox|3. aksjomatu]] ma tytuł Inż. |
| - zatem każdy kto prowadzi przemiot ma tytuł inzyniera. |
| |
| ABox: |
- 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. |
- Pojęciu pustemu (<latex>\bot</latex>), czyli jest to pojęcie sprzeczne. | - 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ą. -> ✔ |
| |