Filters








3,596 Hits in 4.6 sec

A Modal Logic Framework for Multi-agent Belief Fusion [article]

Churn-Jung Liau
2002 arXiv   pre-print
This paper is aimed at providing a uniform framework for reasoning about beliefs of multiple agents and their fusion.  ...  Every ordering for the reliability of the agents is represented by a modal operator, so we can reason with the merged results under different situations.  ...  Since multi-source reasoning is modelled in a modal logic framework, it is very suitable for the integration with epistemic logic.  ... 
arXiv:cs/0201020v1 fatcat:6ceshyq6fvasbix4kdbeptqfkm

A modal logic framework for multi-agent belief fusion

Churn-Jung Liau
2005 ACM Transactions on Computational Logic  
This paper provides a modal logic framework for reasoning about multi-agent belief and its fusion.  ...  These logics are obtained by combining the multi-agent epistemic logic and multisource reasoning systems.  ...  Since multi-source reasoning is modelled in a modal logic framework, it is very useful when integrated with epistemic logic.  ... 
doi:10.1145/1042038.1042043 fatcat:q6fvbkgj7zhnnlc5wod5l6zbde

Epistemic Logics for Information Fusion [chapter]

Churn-Jung Liau
2003 Lecture Notes in Computer Science  
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion.  ...  Some modalities corresponding to these fusion operators are added to epistemic logics and the Kripke semantics of these extended logics are presented.  ...  Note that in IC merging, a knowledge set consists of a multi-set of objective sentences, whereas for the modal operator [ ϕ (G)], G is a set of agents whose beliefs may contain subjective sentences or  ... 
doi:10.1007/978-3-540-45062-7_40 fatcat:co4lyvhi3be45j4syyeessm7gy

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.  ...  In this paper, we present a new framework for constructing rich belief models of the robot's environment.  ...  Multi-modal fusion is also specified in a Markov Logic Network.  ... 
doi:10.1109/roman.2010.5598723 dblp:conf/ro-man/LisonEK10 fatcat:ou7d6kp4svgwjpawpn7ls3ruwu

Ordered Belief Fusion in Possibilistic Logic [chapter]

Churn-Jung Liau
2005 Lecture Notes in Computer Science  
In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic logic.  ...  Ordered fusion can resolve the inconsistency caused by direct fusion. We consider two strategies to merge uncertain beliefs.  ...  While multi-agent epistemic logic does not consider the uncertainty of beliefs, a quantitative modal logic (QML) has been proposed for reasoning about such beliefs [10] [11] [12] .  ... 
doi:10.1007/11548669_65 fatcat:omlz65pin5ej3fnpigw2oy7wpq

Belief fusion and revision: an overview based on epistemic logic semantics

Churn-Jung Liau
2004 Journal of Applied Non-Classical Logics  
Some modalities corresponding to belief fusion and revision operators are incorporated into epistemic logics. The Kripke semantics of these extended logics are presented.  ...  In this paper, we formulate some approaches to belief fusion and revision using epistemic logic semantics.  ...  Acknowledgements I would like to thank three anonymous referees for their valuable remarks. References  ... 
doi:10.3166/jancl.14.247-274 fatcat:uy26xsjcvzf2rolndekdompsd4

Page 3315 of Mathematical Reviews Vol. , Issue 2004d [page]

2004 Mathematical Reviews  
multi-agent systems.  ...  Their result is so general that, as an interesting side effect, we get a similar decidability result for the fusion of two modal logics; crudely speaking, e.g., “possible A” is described, Kripke-like,  ... 

Formalisms for multi-agent systems

