oru.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: Journal of logic and computation (Print), ISSN 0955-792X, E-ISSN 1465-363X, Vol. 9, nr 1, s. 81-103Artikkel i tidsskrift (Fagfellevurdert) 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

sted, utgiver, år, opplag, sider
1999. Vol. 9, nr 1, s. 81-103
Emneord [en]
Epistemic logic, distributed belief, data fusion, possibility theory, fuzzy logic, multiple agents
HSV kategori
Forskningsprogram
Datavetenskap
Identifikatorer
URN: urn:nbn:se:oru:diva-3776DOI: 10.1093/logcom/9.1.81OAI: oai:DiVA.org:oru-3776DiVA, id: diva2:138074
Tilgjengelig fra: 2007-08-01 Laget: 2007-08-01 Sist oppdatert: 2018-01-13bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fullteksthttp://www.aass.oru.se/Research/Robots/publications.html

Personposter BETA

Saffiotti, Alessandro

Søk i DiVA

Av forfatter/redaktør
Saffiotti, Alessandro
Av organisasjonen
I samme tidsskrift
Journal of logic and computation (Print)

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 495 treff
RefereraExporteraLink to record
Permanent link

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