oru.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A modal logic for fusing partial belief of multiple reasoners
University of Pauda. (Departmentof Pure and Applied Math)
Örebro universitet, Institutionen för teknik. (Mobile Robotics Lab)ORCID-id: 0000-0001-8229-1363
1999 (Engelska)Ingår i: Journal of logic and computation (Print), ISSN 0955-792X, E-ISSN 1465-363X, Vol. 9, nr 1, s. 81-103Artikel i tidskrift (Refereegranskat) 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

Ort, förlag, år, upplaga, sidor
1999. Vol. 9, nr 1, s. 81-103
Nyckelord [en]
Epistemic logic, distributed belief, data fusion, possibility theory, fuzzy logic, multiple agents
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Datavetenskap
Identifikatorer
URN: urn:nbn:se:oru:diva-3776DOI: 10.1093/logcom/9.1.81OAI: oai:DiVA.org:oru-3776DiVA, id: diva2:138074
Tillgänglig från: 2007-08-01 Skapad: 2007-08-01 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltexthttp://www.aass.oru.se/Research/Robots/publications.html

Personposter BETA

Saffiotti, Alessandro

Sök vidare i DiVA

Av författaren/redaktören
Saffiotti, Alessandro
Av organisationen
Institutionen för teknik
I samma tidskrift
Journal of logic and computation (Print)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 497 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf