Intelligentsed süsteemid
näiteks loomulikku keelt, semantilisi võrke, mitmesuguseid loogikaid,
reegleid, freime, närvivõrke, andmebaaside kirjelduskeeli, algoritmilisi
keeli, otsustuspuid, graafe jm
Teadmuse kujutamise keeli saab liigitada deklaratiivseteks ja
protseduurseteks. Deklaratiivsete keelte puhul (nt Prolog, semantika
kirjelduse vahendid) kirjeldatakse olukord ja vajadusel küsitakse lahendust
(lahenduskäik tuleb süsteemil ise leida). Protseduursetes keeltes (nt
algoritmilised keeled) esitatakse olukorra kirjeldus, küsimus ja
lahenduskäik koos.
26. Seos teadmiste esitamise ja järeldamise vahel.
27. On mitmeid vägagi erinevaid loogikaid. Millal mingit
teadmuse esitamise ja arutluse meetodit võib nimetada
loogikaks? Tooge näiteid teadmuse esitamise ja arutluse
meetodite kohta, mis on ja mis ei ole loogikad. Kas loogika
selgitab, kuidas inimene mõtleb?
28. Matemaatiline loogika:keel ja interpretatsioon.