References of "Gabbay, Dov 50008989"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailPresent and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
Gabbay, Dov UL; Giacomin, Massimiliano; Liao, Beishui UL et al

in Dagstuhl Manifestos (2018), 7(1), 69--95

Formal Argumentation is emerging as a key reasoning paradigm building bridges among knowledge representation and reasoning in artificial intelligence, informal argumentation in philosophy and linguistics ... [more ▼]

Formal Argumentation is emerging as a key reasoning paradigm building bridges among knowledge representation and reasoning in artificial intelligence, informal argumentation in philosophy and linguistics, legal and ethical argumentation, mathematical and logical reasoning, and graph-theoretic reasoning. It aims to capture diverse kinds of reasoning and dialogue activities in the presence of uncertainty and conflicting information in a formal and intuitive way, with potential applications ranging from argumentation mining, via LegalTech and machine ethics, to therapy in clinical psychology. The turning point for the modern stage of formal argumentation theory, much similar to the introduction of possible worlds semantics for the theory of modality, is the framework and language of Dung’s abstract argumentation theory introduced in 1995. This means that nothing could remain the same as before 1995 — it should be a focal point of reference for any study of argumentation, even if it is critical about it. Now, in modal logic, the introduction of the possible worlds semantics has led to a complete paradigm shift, both in tools and new subjects of studies. This is still not fully true for what is going on in argumentation theory. The Dagstuhl workshop led to the first volume of a handbook series in formal argumentation, reflecting the new stage of the development of argumentation theory. [less ▲]

Detailed reference viewed: 84 (2 UL)
Full Text
Peer Reviewed
See detailArgumentation as Exogenous Coordination
van der Torre, Leon UL; Rienstra, Tjitze; Gabbay, Dov UL

in It's All About Coordination (2018)

Formal argumentation is one of the most popular approaches in modern logic and reasoning. The theory of abstract argumentation introduced by Dung in 1995 has shifted the focus from the internal structure ... [more ▼]

Formal argumentation is one of the most popular approaches in modern logic and reasoning. The theory of abstract argumentation introduced by Dung in 1995 has shifted the focus from the internal structure of arguments to relations among arguments, and temporal dynamics for abstract argumentation was proposed by Barringer, Gabbay and Woods in 2005. In this tradition, we see arguments as reasoning processes, and the interaction among them as a coordination process.We argue that abstract argumentation can adopt ideas and techniques from formal theories of coordination, and as an example we propose a model of sequential abstract argumentation loosely inspired by Reo’s model of exogenous coordination. We show how the argumentation model can represent the temporal dynamics of the liar paradox and predator-prey like behaviour. [less ▲]

Detailed reference viewed: 46 (3 UL)
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes
Sun, Xin UL; Gabbay, Dov UL; Robaldo, Livio UL et al

in 12th International Conference Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 82 (5 UL)