Peter Koncz: VKUI - 1.zadanie

Z Psychostudia

Hlavná stránka / Umelá inteligencia / Vybrané kapitoly z umelej inteligencie

---

Zadanie

Gramatiky (1.Časť)

Upravený zdrojový kód: gramar.lsp

'((Sentence -> (M A B))
   (A -> maslo chlieb kolac)
   (B -> (C D) (F H I) (F E I))
   (C -> neobsahuje )
   (D -> (H I) (J K))
   (H -> vela (N mnozstvo))
   (J -> ziadne nejake)
   (I -> bielkovin cukru tuku)
   (K -> bielkoviny cukry tuky)
   (F -> obsahuje)
   (E -> trocha malo)
   (M -> nastastie zial)
   (N -> velke male)
    ))

Vygenerované vety:

(ZIAL MASLO OBSAHUJE VELKE MNOZSTVO BIELKOVIN)

(NASTASTIE CHLIEB OBSAHUJE TROCHA BIELKOVIN)

(ZIAL CHLIEB OBSAHUJE VELA TUKU)

(ZIAL KOLAC OBSAHUJE TROCHA TUKU)

(NASTASTIE KOLAC NEOBSAHUJE VELA BIELKOVIN)

Automatické dokazovanie teorém (2.Časť)

Upravený zdrojový kód: theory-pecenie.lsp

Teória:

1. Ak niekto vie piecť nejaký koláč už ho piekol.

(viepiect ?x ?y) => (piekol ?x ?y)

po uprave:

(not (viepiect ?x ?y)) v (piekol ?x ?y)

2. Peter vie piecť všetky koláče.

(kolac ?y) => (viepiect peter ?y)

po uprave:

(not (kolac ?y)) v (viepiect peter ?y)

3. Ak je niečo z piškótového cesta a pečie sa to, je to koláč.

((piskotove ?y) & (pecie ?y)) => (kolac ?y)

po uprave:

(not (piskotove ?y)) v (not (pecie ?y)) v (kolac ?y)

4. Bábovka je z piškótového cesta.

(piskotove babovka)

5. Bábovka sa pečie.

(pecie babovka)

Hypotéza:

Peter už piekol bábovku.

Negácia, ktorá má viesť k sporu:

Peter ešte nepiekol bábovku.

(not (piekol peter babovka))

Klauzulárny tvar vo forme pre program:

(defun theorem () 
  '(and 
     (or (not (viepiect ?x ?y)) (piekol ?x ?y))
     (or (not (kolac ?y)) (viepiect peter ?y))
     (or (not (piskotove ?y)) (not (pecie ?y)) (kolac ?y))
     (or (piskotove babovka))
     (or (pecie babovka))
        )
  )
(defun not-hypothesis () 
  '(
    (or (not (piekol peter babovka)))
   ) 
  )

Derivačný strom:

fact.dat

Sémantické siete (3.Časť)

Upravený zdrojový kód: s_net.lsp

Sieť:

 (prop 'psychodiagnosticky-nastroj 'ma-cast '(podnetovu vyhodnocovaciu))
 (prop 'psychodiagnosticky-nastroj 'ma-reliabilitu 'hodnota)
 (prop 'psychodiagnosticky-nastroj 'ma-validitu 'hodnota)
 (prop 'psychodiagnosticky-nastroj 'ma-autora 'meno)
 (prop 'psychodiagnosticky-nastroj 'ma-oznacenie 'symbol)
  
 (prop 'rorschach_inkblot_test 'ma-cast '(obrazky interpretacne-pravidla))
 (prop 'rorschach_inkblot_test 'ma-reliabilitu 'osemdesiatpat_stotin)
 (prop 'rorschach_inkblot_test 'ma-validitu 'osemdesiatosem_stotin)
 (prop 'rorschach_inkblot_test 'ma-autora 'Hermann-Rorschach)
 (prop 'rorschach_inkblot_test 'ma-oznacenie 'T-N)
 
 (prop 'SKASUK 'ma-cast '(testovy_zosit sablony))
 (prop 'SKASUK 'ma-reliabilitu 'sedemdesiatpat_stotin)
 (prop 'SKASUK 'ma-validitu 'sedemdesiatosem_stotin)
 (prop 'SKASUK 'ma-autora 'Sonnenberg )
 (prop 'SKASUK 'ma-oznacenie 'T-310)
 (prop 'SKASUK 'ma-extra-vlastnost 'ma_styri_motivacne_a_styri_kompenzacne_skali) 
   
 (prop 'TE-ZA-DO 'ma-cast '(testovy_zosit sablony))
 (prop 'TE-ZA-DO 'ma-reliabilitu 'sedemdesiatjeden_stotin)
 (prop 'TE-ZA-DO 'ma-validitu 'sedemdesiatosem_stotin)
 (prop 'TE-ZA-DO 'ma-autora 'Vladimir-Smekal )
 (prop 'TE-ZA-DO 'ma-oznacenie 'T-104)
 (prop 'TE-ZA-DO 'ma-extra-vlastnost 'pripravovany_na_vydanie)
 
 (isa 'projektivna_technika 'psychodiagnosticky-nastroj)
 (isa 'dotaznik 'psychodiagnosticky-nastroj)
 (isa 'rorschach_inkblot_test 'projektivna_technika)
 (isa 'SKASUK 'dotaznik)
 (isa 'TE-ZA-DO 'dotaznik)
 (isa 'osemdesiatpat_stotin 'hodnota)
 (isa 'osemdesiatosem_stotin 'hodnota)
 (isa 'sedemdesiatpat_stotin 'hodnota)
 (isa 'sedemdesiatosem_stotin 'hodnota)
 (isa 'sedemdesiatjeden_stotin 'hodnota)
 (isa 'Hermann-Rorschach 'meno)
 (isa 'Sonnenberg 'meno)
 (isa 'Vladimir-Smekal 'meno)
 (isa 'T-N 'symbol)
 (isa 'T-310 'symbol)
 (isa 'T-104 'symbol)
 (isa 'pripravovany_na_vydanie 'upozornenie)
 (isa 'ma_styri_motivacne_a_styri_kompenzacne_skali 'komentar)

Otázky:

 (answer '((?co isa psychodiagnosticky-nastroj) (?co ma-validitu osemdesiatosem_stotin)))
 (answer '((?co isa psychodiagnosticky-nastroj) (?co isa projektivna_technika)))
 (answer '((?co isa psychodiagnosticky-nastroj) (?co isa dotaznik)))
 (answer '((?co isa psychodiagnosticky-nastroj) (?co isa dotaznik) (?co ?ma-vlastnost ?x) (?x isa komentar)))
 (answer '((?co isa psychodiagnosticky-nastroj) (?co isa dotaznik) (?co ?ma-vlastnost ?x) (?x isa upozornenie)))
 (answer '((?co isa dotaznik) (?co ma-validitu sedemdesiatosem_stotin)))
 (answer '((?co isa dotaznik) (?co ma-validitu sedemdesiatosem_stotin) (?co ma-reliabilitu sedemdesiatpat_stotin)))
 (answer '((?co isa dotaznik) (?co ma-validitu sedemdesiatosem_stotin) (?co ma-autora Vladimir-Smekal)))