Sökning: onr:"swepub:oai:DiVA.org:oru-3776" >
A modal logic for f...
A modal logic for fusing partial belief of multiple reasoners
-
- Boldrin, Luca (författare)
- University of Pauda,Departmentof Pure and Applied Math
-
- Saffiotti, Alessandro (författare)
- Örebro universitet,Institutionen för teknik,Mobile Robotics Lab
-
(creator_code:org_t)
- Oxford University Press (OUP), 1999
- 1999
- Engelska.
-
Ingår i: Journal of logic and computation (Print). - : Oxford University Press (OUP). - 0955-792X .- 1465-363X. ; 9:1, s. 81-103
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We present PLn, a multi-agent epistemic logic in which 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 in the conclusions
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Epistemic logic
- distributed belief
- data fusion
- possibility theory
- fuzzy logic
- multiple agents
- Datalogi
- Computer and Systems Science
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas