Titlebook: Artificial Intelligence: Methodology, Systems, and Applications; 8th International Co Fausto Giunchiglia Conference proceedings 1998 Spring

Anthrp

Acquisition of useful lemma-knowledge in automated reasoning,fulness of the elicitated lemmata for the actual proof task. In this context an evaluation function called . is introduced, which relates the effort required for the production of a lemma . to the problem relevancy of .. Experiments show its high potential.

construct

An agent model for NL dialog interfaces,architecture for modeling social agent behavior, with particular attention to Natural Language dialog. The architecture can be used both to recognize a speaker‘s intentions and generate intention-driven behavior in agent interactions; therefore, it is suited to interface agents for HCI, which require a friendly interaction with users.

Intrepid

,Formalizing belief reports — The approach and a case study,or translated into the reporter‘s language (allowing for transparency). We show that MultiContext systems allow for the formalization of these two phenomena at the same time, thanks to their multi-language feature.

Feckless

Multicontext systems with importing contexts,contexts can import assertions proven to be true in the outside world, but are unable to export any assertions modifying the original KBs of the other units. A number of properties of the importing contexts are presented and discussed in a framework of cooperative reasoning systems.

欲望小妹

周年纪念日

适宜

Collected

A blackboard architecture for guiding interactive proofs,t suggestions. Although the agents we discuss in this paper are rather simple from a computational viewpoint, we indicate how the presented approach can be extended in order to increase its deductive power.

高深莫测

煞费苦心

Nonmonotonic reasoning under uncertain evidence,rization of the set of conclusions is given, and a derivation procedure is proven sound and complete with respect to this semantics. The system overcomes some common problems arising in nonmonotonic reasoning, such as multiple extensions, inconsistent contexts or reasoning deadlocks.