Solace
发表于 2025-3-28 14:35:16
Advances in Probabilistic Graphical Modelst the object level with no reference to meta-concepts in the definition of the axiom system. We show that the logic of Halpern and Lakemeyer can be encoded in our system in the form of a particular logical space.
HEDGE
发表于 2025-3-28 19:14:09
Amir B. Geva,Hillel Pratt,Yehoshua Y. Zeevicted; from this, a priority structure is derived and applied to the problem of forming the right opinion. Consolidated with an unquestioned knowledge base, this provides an unambiguous account of what an agent should believe, conditionally on which information sources are trusted. Applications in multi-agent doxastic logic are sketched.
Morsel
发表于 2025-3-29 01:24:42
http://reply.papertrans.cn/24/2327/232629/232629_43.png
不足的东西
发表于 2025-3-29 07:04:01
http://reply.papertrans.cn/24/2327/232629/232629_44.png
opprobrious
发表于 2025-3-29 10:10:36
http://reply.papertrans.cn/24/2327/232629/232629_45.png
推迟
发表于 2025-3-29 15:15:49
http://reply.papertrans.cn/24/2327/232629/232629_46.png
词汇记忆方法
发表于 2025-3-29 18:42:55
Contextual Terminologiesription logics to reason within contexts (intra-contextual reasoning), allowing at the same time the possibility to reason also about contexts and their interplay (inter-contextual reasoning). Using this framework, two complex scenarios are discussed in detail and formalized.
Permanent
发表于 2025-3-29 20:29:00
Combining Answer Sets of Nonmonotonic Logic Programsemantics of two programs. Such program composition has application to coordinating knowledge bases in multi-agent environments. We provide methods for computing program composition and discuss their properties.
听觉
发表于 2025-3-30 01:08:07
Speculative Constraint Processing with Iterative Revision for Disjunctive Answersed a framework that allows an agent not only to perform speculative computation, but also to accept iterative answer revision for yes/no questions. In this paper, we present an extension of the framework for more general types of questions using constraint logic programming (CLP).
新义
发表于 2025-3-30 07:48:53
Decisiveness in Loopy Propagationince the logic is not semantically compact, a strongly complete . axiomatization is impossible. Instead we present, first, a strongly complete . system, and, second, a strongly complete finitary system for a slightly weaker variant of the language.