OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Reasons to believe in a social environment

Liu, Fenrong and Lorini, Emiliano Reasons to believe in a social environment. (2016) In: 13th International Conference on Deontic Logic in Computer Science (DEON 2016), 18 July 2016 - 21 July 2016 (Bayreuth, Germany).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://hdl.handle.net/11245.1/c9031b64-723d-4a42-af1d-1ef40c742c52


We present a logic which supports reasoning about an agent’s belief formation and belief change due to evidence provided by other agents in the society. We call this logic DEL-ES which stands for “Dynamic Epistemic Logic of Evidence Sources”. The term "evidence source" refers to an agent in the society who provides evidence to believe something to another agent. According to DEL-ES, if an agent has gathered a sufficient amount of evidence in support a given fact φ then, as a consequence, she should start to believe that φ is true. A sound and complete axiomatization for DEL-ES is given. We discuss some of its interesting properties and illustrate it in a concrete example from legal contexts.

Item Type:Conference or Workshop Item (Paper)
Additional Information:This papers appears in volume 13 of Deontic Logic and Normative Systems ISBN: 978-1848902152 http://www.collegepublications.co.uk/DEON/ The original PDF is available at: https://dare.uva.nl/search?identifier=c9031b64-723d-4a42-af1d-1ef40c742c52
HAL Id:hal-01809286
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Tsinghua University (CHINA)
Laboratory name:
Deposited On:04 May 2018 07:33

Repository Staff Only: item control page