oru.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A modal logic for fusing partial belief of multiple reasoners
University of Pauda. (Departmentof Pure and Applied Math)
Örebro University, Department of Technology. (Mobile Robotics Lab)ORCID iD: 0000-0001-8229-1363
1999 (English)In: Journal of logic and computation (Print), ISSN 0955-792X, E-ISSN 1465-363X, Vol. 9, no 1, p. 81-103Article in journal (Refereed) Published
Abstract [en]

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

Place, publisher, year, edition, pages
1999. Vol. 9, no 1, p. 81-103
Keywords [en]
Epistemic logic, distributed belief, data fusion, possibility theory, fuzzy logic, multiple agents
National Category
Computer Sciences
Research subject
Computer and Systems Science
Identifiers
URN: urn:nbn:se:oru:diva-3776DOI: 10.1093/logcom/9.1.81OAI: oai:DiVA.org:oru-3776DiVA, id: diva2:138074
Available from: 2007-08-01 Created: 2007-08-01 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full texthttp://www.aass.oru.se/Research/Robots/publications.html

Authority records BETA

Saffiotti, Alessandro

Search in DiVA

By author/editor
Saffiotti, Alessandro
By organisation
Department of Technology
In the same journal
Journal of logic and computation (Print)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 451 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf