Skip Navigation

Journal of Logic and Computation 1999 9(1):81-103; doi:10.1093/logcom/9.1.81
© 1999 by Oxford University Press
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in ISI Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrow Search for citing articles in:
ISI Web of Science (3)
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Boldrin, L
Right arrow Articles by Saffiotti, A
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

A modal logic for fusing partial belief of multiple reasoners

L BoldrinA1 and A SaffiottiA2

A1 Department of Pure and Applied Mathematics, University of Padova, Padova, Italy. E-mail: boldrin@ladseb.pd.cnr.it A2 Department of Technology and Science, University of Örebro, S-70182 Örebro, Sweden. E-mail: alessandro.saffiotti@ton.oru.se

We present PLn[otimes], a multi-agent epistemic logic where each agent can perform uncertain (possibilistic) reasoning. The original feature of this logic is the presence of a distributed belief operator, with the purpose of merging the belief of different agents. Unlike the corresponding operator in the categorical (non-uncertain) case, our distributed belief operator accumulates support for the same fact coming from different agents. This means that opinions shared by different agents can be combined into a stronger distributed belief. This feature is useful in problems like pooling expert opinions and combining information from multiple unreliable sources. We provide a possible worlds semantics and an axiomatic calculus for our logic, and prove soundness, completeness and decidability results. We hint at some possible applications of PLn[otimes] in the conclusions.

Key words: Epistemic logic, distributed belief, data fusion, possibility theory, fuzzy logic, multiple agents.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.