In this paper, we model the behavior of an epistemic agent that faces a deliberation against a background of oughts, beliefs and information. We do this by introducing a dynamic epistemic logic where ought operators are defined and release of information makes beliefs and oughts co-vary. The static part of the logic extends single-agent Conditional Doxastic Logic by combining dyadic operators for conditional beliefs and oughts that are interpreted over two distinct preorders. The dynamic part of the logic introduces concurrent upgrade operators, which are interpreted on operations that change the two preorders in the same way, thus generating the covariation of beliefs and oughts. The effect of the covariation is that, after receiving new information, the agent will change both her beliefs and her oughts accordingly, and in deliberating, she will pick up the best states among those she takes to be the most plausible.

Ciuni, R. (2017). Conditional doxastic logic with oughts and concurrent upgrades. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.299-313). HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY : Springer Verlag [10.1007/978-3-662-55665-8_21].

Conditional doxastic logic with oughts and concurrent upgrades

Ciuni R.
2017

Abstract

In this paper, we model the behavior of an epistemic agent that faces a deliberation against a background of oughts, beliefs and information. We do this by introducing a dynamic epistemic logic where ought operators are defined and release of information makes beliefs and oughts co-vary. The static part of the logic extends single-agent Conditional Doxastic Logic by combining dyadic operators for conditional beliefs and oughts that are interpreted over two distinct preorders. The dynamic part of the logic introduces concurrent upgrade operators, which are interpreted on operations that change the two preorders in the same way, thus generating the covariation of beliefs and oughts. The effect of the covariation is that, after receiving new information, the agent will change both her beliefs and her oughts accordingly, and in deliberating, she will pick up the best states among those she takes to be the most plausible.
978-3-662-55664-1
Ciuni, R. (2017). Conditional doxastic logic with oughts and concurrent upgrades. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.299-313). HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY : Springer Verlag [10.1007/978-3-662-55665-8_21].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11590/402183
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact