References of "Torre, Leendert W. N. Van Der"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario
Gabbay, Dov M. UL; Robaldo, Livio; Sun, Xin UL et al

in Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

. A linguistic analysis of deontic paradoxes can be used to further develop deontic logic. In this paper we provide a Beth-Reichenbach semantics to analyze deontic paradoxes, and we illustrate it on the ... [more ▼]

. A linguistic analysis of deontic paradoxes can be used to further develop deontic logic. In this paper we provide a Beth-Reichenbach semantics to analyze deontic paradoxes, and we illustrate it on the single agent decision problem of the miners scenario. We also introduce extensions with reactive arrows and actions, which can be used to give a linguistic interpretation of multi-agent dialogues. [less ▲]

Detailed reference viewed: 111 (4 UL)
Full Text
Peer Reviewed
See detailSing and Dance!" - Input/Output Logics without Weakening
Parent, Xavier UL; Torre, Leendert W. N. Van Der

in Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

Makinson and van der Torre [14] introduce a number of in- put/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The ... [more ▼]

Makinson and van der Torre [14] introduce a number of in- put/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs. Using the same methodology, Stolpe [20,21] has developed some more I/O logics to include systems without the rule of weakening of the output (or principle of inheritance). We extend Stolpe’s account in two directions. First, we show how to make it support reasoning by cases−a common form of reasoning. Sec- ond, we show how to inject a new (as we call it, “aggregative”) form of cumulative transitivity, which we think is more suitable for normative reasoning. The main outcomes of the paper are soundness and complete- ness theorems for the proposed systems with respect to their intended semantics. [less ▲]

Detailed reference viewed: 125 (8 UL)
Full Text
Peer Reviewed
See detailA socio-cognitive model of trust using argumentation theory
Villata, Serena; Boella, Guido; Gabbay, Dov M. UL et al

in International Journal of Approximate Reasoning (2013), 54(4), 541--559

Detailed reference viewed: 113 (4 UL)