To jest stara wersja strony!
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)
-
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)))
-
Wszystkie fioletowe grzyby są trujące. / All purple mushrooms are poisonous.
(Ax) (mushroom(x) ^ purple(x)) ⇒ poisonous(x)
-
Ż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)
-
Deb nie jest wysoka. / Deb is not tall.
~tall(Deb)
- w ABoxie mogą być tylko stwierdzenia pozytywne.
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 (
), czyli jest to pojęcie sprzeczne.