Anthrp
发表于 2025-3-30 09:36:16
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
发表于 2025-3-30 15:05:15
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
发表于 2025-3-30 18:45:00
,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
发表于 2025-3-30 21:25:16
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.
欲望小妹
发表于 2025-3-31 01:13:17
http://reply.papertrans.cn/17/1626/162570/162570_55.png
周年纪念日
发表于 2025-3-31 07:41:09
http://reply.papertrans.cn/17/1626/162570/162570_56.png
适宜
发表于 2025-3-31 11:13:21
http://reply.papertrans.cn/17/1626/162570/162570_57.png
Collected
发表于 2025-3-31 13:57:32
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.
高深莫测
发表于 2025-3-31 17:31:46
http://reply.papertrans.cn/17/1626/162570/162570_59.png
煞费苦心
发表于 2025-4-1 00:21:23
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.