eprintid: 10076705
rev_number: 25
eprint_status: archive
userid: 608
dir: disk0/10/07/67/05
datestamp: 2019-06-26 16:09:17
lastmod: 2021-09-17 22:59:21
status_changed: 2019-06-26 16:09:17
type: proceedings_section
metadata_visibility: show
creators_name: Hunter, A
creators_name: Polberg, S
title: A Model-based Theorem Prover for Epistemic Graphs for Argumentation
ispublished: pub
divisions: UCL
divisions: B04
divisions: C05
divisions: F48
keywords: Probabilistic argumentation, Epistemic argumentation, Abstract argumentation
note: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
abstract: Epistemic graphs are a recent proposal for probabilistic argumentation that allows for modelling an agent’s degree of belief in an argument and how belief in one argument may influence the belief in other arguments. These beliefs are represented by probability distributions and how they affect each other is represented by logical constraints on these distributions. Within the full language of epistemic constraints, we distinguish a restricted class which offers computational benefits while still being powerful enough to allow for handling of many other argumentation formalisms and that can be used in applications that, for instance, rely on Likert scales. In this paper, we propose a model-based theorem prover for reasoning with the restricted epistemic language.
date: 2019-09-30
date_type: published
publisher: Springer
official_url: https://doi.org/10.1007/978-3-030-29765-7_5
oa_status: green
full_text_type: other
language: eng
primo: open
primo_central: open_green
verified: verified_manual
elements_id: 1666784
doi: 10.1007/978-3-030-29765-7_5
isbn_13: 978-3-030-29765-7
lyricists_name: Hunter, Anthony
lyricists_id: AHUNT03
actors_name: Hunter, Anthony
actors_id: AHUNT03
actors_role: owner
full_text_status: public
series: Lecture Notes in Computer Science
volume: 11726
place_of_pub: Cham
event_title: European Conference on Quantitative and Symbolic Approaches to Reasoning with Uncertainty
institution: European Conference on Quantitative and Symbolic Approaches to Reasoning with Uncertainty
isbn: 978-3-030-29764-0
book_title: Proceedings of Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2019.
editors_name: Kern-Isberner, G
editors_name: Ognjanović, Z
citation:        Hunter, A;    Polberg, S;      (2019)    A Model-based Theorem Prover for Epistemic Graphs for Argumentation.                     In: Kern-Isberner, G and Ognjanović, Z, (eds.) Proceedings of Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2019.    Springer: Cham.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/10076705/7/Hunter_A%20Model-based%20Theorem%20Prover%20for%20Epistemic%20Graphs%20for%20Argumentation_AAM.pdf