Update as Evidence: Belief Expansion
| Data(s) |
2013
|
|---|---|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
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 <http://dx.doi.org/10.1007/978-3-642-35722-0_19> doi:10.7892/boris.45212 info:doi:10.1007/978-3-642-35722-0_19 urn:issn:0302-9743 urn:isbn:978-3-642-35721-3 |
| Idioma(s) |
eng |
| Publicador |
Springer |
| Relação |
http://boris.unibe.ch/45212/ http://dx.doi.org/10.1007/978-3-642-35722-0_19 |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Fonte |
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 <http://dx.doi.org/10.1007/978-3-642-35722-0_19> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/bookPart info:eu-repo/semantics/publishedVersion PeerReviewed |
