Titlebook: GWAI-91 15. Fachtagung für Künstliche Intelligenz; Bonn, 16.-20. Septem Thomas Christaller Conference proceedings 1991 Springer-Verlag Berl

腐烂

易碎

他姓手中拿着

The Ecological Paradigm: Persons in SettingsIn this paper a method of representing speech acts is outlined which is suitable for implementation in a natural language consulting system. Speech acts are classified according to the discourse situation in which they arise and the change in the discourse situation they incur. The approach is formulated in a Situation Semantics framework.

DRILL

MIRTH

On the Representation of Speech Acts in Situation SemanticsIn this paper a method of representing speech acts is outlined which is suitable for implementation in a natural language consulting system. Speech acts are classified according to the discourse situation in which they arise and the change in the discourse situation they incur. The approach is formulated in a Situation Semantics framework.

Feckless

改变

Member Accessibility and Overloading,well-known semantic trees. We will show how to enumerate E-interpretations with a device called semantic E-tree and show how such a tree can be used as a basis for a refutation of a given unsatisfiable clause set. As a side effect of our proof technique we obtain new high-level inference rules for t

胆汁

mitral-valve

pericardium

Introduction and Problem Formulation,monotonic reasoning is given that synthesizes several semantical and syntactical approaches that are aimed at a foundation of this area. Some typical results are presented within this framework and problems related to logic programming are discussed.