Update as Evidence: Belief Expansion

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] 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) | Request a copy

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 and 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: 06 Dec 2014 17:15
Publisher DOI: 10.1007/978-3-642-35722-0_19
BORIS DOI: 10.7892/boris.45212
URI: http://boris.unibe.ch/id/eprint/45212

Actions (login required)

Edit item Edit item
Provide Feedback