MARK D'INVERNO, MICHAEL FISHER, ALESSIO LOMUSCIO, MICHAEL LUCK, MAARTEN DE RIJKE, MARK RYAN, MICHAEL WOOLDRIDGE
1997 Knowledge engineering review (Print)  
For example, formalisms such as temporal logics and multi-modal logics seem some distance from agents that have actually been implemented.  ...  Logic This report is the result of a panel discussion at the First UK Workshop on Foundations of Multi-Agent Systems (Fo-MAS'96). All members of the panel are authors, listed alphabetically.  ...  For example, multi-modal logics are a good tool for studying multiple agents which do not interact too much, and can deal with some group properties and the flow of time.  ... 
doi:10.1017/s0269888997003068 fatcat:gqe22pkxubeavhccegxblwbtku

Clausal resolution in a logic of rational agency

Clare Dixon, Michael Fisher, Alexander Bolotov
2002 Artificial Intelligence  
A resolution based proof system for a Temporal Logic of Possible Belief is presented.  ...  Such combinations of temporal or dynamic logics and modal logics are useful for specifying complex properties of multi-agent systems.  ...  A temporal logic of possible belief In this section, we give the syntax and semantics of a logic BB n , the fusion of CTL and multi-modal KD45, a branching-time temporal logic of belief.  ... 
doi:10.1016/s0004-3702(02)00196-0 fatcat:wsfsauva2jgwtfimthbswoyzye

An Epistemic Logic for Arbitration (Extended Abstract)

Churn-Jung Liau
2003 International Joint Conference on Artificial Intelligence  
Acknowledgments We would like to thank two anonymous referees for their helpful comments.  ...  to belief fusion.  ...  In particular, we can apply it to the reasoning about belief fusion of multiple agents.  ... 
dblp:conf/ijcai/Liau03 fatcat:4f6k6aqphnh6nlsm5flyxqfeli

Logical Implementation of Uncertain Agents [chapter]

Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
2005 Lecture Notes in Computer Science  
Previous work in this area has provided a basis for the direct execution of agent specifications, and has been extended to allow the handling of agent beliefs, deliberation and multi-agent groups.  ...  In particular, we extend the basis of the METATEM temporal framework with a probabilistic belief dimension captured by the recently introduced PF KD45 logic.  ...  The extension to multi-agent systems seems less problematic, from this point of view, since the most straightforward way to extend PROTEM to the multi-agent case still is a fusion of several logics.  ... 
doi:10.1007/11595014_53 fatcat:5cdbeyyyqbeezmev42qjriohmm

Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation

Churn-Jung Liau
2003 Artificial Intelligence  
The belief and information acquisition operators are respectively represented by KD45 and KD normal modalities, whereas trust is denoted by a modal operator with minimal semantics.  ...  By use of modal logic, we semantically and axiomatically characterize the relationship among belief, information acquisition and trust.  ...  Acknowledgements We would like to thank two anonymous referees for their helpful comments. Appendix A.  ... 
doi:10.1016/s0004-3702(03)00063-8 fatcat:rbiypt6yivajtc6rvcc2wffdqu

Reasoning about Dynamics of Trust and Agent Beliefs

Mehmet Orgun, Chuchang Liu
2006 2006 IEEE International Conference on Information Reuse & Integration  
Typed Modal Logic (TML) is a logic of beliefs which is suitable for for the description of, and reasoning about, trust for multi-agent systems by formalising trust policies of the system and agent metabeliefs  ...  In the resulting logic, denoted by TML + , temporal properties of trust and agent beliefs can be expressed in a natural way by combinations of temporal and modal belief operators. 0-7803-9788-6/06/$20.00  ...  There is a pressing need for building a logical framework, in which we are able to describe both the "statics" and "dynamics" of trust and agent beliefs in a multi-agent system.  ... 
doi:10.1109/iri.2006.252396 dblp:conf/iri/OrgunL06 fatcat:5rsrayyggfdsjmtaiqeojcoc4a

Group Intention Is Social Choice with Commitment [chapter]

Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre
2011 Lecture Notes in Computer Science  
Our framework uses judgment aggregation to choose a group goal and a multi-modal multi-agent logic to define commitment and revision strategies for the group intentions.  ...  We construct an abstract framework for groups in which common goals are determined by social choice.  ...  Modal multi-agent logic Just like modal agent logic is concerned mainly with the relation between the individual goals and beliefs over time, modal multi-agent logic is concerned with the relation between  ... 
doi:10.1007/978-3-642-21268-0_9 fatcat:txeeovde4fbqtmnoa7bypgttti

Weighted logics for artificial intelligence – an introductory discussion

Didier Dubois, Lluís Godo, Henri Prade
2014 International Journal of Approximate Reasoning  
Yet, a simple fragment of a KD logic, where modalities only appear in front of literals, can capture Kleene logic and other three-valued logics of partial knowledge [24] .  ...  There are two traditions in AI for representing uncertainty, that still need to be reconciled to a large extent: • The non-graded Boolean tradition of (monotonic) epistemic logics that rely on the modal  ...  The last two papers discuss tools for information fusion. In "Sum-based weighted belief base merging: from commensurable to incommensurable framework", S. Benferhat, S. Lagrue, and J.  ... 
doi:10.1016/j.ijar.2014.08.002 fatcat:hri6ffyszzernoyexdemade37m
« Previous Showing results 1 — 15 out of 3,596 results