Różnice między wybraną wersją a wersją aktualną.
|
pl:dydaktyka:krr:lab_dl_answers [2013/05/31 20:49] ikaf |
pl:dydaktyka:krr:lab_dl_answers [2019/06/27 15:50] |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== KRR: Logiki Deskrypcyjne - odpowiedzi ====== | ||
| - | ===== Reprezentacja wiedzy ===== | ||
| - | - Pojęcia (klasy): | ||
| - | - cat_liker, cow, man, cat, vegetarian, person, sheep, adult, male, animal, grass | ||
| - | - Role (relacje): | ||
| - | - has pet, is a, is an, likes, doesn't eat, eats only | ||
| - | - Instancje (obiekty): | ||
| - | - Fred, Tibbs | ||
| - | |||
| - | __**Ć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. | ||
| - | Dopisz odpowiadające im zdania w logice deskrypcyjnej. | ||
| - | - Każdy ogrodnik lubi słońce. / Every gardener likes the sun. | ||
| - | - (Ax) Gardener(x) => likes(x,Sun) | ||
| - | - <latex>Gardener \sqsubseteq likes.Sun</latex> | ||
| - | - Niektórych ludzi możesz nabrać zawsze. / You can fool some of the people all of the time. | ||
| - | - (Ex) (person(x) ^ (At)(time(t) => can-fool(x,t))) | ||
| - | - - | ||
| - | - Czasami możesz nabrać wszystkich ludzi. / You can fool all of the people some of the time. | ||
| - | - (Ax) (person(x) => (Et) (time(t) ^ can-fool(x,t))) | ||
| - | - <latex>-</latex> | ||
| - | - Wszystkie fioletowe grzyby są trujące. / All purple mushrooms are poisonous. | ||
| - | - (Ax) (mushroom(x) ^ purple(x)) => poisonous(x) | ||
| - | - <latex>PurpleMushroom \equiv Mushroom \sqcap Purple, PurpleMushroom \sqsubseteq Poisonous.</latex> | ||
| - | - Żadne fioletowe grzyby nie są trujące. / No purple mushroom is poisonous. | ||
| - | - ~(Ex) purple(x) ^ mushroom(x) ^ poisonous(x) | ||
| - | - (Ax) (mushroom(x) ^ purple(x)) => ~poisonous(x) | ||
| - | - <latex>PurpleMushroom \equiv Mushroom \sqcap Purple, PurpleMushroom \sqsubseteq Poisonous.</latex> | ||
| - | - Deb nie jest wysoka. / Deb is not tall. | ||
| - | - ~tall(Deb) | ||
| - | - <latex>-</latex> - w ABoxie mogą być tylko stwierdzenia pozytywne. | ||
| - | |||
| - | ==== Reprezentacja - zadania ==== | ||
| - | |||
| - | ===== Wnioskowanie ===== | ||
| - | - Tak, ponieważ każda starsza pani musi mieć //jakieś// zwierzę, a jednocześnie //wsyzstkie// jej zwierzęta to koty. | ||
| - | - Starsza pani. | ||
| - | - Kot. | ||
| - | - Pojęciu pustemu (<latex>\bot</latex>), czyli jest to pojęcie sprzeczne. | ||
