標(biāo)題: Titlebook: Computational Logic in Multi-Agent Systems; 6th International Wo Francesca Toni,Paolo Torroni Conference proceedings 2006 Springer-Verlag B [打印本頁] 作者: 去是公開 時間: 2025-3-21 19:55
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems被引頻次
書目名稱Computational Logic in Multi-Agent Systems被引頻次學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems年度引用
書目名稱Computational Logic in Multi-Agent Systems年度引用學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems讀者反饋
書目名稱Computational Logic in Multi-Agent Systems讀者反饋學(xué)科排名
作者: Irrepressible 時間: 2025-3-21 22:11
https://doi.org/10.1007/11750734BDI agents; Variable; abductive reasoning; agent communication; agent cooperation; autonom; cognition; form作者: Spinal-Tap 時間: 2025-3-22 01:46
978-3-540-33996-0Springer-Verlag Berlin Heidelberg 2006作者: 火車車輪 時間: 2025-3-22 06:15
Multi-currency Influence DiagramsThis paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.作者: DECRY 時間: 2025-3-22 11:20
Ability in a Multi-agent Context: A Model in the Situation CalculusThis paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.作者: 羽飾 時間: 2025-3-22 13:30 作者: 羽飾 時間: 2025-3-22 17:55
0302-9743 Overview: 978-3-540-33996-0978-3-540-33997-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Institution 時間: 2025-3-22 22:02
Some New Tools for EEG Modeling and Analysisiques used and problems encountered in implementing them. This selection is quite subjective, mainly concerning work that has involved researchers I have collaborated with at Liverpool (and, previously, Manchester). The tools considered will mainly be theorem-provers and (logic-based) agent programming languages作者: Laconic 時間: 2025-3-23 05:06
Daniel H. Lange,Gideon F. Inbarres available in ., a multi-agent systems development platform that is based on an interpreter for an extended version of AgentSpeak. The BDI architecture is the best known and most studied architecture for cognitive agents, and AgentSpeak is an elegant, logic-based programming language inspired by the BDI architecture.作者: dearth 時間: 2025-3-23 07:56 作者: 輕率看法 時間: 2025-3-23 09:51 作者: semble 時間: 2025-3-23 14:56
Janneke H. Bolt,Linda C. van der Gaags observations of changes in the environment, whereas proactive thinking reduces goals to sub-goals and ultimately to candidate actions. Pre-active thinking generates logical consequences of candidate actions, to help in deciding between the alternatives. These different ways of thinking are compati作者: 新義 時間: 2025-3-23 18:27
Studies in Fuzziness and Soft Computingntics, the fixpoint semantics, and an SLD-resolution calculus for modal logic programs in the multimodal logic .4..5., which is intended for reasoning about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization 作者: 暗語 時間: 2025-3-23 22:48 作者: LOPE 時間: 2025-3-24 03:23 作者: Dawdle 時間: 2025-3-24 10:27 作者: Conserve 時間: 2025-3-24 11:15
Daniel H. Lange,Gideon F. Inbars belief, everybody believes and mutual belief modalities, variables and constants for agents. The language of . is convenient to describe the properties of rational agents when the number of agents is not known in advance. On the other hand, even if the exact number of agents is known, a language w作者: connoisseur 時間: 2025-3-24 16:14 作者: Living-Will 時間: 2025-3-24 20:15
Daniel H. Lange,Gideon F. Inbarres available in ., a multi-agent systems development platform that is based on an interpreter for an extended version of AgentSpeak. The BDI architecture is the best known and most studied architecture for cognitive agents, and AgentSpeak is an elegant, logic-based programming language inspired by 作者: archetype 時間: 2025-3-25 00:11
G. Suresh,M. R. Ramesh,M. S. Srinathbe used to develop applications. The KGP model is based on computational logic. It consists of an abstract component, a computational component and an implementation. This paper concentrates on the abstract component, which consists of formal specifications of a number of different modules, includin作者: 取回 時間: 2025-3-25 04:05 作者: 緯度 時間: 2025-3-25 10:47 作者: 鳴叫 時間: 2025-3-25 12:41
Bruce G. Cameron,Edward F. Crawleyexecution of contract terms and conditions. We use the event calculus to deduce current and past obligations, obligation fulfilment and violation. By associating meta-information with the contracts, the agent is able to select which of its contracts with other agents are relevant to solving its goal作者: Arthropathy 時間: 2025-3-25 18:08 作者: incisive 時間: 2025-3-25 20:26 作者: 古代 時間: 2025-3-26 04:01
Establishing an academic domainltiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common desc作者: KEGEL 時間: 2025-3-26 05:55 作者: GRIEF 時間: 2025-3-26 11:12 作者: 越自我 時間: 2025-3-26 15:28 作者: Chromatic 時間: 2025-3-26 20:04
Reasoning About Epistemic States of Agents by Modal Logic Programming about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization of the wise men puzzle using a modal logic program in .4..5.. This shows that it is worth to study modal logic programming for multi-agent systems.作者: 地牢 時間: 2025-3-27 00:48 作者: Nerve-Block 時間: 2025-3-27 02:16
Trustworthiness by Defaultcted; 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.作者: LAP 時間: 2025-3-27 08:50 作者: goodwill 時間: 2025-3-27 12:10 作者: 縮減了 時間: 2025-3-27 14:11
G. Suresh,M. R. Ramesh,M. S. Srinathg the knowledge bases, capabilities, transitions and control. For each of these we summarise what is provided by the model, and through the platform implementing the model, and what is left to the users to specify according to the requirements of the applications for which they wish to use the KGP model to design agents.作者: resistant 時間: 2025-3-27 21:31
G. Suresh,M. R. Ramesh,M. S. Srinathol specification we can specify different . of agents, how they would vary the . of agents and what advantages they have with respect to factors in the application and in the environment, such as time-criticality.作者: 卵石 時間: 2025-3-27 23:26
Establishing an academic domainription 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.作者: engagement 時間: 2025-3-28 05:26 作者: Cerebrovascular 時間: 2025-3-28 06:38 作者: 多余 時間: 2025-3-28 10:45
Studies in Fuzziness and Soft Computing about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization of the wise men puzzle using a modal logic program in .4..5.. This shows that it is worth to study modal logic programming for multi-agent systems.作者: Solace 時間: 2025-3-28 14:35
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
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 作者: 不足的東西 時間: 2025-3-29 07:04 作者: opprobrious 時間: 2025-3-29 10:10 作者: 推遲 時間: 2025-3-29 15:15 作者: 詞匯記憶方法 時間: 2025-3-29 18:42
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
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
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
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.作者: 驚呼 時間: 2025-3-30 09:22 作者: Gorilla 時間: 2025-3-30 12:43
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structuresince 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.作者: Binge-Drinking 時間: 2025-3-30 20:03 作者: white-matter 時間: 2025-3-30 23:51
The Logical Way to Be Artificially Intelligents observations of changes in the environment, whereas proactive thinking reduces goals to sub-goals and ultimately to candidate actions. Pre-active thinking generates logical consequences of candidate actions, to help in deciding between the alternatives. These different ways of thinking are compati作者: 冷漠 時間: 2025-3-31 02:53 作者: fertilizer 時間: 2025-3-31 06:04 作者: receptors 時間: 2025-3-31 10:54 作者: 背書 時間: 2025-3-31 17:18 作者: Panther 時間: 2025-3-31 18:58 作者: 呼吸 時間: 2025-3-31 21:56
Implementing Temporal Logics: Tools for Execution and Proofiques used and problems encountered in implementing them. This selection is quite subjective, mainly concerning work that has involved researchers I have collaborated with at Liverpool (and, previously, Manchester). The tools considered will mainly be theorem-provers and (logic-based) agent programm作者: gregarious 時間: 2025-4-1 02:19 作者: 善于騙人 時間: 2025-4-1 06:43 作者: ostensible 時間: 2025-4-1 13:26
Multi-threaded Communicating Agents in Qu-Prologications. Internal threads of an agent communicate using the shared dynamic database used as a generalisation of Linda tuple store. Threads in different agents, perhaps on different hosts, communicate using either a thread-to-thread store and forward communication system, or by a publish and subscri作者: 凝結(jié)劑 時間: 2025-4-1 14:21
Variety of Behaviours Through Profiles in Logic-Based Agentshich define declaratively the possible alternative behaviours of agents, depending on their internal state and (their perception of) the external environment in which they are situated. This form of control has been adopted for logic-based . [8, 2]. In this paper we show how using this form of contr作者: 狂怒 時間: 2025-4-1 21:19
