Probabilistic belief logic and its probabilistic Aumann semantics
| Autor: | Chun Yi Shi, Zi Ning Cao |
|---|---|
| Rok vydání: | 2003 |
| Předmět: |
Theoretical computer science
Computer science Semantics (computer science) Computer Science::Artificial Intelligence computer.software_genre Semantics Theoretical Computer Science Computer Science::Logic in Computer Science ComputingMilieux_COMPUTERSANDEDUCATION Subjective logic Soundness business.industry Mathematics::History and Overview Probabilistic logic Modal logic Probabilistic argumentation Computer Science Applications Computational Theory and Mathematics Hardware and Architecture Completeness (logic) Probabilistic CTL Theory of computation Artificial intelligence business computer Software Natural language processing |
| Zdroj: | Journal of Computer Science and Technology. 18:571-579 |
| ISSN: | 1860-4749 1000-9000 |
| DOI: | 10.1007/bf02947116 |
| Popis: | In this paper, we present a logic system for probabilistic belief named PBL, which expands the language of belief logic by introducing probabilistic belief. Furthermore, we give the probabilistic Aumann semantics of PBL. We also list some valid properties of belief and probabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness and completeness of these properties with respect to probabilistic Aumann semantics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink