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:

https://boris.unibe.ch/id/eprint/45212

Actions (login required)

Edit item Edit item
Provide Feedback