[PlanetKR] Workshop on "Bridging the gap between formal argumentation and actual human reasoning", 2nd CFP

[Ofer Arieli]

SECOND CALL FOR PAPERS:

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 FOR ABSTRACTS: 31 July 2018 (1000 words, via EasyChair:
 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 Strass (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)
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 Strassser (RUB)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20180719/99732cb0/attachment.html