Xixi Logic Seminars #30

Speaker: Prof. Leon van der Torre (University of Luxembourg)
Date & Time: 7 April 2016 (Thursday), 15:00 – 16:30
Place: Seminar room 259, Main Teaching Building, Xixi campus, Zhejiang University

Norms and arguments

In this talk I discuss two relations between normative reasoning and formal argumentation. First I consider formal argumentation as a kind of normative reasoning. An attack of argument A on argument B is interpreted either as “either A is not accepted or B should be accepted” or as “A and B cannot both be accepted, and it is preferred to accept A over B”.  The difference between the two interpretations is analyzed for higher order attack (where attacks can be attacked) and for contrary to duty argumentation (where arguments that should be rejected are accepted). Second, I apply a theory of structured argumentation to normative reasoning. In an ASPIC+ style setting, I discuss the definition of argument, the role of constitutive and permissive norms, and hierarchical normative systems.

Short bio

Leon van der Torre joined the University of Luxembourg as a full professor for Intelligent Systems in 2006. He developed the BOID agent architecture (with colleagues from Vrije Universiteit Amsterdam), input/output logic (with David Makinson) and the game-theoretic approach to normative multiagent systems (with Guido Boella). He is an editor of the handbook of deontic logic and normative systems (first volume 2013, second volume in preparation), editor of the handbook on formal argumentation (in preparation), editor of the handbook on normative multi agent systems (in preparation), deontic logic corner editor of Journal of Logic and Computation, and member of editorial board of Logic Journal of the IGPL, the  IfCoLog Journal of Logics and their Applications, and the EPiC series in Computer Science. Moreover he is coordinator of the Horizon2020 Marie Curie RISE Network “Mining and Reasoning with Norms” (MIREL, 2016-2019).

Additional references:
handbook of deontic logic and normative systems (first volume 2013, second volume in preparation),
http://deonticlogic.org/
handbook on formal argumentation (in preparation),
http://formalargumentation.org/
handbook on normative multi agent systems (in preparation),
http://normativemas.org/
Journal of Logic and Computation,
https://logcom.oxfordjournals.org/
Logic Journal of the IGPL,
https://jigpal.oxfordjournals.org/
IfCoLog Journal of Logics and their Applications,
http://www.collegepublications.co.uk/journals/ifcolog/
EPiC series in Computer Science
http://www.easychair.org/publications/EPiC/Computing
Horizon2020 Marie Curie RISE Network “Mining and Reasoning with Norms” (MIREL, 2016-2019).
http://www.mirelproject.eu/