Titlebook: GWAI-84; 8th German Workshop Joachim Laubsch Conference proceedings 1985 Springer-Verlag Berlin Heidelberg 1985 artificial intelligence.co

过于光泽

cardiac-arrest

Assessing the BWB partial privatisation,. A representation-theoretical approach to knowledge representation is proposed. The notion of a representation system is applied as a framework for specifying, comparing, and transforming representations. We show how this framework can be used to study properties of representations and to make some

Insensate

https://doi.org/10.1007/978-3-030-23041-8the user are seen as necessary prerequisites for a system to be capable of exhibiting user-oriented dialogue behaviour. This paper gives a survey of VIE-DPM, the user model in the natural language dialogue system VIE-LANG. In VIE-DPM, specific kinds of inferences about the user’s beliefs and wants a

Urologist

Nuclear Fusion: An Energy for the Futurestract computers), their implementation and their usage for exploring new ways of programming..Such a programming method — based on a particular view of the execution — is called a “programming style”, AI has experienced during its development the invention of diverse programming styles. Some of the

冒失

an knowledge to guide its search. By using fairly simple techniques the semantics of this knowledge have been incorporated into N.N.’s knowledge bases, thus rendering unnecessary any procedural interpreter. This feature increases transparency and portability of the the knowledge bases and faciliates

担心

Meager

https://doi.org/10.1007/978-981-10-2212-8hich means that they are transformed by using knowledge about the learning universe until they have the same structure. The generalization is then determined by using variable links. Special consequences of our approach concern the way, how counterexamples can be used, which is described at the end

决定性

Infinitesimal

https://doi.org/10.1007/978-3-030-45638-2lt wird. Diese Arbeit beschreibt Modifikationen und Erweiterungen von SRL und gibt eine funktionale Sicht der neuen Implementation von SRL. Insbesondere wird ein Systemkern beschrieben, der einen konsistenten Aufbau einer Wissensbasis in SRL unterstützt sowie Anfragen unter Verwendung von Regelwisse

Foam-Cells

https://doi.org/10.1007/978-3-030-45646-7s. This approach reduces the mystery of some of the eureka in [BUR 77] by making them computationally feasible. Furthermore the idea to do folding and unfolding with the completed logic programs both facilitates and adds translucency to the procedure.