Logic of confidence.
The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with m...
| Publicado en: | Synthese Vol. 192; no. 6; pp. 1821 - 1839 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=102915005&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 102915005 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jun2015 vid: 192 iid: 6 pid: 237 pub: Springer Nature artinfo: ui: 102915005 10.1007/s11229-014-0655-3 ppf: 1821 ppct: 18 formats: fmt: @attributes: type: P size: 604KB tig: atl: Logic of confidence. aug: au: Naumov, Pavel Tao, Jia affil: Department of Mathematics and Computer Science, McDaniel College, Westminster 21157 USA Department of Computer Science, Bryn Mawr College, Bryn Mawr 19010 USA su: Confidence Self-evaluation Semantics research Information theory Mathematical logic sug: subj: Confidence Self-evaluation Semantics research Information theory Mathematical logic keyword: Axiomatic system Confidence of knowledge Uncertainty ab: The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with metrics to capture how much two epistemic worlds are different from an agent's point of view. The main result is a logical system sound and complete with respect to the proposed semantics. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2015. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|