Kuznets, Roman; Studer, Thomas (2013). Update as Evidence: Belief Expansion. In: Update as evidence: brief expansion. Lecture Notes in Computer Science: Vol. 7734 (pp. 266-279). Berlin, Heidelberg: Springer 10.1007/978-3-642-35722-0_19
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
chp%3A10.1007%2F978-3-642-35722-0_19.pdf_auth66=1397825372_c6164b97a6ad6d92ade24cbf8596669f&ext=.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (242kB) |
Official URL: http://dx.doi.org/10.1007/978-3-642-35722-0_19
We introduce a justification logic with a novel constructor for evidence terms, according to which the new information itself serves as evidence for believing it. We provide a sound and complete axiomatization for belief expansion and minimal change and explain how the minimality can be graded according to the strength of reasoning. We also provide an evidential analog of the Ramsey axiom.
Item Type: |
Book Section (Book Chapter) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Kuznets, Roman, Studer, Thomas |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
0302-9743 |
ISBN: |
978-3-642-35721-3 |
Series: |
Lecture Notes in Computer Science |
Publisher: |
Springer |
Language: |
English |
Submitter: |
Florian Ranzi |
Date Deposited: |
16 Apr 2014 15:01 |
Last Modified: |
05 Dec 2022 14:30 |
Publisher DOI: |
10.1007/978-3-642-35722-0_19 |
BORIS DOI: |
10.7892/boris.45212 |
URI: |
https://boris.unibe.ch/id/eprint/45212 |
Actions (login required)
 |
Edit item |