Atrium
发表于 2025-3-27 00:02:10
http://reply.papertrans.cn/39/3802/380185/380185_31.png
arboretum
发表于 2025-3-27 03:30:38
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
希望
发表于 2025-3-27 05:44:00
http://reply.papertrans.cn/39/3802/380185/380185_33.png
预兆好
发表于 2025-3-27 09:36:08
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
涂掉
发表于 2025-3-27 14:08:04
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
发表于 2025-3-27 18:14:02
http://reply.papertrans.cn/39/3802/380185/380185_36.png
FELON
发表于 2025-3-27 22:25:18
http://reply.papertrans.cn/39/3802/380185/380185_37.png
alleviate
发表于 2025-3-28 03:05:36
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
尾巴
发表于 2025-3-28 09:00:28
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.
连锁,连串
发表于 2025-3-28 11:31:40
http://reply.papertrans.cn/39/3802/380185/380185_40.png