49,145 Hits in 3.8 sec

On combinations of propositional dynamic logic and doxastic modal logics

Renate A. Schmidt, Dmitry Tishkovsky
2007 Journal of Logic, Language and Information  
We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact.  ...  We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test operator to avoid unwanted side effects caused by the interaction of the  ...  Whereas fusions of well-behaved modal logics inherit the good properties from the individual logics, the situation of fusions of modal logics extended with interaction axioms such as the ones above is  ... 
doi:10.1007/s10849-007-9041-6 fatcat:oz5m5xkojncbffjjvnsokwzdda


Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 Computational intelligence  
We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas.  ...  Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation.  ...  In using model checking to verify properties of agent-based systems, we are often using properties based on some combination of modal and temporal logics, such as BDI logics, ATL, or temporal logics of  ... 
doi:10.1111/j.1467-8640.2007.00295.x fatcat:c76gbfuuwngjpk7ebs2jkpfxfi

Partial Information and Uniform Strategies [chapter]

Hans van Ditmarsch, Sophia Knight
2014 Lecture Notes in Computer Science  
This logic uATEL allows us to model what properties agents can enforce when they act according to strategies based on their knowledge.  ...  We present an alternating-time temporal epistemic logic with uniform strategies, interpreted in a novel way on transition systems for modelling situations in which agents with partial information interact  ...  Epistemic logic [13] , on the other hand, is a different kind of modal logic which also models multi-agent systems, but only statically, without considering changes in these systems over time.  ... 
doi:10.1007/978-3-319-09764-0_12 fatcat:prf2fi3m5zgfnn6fjhoxvdi3vy

Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty [chapter]

Vladimir Rybakov
2014 Advances in Intelligent Systems and Computing  
Our approach models interaction of the agents and various aspects for computation of uncertainty in multi-agent environment.  ...  We study non-linear temporal multi-agent logic T Em,Int Kn with embodied agent.  ...  Background of such a logic is usually multi-modal (or temporal) logic using for modeling agent knowledge modal operations K i .  ... 
doi:10.1007/978-3-319-07650-8_10 fatcat:72xqtusogzc7zcobae2qzosnsa

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2008 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology  
This paper reports on the extension of the DR-DEVICE defeasible reasoner with modal and deontic logic operators.  ...  The aim is a practical defeasible reasoner that will take advantage of the expressiveness of modal logics and the flexibility to define diverse agent types and behaviors. 2008 IEEE/WIC/ACM International  ...  Conclusions and Future Work This paper discusses the extension of DL with modal logic elements and reports on the implementation of a modal DL reasoner, based on DR-DEVICE, a DL reasoner over RDF metadata  ... 
doi:10.1109/wiiat.2008.164 dblp:conf/iat/KontopoulosBGA08 fatcat:dlpeeo36e5hldaue5r57pozhmu

Page 6021 of Mathematical Reviews Vol. , Issue 2000i [page]

2000 Mathematical Reviews  
The logic we use is based on a logic for contextual reasoning, called local models semantics, which allows a (multi)context-based represen- tation of agent belief.  ...  A semantic based on Kripke models is given in the usual way, namely Ki is interpreted as a binary relation on the set of possible worlds.  ... 

Special issue on logics for intelligent agents and multi-agent systems

Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar
2011 Journal of Applied Logic  
This issue reports on the latest developments in formal approaches to intelligent agents and multi-agent systems based on modal logics and their applications on various aspects of agency.  ...  in building agent-based systems by drawing inspiration from various forms of modal logics.  ...  Based on this model, the architecture supports the specification of access control policies in firstorder temporal logic.  ... 
doi:10.1016/j.jal.2011.09.003 fatcat:nz6li5pypvcopncercpxcvpo5m

Epistemic Updates on Bilattices [chapter]

Zeinab Bakhtiarinoodeh, Umberto Rivieccio
2015 Lecture Notes in Computer Science  
modal logic, thus providing a semantics and a complete axiomatization for a bilattice-based Logic of Epistemic Action and Knowledge (BEAK).  ...  Through the product update, a Kripke model encoding the current epistemic setup of a group of agents is replaced by an updated model, which encodes the setup of the agents after an epistemic action has  ...  3 The multi-agent version of BEAK results from indexing modal operators with agents and interpreting relations (both on models and on action structures) over a set of agents. ?  ... 
doi:10.1007/978-3-662-48561-3_37 fatcat:qeyslell4vctzl2njg74l5qgoa

Formalisms for multi-agent systems

1997 Knowledge engineering review (Print)  
The most common and familiar formalisms are logic-based, and logic in AI has primarily been used for one of three things: (1) formal philosophy -using mathematical logic to axiomatise such things as common  ...  For example, formalisms such as temporal logics and multi-modal logics seem some distance from agents that have actually been implemented.  ...  Using this Z-based framework as a base, d'Inverno and Luck have developed their model to provide analyses of the social relationships between agents , to provide an account of autonomous interaction (d  ... 
doi:10.1017/s0269888997003068 fatcat:gqe22pkxubeavhccegxblwbtku

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2011 International Journal on Semantic Web and Information Systems (IJSWIS)  
Defeasible and modal logics, in general, and, particularly, deontic logic can assist by providing means for modeling agent communities, where each agent is characterized by its own cognitive profile and  ...  Towards this direction, this article reports on the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation  ...  care of modal interactions.  ... 
doi:10.4018/jswis.2011010102 fatcat:ec7a23vkqvfq5mlh4hiranmi2e

Where logic and agents meet

Jürgen Dix, Michael Fisher
2011 Annals of Mathematics and Artificial Intelligence  
Logic has and still is playing a prominent part in the basic foundations of agency and also in the development of agent programming languages, the specification and verification of agent systems.  ...  This paper is a (subjective) overview of the points of contact of logic and agents as the authors perceived it over the years. * This work was partly funded by the NTH School for IT Ecosystems.  ...  An alternative approach, based on the idea of program model checking [135] , involves directly verifying the agent program code rather than a model of its executions.  ... 
doi:10.1007/s10472-010-9223-9 fatcat:njcozmml2zbfripdq7xls4msum

Multi-agent Logic with Distances Based on Linear Temporal Frames [chapter]

Vladimir Rybakov, Sergey Babenyshev
2010 Lecture Notes in Computer Science  
The main goal is to construct a logical framework for modelling logical laws, which describe interactions between such operations.  ...  The paper investigates a new temporal logic TL M Dist , which combines temporal operations with the operations of localised agent's knowledge and operations responsible for measuring distances.  ...  Temporal logics themselves can be considered as a special cases of hybrid logics, e.g. as bimodal logics with some laws imposed on the interaction of modalities to imitate the flow of time.  ... 
doi:10.1007/978-3-642-13232-2_41 fatcat:uyob3eifd5dk7ilms27rn7rdk4

Logic, rationality and interaction (LORI-5): introduction to the special issue

Wiebe van der Hoek, Wesley H. Holiday, Wen-fang Wang
2017 Synthese  
Out of 62 original submissions to LORI-5, 32 full papers were selected for presentation based on reviews by at least two-and on average three-members of the LORI-5 program committee.  ...  In the current special issue, the reader will find several mainstays of the LORI series: modal and epistemic logics; theories of decision making, strategic reasoning, and information aggregation; and connections  ...  Yanjing Wang proposes, in 'A Logic of Goal-Directed Knowing How', a singleagent modal logic based on ideas from linguistics, philosophy, modal logic, and automated planning in artificial intelligence.  ... 
doi:10.1007/s11229-017-1640-4 fatcat:4n5bvebj35e6taqhgmxz7dzscq

Belief modelling for situation awareness in human-robot interaction

Pierre Lison, Carsten Ehrler, Geert-Jan M. Kruijff
2010 19th International Symposium in Robot and Human Interactive Communication  
Key to our approach is the use of Markov Logic as a unified framework for inference over these beliefs. Markov Logic is a combination of first-order logic and probabilistic graphical models.  ...  The constructed belief models evolve dynamically over time and incorporate various contextual information such as spatio-temporal framing, multi-agent epistemic status, and saliency measures.  ...  Markov Logic is a combination of first-order logic and probabilistic modelling. As such, it provides an elegant account of both the uncertainty and complexity of situated human-robot interactions.  ... 
doi:10.1109/roman.2010.5598723 dblp:conf/ro-man/LisonEK10 fatcat:ou7d6kp4svgwjpawpn7ls3ruwu

Automatic Verification of Communicative Commitments using Reduction

Mofleh Al-diabat, Faisal Al-saqqar, Ashraf Al-saqqar
2018 Journal of Intelligent Computing  
Moreover, the paper introduces a fully-automated method for verification of the logic by means of trimming down the problem of a model that checks the CTLcom to a problem of a model that checks the GCTL  ...  In spite of the fact that modeling and verification of the Multi-Agent Systems (MASs) have been since long under study, there are several related challenges that should still be addressed.  ...  [18] , development of Web-based applications [45] , and specification and modeling of multi-agent interaction protocols, known as commitment-based protocols [4, 17, 37, 52] .  ... 
doi:10.6025/jic/2018/9/3/114-128 fatcat:jrdwblxt3nel7nl4pzcjgs6j6q
« Previous Showing results 1 — 15 out of 49,145 results