Titlebook: Methodologies for Intelligent Systems; 6th International Sy Z. W. Ras,M. Zemankova Conference proceedings 1991 Springer-Verlag Berlin Heide

Hippocampus

debouch

吞下

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

大漩渦

condescend

UTTER

無可爭辯

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

烤架

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

改進