Loogilise programmeerimise 1.kontrolltöö konspekt
kohta (, mis seotud predikaadi ”on” (”is_a”) kaudu).
7.3 Freimid
Freime kasutatakse andmestruktuuride üldistusena, kus struktuur on paljudel andmetel
ühine, kuid elemendid on erinevat tüüpi või tüüp on täpsustamata.
Freim – abstraktne skelett, milles on vahetatavate elementide tarvis lahtrid (slots).
Freimi iga lahter võib olla omakorda freim, kusjuures kõik lahtrite omadused päritakse tema
alamfreimide poolt.
7.4 ”If ... then ...” reeglid ekspertsüsteemides
Võimaldavad spetsifitseerida põhjus-tagajärg seoseid ning (läbi transitiivsuse)
pikemaid põhjuslikkuse ahelaid.
annaabi.ee 
