Umjetna inteligencija - logika (zadatak)

[Zvjezdica]

Jel bi tko znao objasniti 2.zadatak sa vježbi iz postupka prirodnog zaključivanja

Nije mi jasno kako smo i iz kojih točno formula dobili one silne zaključke
npr.

6) Ugodno
7)Ne pada snijeg
8)Nije hladno
....
Hvala!

[kika]

prvo smo zapisali recenice ovako:

(1)VH -> PS (VH-vrlo hladno;PS-snijeg)
(2) H-> ne U (H-hladno;U-ugodno)
(3) Z -> (H v VH) (Z-zima)
(4)U ^ ne PS
-----
(5) ne Z --->to treba dokazati

(6)U -->iz (4) pomocu eliminacije konjukcije
(7)ne PS ---> iz (4) pomocu eliminacije konjukcije
(8)ne H ---> iz (2)i (6) pomocu modus tollens
(9)ne VH ---> iz (1)i(7) pomocu modus tollens
(10)neVH ^ neH --->iz ( 8 )i(9) uvodenje konjukcije
(11)ne(VH v H) --> iz (10)
(12) Z ---> iz (11)i(3) pomocu modus tollens

nadam se da sam pomogla:)
to su pravila sa onog papira-vaznija pravila prirodnog zakljucivanja.

[Zvjezdica]

Jesi i to puno!!!

Punooo hvala!

[Jaja]

da ne otvaram novu temu...Jesu li nam rekli na kolokviju kada su žalbe iz umjetne inteligencije? Ili je netko mozda pitao profesora...

_________________
Don't worry, be happy!