Titlebook: GWAI-92: Advances in Artificial Intelligence; 16th German Conferen Hans Jürgen Ohlbach Conference proceedings 1993 Springer-Verlag Berlin H

Infinitesimal

债务

A new sorted logic,t compared to deductions in the unsorted resolution calculus. The approach is a conservative extension of the known sorted approaches, as it simplifies to the known sorted calculi if we apply the calculus to the much more restricted input formulas of these calculi.

addition

Efficient computation of solutions for contradictory time interval networks,r-defined assumptions..In this paper, a basic algorithm for computing elementary solutions is presented, and for reasons of efficiency a modification of this algorithm is explained. In this way, we get an efficient computation of elementary solutions for contradictory time interval networks.

amputation

Extensions of concept languages for a mechanical engineering application,t subsumption problem is undecidable. It should be noted that the need for these extensions is not particular to the considered problem domain; similar representation demands are likely to occur in other non-toy applications.

迁移

Concept support as a method for programming neural networks with symbolic knowledge,s believed to be essential for the task. Thus the knowledge actually accessible for the neural network remains distributed or -as it is called-subsymbolic. Results from a test application are reported which show considerable improvements in generalization.

纹章

Learning plan abstractions,odology is applied to learn from machine-oriented programs. An abstract program can be acquired on a higher programming level which is characterized through the use of abstract data types instead of machine-oriented data representations.

名字

https://doi.org/10.1007/978-3-030-32142-0code area into a backward and forward code area and by adding a new stack to record derived facts. This shows how an efficient implementation of meta-interpreters can have an effect on compilation and even on the design of the target machine.

农学

senile-dementia

https://doi.org/10.1007/BFb0018988Distributed AI Systems; Knowledge Representation; Logic Programming; Machine Learning; Natürlichsprachli

Congregate

Laws, Levels of Descriptions, and Models,oleinized formula is first transformed into a Shannon graph, then the latter is compiled into a set of Horn clauses. These can finally be run as a Prolog program trying to refute the initial formula. It is also possible to precompile axiomatizations into Prolog and load these theories as required.