Titlebook: GWAI-82; 6th German Workshop Wolfgang Wahlster (Vorsitzender des Programmkomite Conference proceedings 1982 Springer-Verlag Berlin Heidelb

Atrium

arboretum

Zur Repraesentation indefinit deskribierter Objekte in KI-Systemen..Aufbauend auf einem speziellen Referenz-Modell wird an Hand von Beispielen aus den Bereichen natuerlich-sprachliche Systeme und Plan-Generierung dafuer plaediert, indefinite Deskriptionen (analog zu Vagheitsphaenomenen) durch spezielle unterdeterminierte Stellvertreter zu repraesentieren. Hierdurc

希望

预兆好

Proofs by Induction in “Fairly” Specified Equational Theoriesnd requires simpler, less constraining hypotheses. As a matter of fact, a specification of an equational theory would be said “fair” if it can be structured into smaller, one-sorted presentations, each of them partitioned in two : the first part expresses the relations between the data type generato

涂掉

Inductive Inference in Finite Algebraic Structuresial list of their values, the task of the algorithm is to hypothesize a “reasonable model” and to infer from it the “missing” function values. The model is constructed stepwise in evolutionary fashion..A new method is developed in which the consistency of the evolving model is guaranteed at all time

Facilities

FELON

alleviate

ATN — Steuerung Durch Kasusrahmensammen mit umfangreichen Grammatiken neue Analyseverfahren erprobt (vgl. GROSZ et al. 1982). Andererseits wird, insbesondere in anwendungsorientierten Systemen, von einer einheitlichen Verarbeitungsstrategie für alle Eingabesätze abgegangen; statt dessen werden mehrere spezielle Mechanismen eingeset

尾巴

Natural Language Access to Prolog Database Systemstem which is entirely described in logic and implemented in PROLOG. Our system consists of the knowledge base, of a natural language access module and of an inference component for the deduction of answers to questions.

连锁,连串