Intelligentsed süsteemid
ainevalla või rakendusala probleeme teadmusbaasist järelduste
tegemisega.
25. Teadmiste esitamise formalisme.
Teadmiste esitamiseks võib kasutada mitmesuguseid keeli ja formalisme,
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
annaabi.ee 
