使害怕 发表于 2025-3-25 04:11:21

http://reply.papertrans.cn/47/4662/466150/466150_21.png

后来 发表于 2025-3-25 09:17:39

http://reply.papertrans.cn/47/4662/466150/466150_22.png

jabber 发表于 2025-3-25 15:05:42

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

食品室 发表于 2025-3-25 18:16:54

http://reply.papertrans.cn/47/4662/466150/466150_24.png

antenna 发表于 2025-3-25 21:28:33

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 发表于 2025-3-26 00:57:01

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

向外 发表于 2025-3-26 05:00:29

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ä

一大群 发表于 2025-3-26 11:21:54

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 发表于 2025-3-26 15:37:51

http://reply.papertrans.cn/47/4662/466150/466150_29.png

Ondines-curse 发表于 2025-3-26 18:42:01

http://reply.papertrans.cn/47/4662/466150/466150_30.png
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Informationssysteme und Künstliche Intelligenz: Modellierung; 2. Workshop Ulm, 24. Rudi Studer Conference proceedings 1992 Springer-Verlag