Hippocampus 发表于 2025-3-30 11:37:29

http://reply.papertrans.cn/64/6322/632151/632151_51.png

debouch 发表于 2025-3-30 15:01:41

http://reply.papertrans.cn/64/6322/632151/632151_52.png

吞下 发表于 2025-3-30 19:30:25

Combining knowledge bases consisting of first order theories, into a knowledge base. Then the process of . the knowledge of these different experts is an important and non-trivial problem. We study this problem here when the expert systems are considered to be first order theories. We present techniques for resolving inconsistencies in such knowledge bases. W

大漩涡 发表于 2025-3-30 23:06:28

http://reply.papertrans.cn/64/6322/632151/632151_54.png

condescend 发表于 2025-3-31 02:03:39

http://reply.papertrans.cn/64/6322/632151/632151_55.png

UTTER 发表于 2025-3-31 06:28:07

http://reply.papertrans.cn/64/6322/632151/632151_56.png

无可争辩 发表于 2025-3-31 10:39:17

Efficient evaluation of linear recursions with function symbols in deductive databases,uation technique. A functional linear recursion is transformed to a function-free one by a function-predicate transformation. It is then compiled to a highly regular chain/bounded form which can be evaluated efficiently by the incorporation of finiteness, monotonicity and query constraints. Compilat

烤架 发表于 2025-3-31 15:05:17

Synthesizing efficient agents from partial programs,programs involves theorem proving, which can be computationally intractable. This paper presents an algorithm for generating efficient implementations of agent behavior from a subclass of partial programs. The algorithm employs a completion strategy that systematically reduces the number of previous

改进 发表于 2025-3-31 19:55:01

http://reply.papertrans.cn/64/6322/632151/632151_59.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Methodologies for Intelligent Systems; 6th International Sy Z. W. Ras,M. Zemankova Conference proceedings 1991 Springer-Verlag Berlin Heide