Enumerating Preferred Extensions: A Case Study of Human Reasoning

Alice Toniolo, Timothy J. Norman, Nir Oren

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Downloads (Pure)

Abstract

This paper seeks to better understand the links between human reasoning and preferred extensions as found within formal argumentation, especially in the context of uncertainty. The degree of believability of a conclusion may be associated with the number of preferred extensions in which the conclusion is credulously accepted. We are interested in whether people agree with this evaluation. A set of experiments with human participants is presented to investigate the validity of such an association. Our results show that people tend to agree with the outcome of a version of Thimm’s probabilistic semantics in purely qualitative domains as well as in domains in which conclusions express event likelihood. Furthermore, we are able to characterise this behaviour: the heuristics employed by people in understanding preferred extensions are similar to those employed in understanding probabilities.
Original languageEnglish
Title of host publicationTheory and Applications of Formal Argumentation
Subtitle of host publicationTAFA 2017
EditorsE Black, S Modgil, N Oren
Place of PublicationCham
PublisherSpringer Verlag
Pages192-210
Number of pages19
ISBN (Print)9783319755526
DOIs
Publication statusPublished - 2018
Event4th International Workshop on Theory and Applications of Formal Argumentation, TAFA 2017: (TAFA 2017) - Melbourne, Australia
Duration: 19 Aug 201720 Aug 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10757 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Workshop on Theory and Applications of Formal Argumentation, TAFA 2017
CountryAustralia
CityMelbourne
Period19/08/1720/08/17

Fingerprint

Reasoning
Semantics
Experiments
Argumentation
Likelihood
Express
Heuristics
Tend
Uncertainty
Evaluation
Experiment
Human
Context

Keywords

  • Argumentation
  • Probabilistic semantics
  • User evaluation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Toniolo, A., Norman, T. J., & Oren, N. (2018). Enumerating Preferred Extensions: A Case Study of Human Reasoning. In E. Black, S. Modgil, & N. Oren (Eds.), Theory and Applications of Formal Argumentation: TAFA 2017 (pp. 192-210). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10757 LNAI). Cham: Springer Verlag. https://doi.org/10.1007/978-3-319-75553-3_14

Enumerating Preferred Extensions : A Case Study of Human Reasoning. / Toniolo, Alice; Norman, Timothy J.; Oren, Nir.

Theory and Applications of Formal Argumentation: TAFA 2017. ed. / E Black; S Modgil; N Oren. Cham : Springer Verlag, 2018. p. 192-210 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10757 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toniolo, A, Norman, TJ & Oren, N 2018, Enumerating Preferred Extensions: A Case Study of Human Reasoning. in E Black, S Modgil & N Oren (eds), Theory and Applications of Formal Argumentation: TAFA 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10757 LNAI, Springer Verlag, Cham, pp. 192-210, 4th International Workshop on Theory and Applications of Formal Argumentation, TAFA 2017, Melbourne, Australia, 19/08/17. https://doi.org/10.1007/978-3-319-75553-3_14
Toniolo A, Norman TJ, Oren N. Enumerating Preferred Extensions: A Case Study of Human Reasoning. In Black E, Modgil S, Oren N, editors, Theory and Applications of Formal Argumentation: TAFA 2017. Cham: Springer Verlag. 2018. p. 192-210. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-75553-3_14
Toniolo, Alice ; Norman, Timothy J. ; Oren, Nir. / Enumerating Preferred Extensions : A Case Study of Human Reasoning. Theory and Applications of Formal Argumentation: TAFA 2017. editor / E Black ; S Modgil ; N Oren. Cham : Springer Verlag, 2018. pp. 192-210 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{036c1c7bd81549b5aba9554b8e282624,
title = "Enumerating Preferred Extensions: A Case Study of Human Reasoning",
abstract = "This paper seeks to better understand the links between human reasoning and preferred extensions as found within formal argumentation, especially in the context of uncertainty. The degree of believability of a conclusion may be associated with the number of preferred extensions in which the conclusion is credulously accepted. We are interested in whether people agree with this evaluation. A set of experiments with human participants is presented to investigate the validity of such an association. Our results show that people tend to agree with the outcome of a version of Thimm’s probabilistic semantics in purely qualitative domains as well as in domains in which conclusions express event likelihood. Furthermore, we are able to characterise this behaviour: the heuristics employed by people in understanding preferred extensions are similar to those employed in understanding probabilities.",
keywords = "Argumentation, Probabilistic semantics, User evaluation",
author = "Alice Toniolo and Norman, {Timothy J.} and Nir Oren",
year = "2018",
doi = "10.1007/978-3-319-75553-3_14",
language = "English",
isbn = "9783319755526",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "192--210",
editor = "E Black and S Modgil and N Oren",
booktitle = "Theory and Applications of Formal Argumentation",
address = "Germany",

}

TY - GEN

T1 - Enumerating Preferred Extensions

T2 - A Case Study of Human Reasoning

AU - Toniolo, Alice

AU - Norman, Timothy J.

AU - Oren, Nir

PY - 2018

Y1 - 2018

N2 - This paper seeks to better understand the links between human reasoning and preferred extensions as found within formal argumentation, especially in the context of uncertainty. The degree of believability of a conclusion may be associated with the number of preferred extensions in which the conclusion is credulously accepted. We are interested in whether people agree with this evaluation. A set of experiments with human participants is presented to investigate the validity of such an association. Our results show that people tend to agree with the outcome of a version of Thimm’s probabilistic semantics in purely qualitative domains as well as in domains in which conclusions express event likelihood. Furthermore, we are able to characterise this behaviour: the heuristics employed by people in understanding preferred extensions are similar to those employed in understanding probabilities.

AB - This paper seeks to better understand the links between human reasoning and preferred extensions as found within formal argumentation, especially in the context of uncertainty. The degree of believability of a conclusion may be associated with the number of preferred extensions in which the conclusion is credulously accepted. We are interested in whether people agree with this evaluation. A set of experiments with human participants is presented to investigate the validity of such an association. Our results show that people tend to agree with the outcome of a version of Thimm’s probabilistic semantics in purely qualitative domains as well as in domains in which conclusions express event likelihood. Furthermore, we are able to characterise this behaviour: the heuristics employed by people in understanding preferred extensions are similar to those employed in understanding probabilities.

KW - Argumentation

KW - Probabilistic semantics

KW - User evaluation

UR - http://www.scopus.com/inward/record.url?scp=85043992104&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-75553-3_14

DO - 10.1007/978-3-319-75553-3_14

M3 - Conference contribution

SN - 9783319755526

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 192

EP - 210

BT - Theory and Applications of Formal Argumentation

A2 - Black, E

A2 - Modgil, S

A2 - Oren, N

PB - Springer Verlag

CY - Cham

ER -