FRM: ein Frame-Reprasentationsmodell und Seine Formale Semantik

Das Buch stellt FRM vor, ein Frame-basiertes Modell zur Reprasentation von Wissen. Der Schwerpunkt liegt dabei auf der Ausarbeitung der Semantik seiner Reprasentationskonstrukte. Zur formalen Spezifikation dieser Semantik werden Integritatsbedingungen formuliert, die unzulassige, in jedem Fall bedeutungslose Reprasentationsstrukturen ausschliessen. Damit wird die Basis gelegt fur ein Wissensverwaltungssystem, das die Einhaltung dieser Integritatsbedingungen uberwacht und somit die Gewahrleistung der Validitat einer Wissensbasis zu einem betrachtlichen Teil ubernehmen kann. Ein(e) Wissensingenieur(in), der/die insbesondere beim Aufbau grosser, vernetzter Wissensbasen Schwierigkeiten hat, die UEbersicht zu bewahren, kann dadurch erheblich entlastet werden, und es wird somit ein Beitrag geleistet, die bei der Erstellung grosser Wissensbasen entstehende Komplexitatsbarriere aufzubrechen. Neben der Spezifikation der Reprasentationsstrukturen von FRM werden auch Anfrage- und integritatserhaltende AEnderungsoperationen diskutiert, womit ein haufig in Wissensreprasentationssprachen anzutreffendes Defizit vermieden wird. Die Darstellung schlagt eine Brucke zwischen Ansatzen aus dem Datenbankbereich und dem Bereich der Kunstlichen Intelligenz (KI). So ist der Gegenstand eines Frame-Reprasentationsmodells mit seinen machtigen Modellierungsmoeglichkeiten eindeutig ein KI-Thema, wahrend die Aspekte der Integritatserhaltung, die sich aus dem Bedarf nach einer Unterstutzung grosser Datenmengen ableiten, eher typisch fur die Betrachtungsweise im Datenbankbereich sind. Entsprechend werden Bezuge hergestellt zwischen FRM und einschlagigen Arbeiten aus dem Datenbankbereich und der KI sowie ferner der Linguistik und der Kognitionspsychologie.