Titlebook: Informationssysteme und Künstliche Intelligenz: Modellierung; 2. Workshop Ulm, 24. Rudi Studer Conference proceedings 1992 Springer-Verlag

使害怕

后來(lái)

jabber

Wissensrepr?sentation und kognitive Modelleler Form für einen Handlungstr?ger mit symbolverarbeitender Kompetenz. Seit den Aufbrüchen der Künstlichen Intelligenz gilt als wichtigstes Prinzip der Wissensrepr?sentation, da? Wissen über Fakten und Relationen in einem Weltausschnitt explizit (deklarativ) kodiert werden mu?, so da? interpretative

食品室

antenna

Generic Update Operations Keeping Object-Oriented Databases Consistentis, however, little help for the method implementor as far as the model-inherent constraints are concerned. We propose a set of . that maintain integrity constraints such as types, class memberships, subtype-, subclass-relationships, and class predicates. The operations can be used for implementing

modifier

Basic Units for the Database Design Processl concepts within design languages, one has to deal with structural complexity. These sorts of complexities and the attempt to guarantee qualitative good design results lead to the development of a variety of support mechanisms for design processes. Besides developing specific design languages, diff

向外

Abbildung Kl-typischer Modellierungsmechanismen auf Datenbanktechnologienrekt und vollst?ndig auf Modellierungskonstrukte des Datenbanksystems abgebildet und zur Beschleunigung der Anfrageverarbeitung eingesetzt werden. Das deduktive Datenbanksystem LILOG-DB erlaubt die Darstellung von Konzepthierarchien (isa-Hierarchien, taxonomische Hierarchien) in Form von Sortenverb?

一大群

Towards Declarative Programming of Conceptual Modelsecific for a particular problem class or problem solving method. Our work is based on the KADS-method, that had to be modified in some points, to enable declarative programming of inference knowledge as well as domain knowledge. It is shown, how knowledge sources can be described as semantic network

FRAX-tool

Ondines-curse