[PlanetKR] CFP: workshop on "Bridging the gap between formal argumentation and actual human reasoning"

Ofer Arieli oarieli at mta.ac.il
Sat May 12 19:25:47 EST 2018


[Apologies if you receive multiple copies of this cfp]


Workshop on "Bridging the gap between formal argumentation and actual human reasoning"

http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/ArgRea-2018.html


WHEN: 4.-5. October 2018

WHERE: Institute for Philosophy II, Ruhr-University Bochum

DEADLINE ABSTRACT: 31. July 2018

(1000 words, https://easychair.org/conferences/?conf=argrea18)


Non-monotonic reasoning has received a lot of attention in the

fields of artificial intelligence and philosophical logic. One of the

most promising paradigms is formal argumentation. One central goal of

this research program is to give a (normative) account of actual human

reasoning. However, there is still a substantial gap between these

formal models and many real-life instances of the formalized phenomena.

In this workshop we intend to approach this gap from three different angles:


1. Linguistic angle. Can formal argumentation benefit from insights in

linguistics, such as:

• making use of formal languages closer to natural language

(controlled natural language, discourse representation theory, etc.)

• providing argumentation theory with insights from semantics and

pragmatics of natural language (e.g. from frame semantics,

presupposition theory, conversational implicatures etc.)

• etc.


2. Inferential angle. How can we integrate the modelling of more

natural inference patterns such as the following in formal argumentation:

• argumentation schemes

• suppositional/hypothetical reasoning

• case-based reasoning and reasoning by analogy

• reasoning with quantifiers

• etc.


3. Cognitive angle.

• What are insights from cognitive science into defeasible

reasoning that are relevant for formal argumentation?

• Can tools from formal argumentation be useful for analytical and

interpretative purposes in cognitive science?

• Are models in formal argumentation in accordance with current

insights in cognitive science?


CONFIRMED SPEAKERS:

- Ofer Arieli (The Academic College of Tel Aviv)

- Federico Cerutti (Cardiff University)

- Antonis Kakas (University of Cyprus)

- Chris Reed (University of Dundee)

- Hannes Straß (compl3te GmbH, Leipzig)

- Alice Toniolo (The University of St.-Andrews)

- Serena Villata (INRIA, Sophia Antipolis)


ORGANIZERS:

The conference is organized by the Research Group for Non-Monotonic Logic and Formal

Argumentation at the Institute for Philosophy II (Ruhr-University Bochum) together with

Ofer Arieli (Tel Aviv) and Marcos Cramer (Dresden).

http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/


- Ofer Arieli (Tel Aviv)

- AnneMarie Borg (RUB)

- Marcos Cramer (Dresden)

- Jesse Heyninck (RUB)

- Pere Pardo Ventura (RUB)

- Christian Straßer (RUB)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20180512/c0f21c98/attachment-0001.html 


More information about the PlanetKR mailing list