4-5 Oct 2018
Bochum, Germany
CALL FOR PAPERS:
Conference on "Bridging the gap between formal argumentation and actual
human reasoning".
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)
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)
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 modeling 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?
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)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam