dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base

Adam Wyner*, Hannes Strass

*Corresponding author for this work

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

1 Citation (Scopus)

Abstract

We present an approach to reasoning with knowledge bases comprised of strict and defeasible rules over literals. A controlled natural language is proposed as a human/machine interface to facilitate the specification of knowledge and verbalisation of results. Techniques from formal argumentation theory are employed to justify conclusions of the approach; this aims at facilitating human acceptance of computed answers.

Original languageEnglish
Title of host publicationAdvances in Artificial Intelligence
Subtitle of host publicationFrom Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings
EditorsSalem Benferhat, Karim Tabia, Moonis Ali
PublisherSpringer Verlag
Pages328-338
Number of pages11
Volume10351 LNCS
ISBN (Electronic)9783319600451
ISBN (Print)9783319600444
DOIs
Publication statusPublished - 2017
Event30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017 - Arras, France
Duration: 27 Jun 201730 Jun 2017

Publication series

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

Conference

Conference30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017
CountryFrance
CityArras
Period27/06/1730/06/17

Fingerprint

Human-machine Interface
Argumentation
Knowledge Base
Justify
Natural Language
Reasoning
Specification
Specifications
Knowledge
Human

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Wyner, A., & Strass, H. (2017). dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. In S. Benferhat, K. Tabia, & M. Ali (Eds.), Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings (Vol. 10351 LNCS, pp. 328-338). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10351 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-60045-1_35

dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. / Wyner, Adam; Strass, Hannes.

Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. ed. / Salem Benferhat; Karim Tabia; Moonis Ali. Vol. 10351 LNCS Springer Verlag, 2017. p. 328-338 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10351 LNCS).

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

Wyner, A & Strass, H 2017, dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. in S Benferhat, K Tabia & M Ali (eds), Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. vol. 10351 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10351 LNCS, Springer Verlag, pp. 328-338, 30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, 27/06/17. https://doi.org/10.1007/978-3-319-60045-1_35
Wyner A, Strass H. dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. In Benferhat S, Tabia K, Ali M, editors, Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. Vol. 10351 LNCS. Springer Verlag. 2017. p. 328-338. (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-60045-1_35
Wyner, Adam ; Strass, Hannes. / dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. editor / Salem Benferhat ; Karim Tabia ; Moonis Ali. Vol. 10351 LNCS Springer Verlag, 2017. pp. 328-338 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{8221984a883b430ea35d8cf6507f84a2,
title = "dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base",
abstract = "We present an approach to reasoning with knowledge bases comprised of strict and defeasible rules over literals. A controlled natural language is proposed as a human/machine interface to facilitate the specification of knowledge and verbalisation of results. Techniques from formal argumentation theory are employed to justify conclusions of the approach; this aims at facilitating human acceptance of computed answers.",
author = "Adam Wyner and Hannes Strass",
year = "2017",
doi = "10.1007/978-3-319-60045-1_35",
language = "English",
isbn = "9783319600444",
volume = "10351 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "328--338",
editor = "Salem Benferhat and Karim Tabia and Moonis Ali",
booktitle = "Advances in Artificial Intelligence",
address = "Germany",

}

TY - GEN

T1 - dARe – Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base

AU - Wyner, Adam

AU - Strass, Hannes

PY - 2017

Y1 - 2017

N2 - We present an approach to reasoning with knowledge bases comprised of strict and defeasible rules over literals. A controlled natural language is proposed as a human/machine interface to facilitate the specification of knowledge and verbalisation of results. Techniques from formal argumentation theory are employed to justify conclusions of the approach; this aims at facilitating human acceptance of computed answers.

AB - We present an approach to reasoning with knowledge bases comprised of strict and defeasible rules over literals. A controlled natural language is proposed as a human/machine interface to facilitate the specification of knowledge and verbalisation of results. Techniques from formal argumentation theory are employed to justify conclusions of the approach; this aims at facilitating human acceptance of computed answers.

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

U2 - 10.1007/978-3-319-60045-1_35

DO - 10.1007/978-3-319-60045-1_35

M3 - Conference contribution

SN - 9783319600444

VL - 10351 LNCS

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

SP - 328

EP - 338

BT - Advances in Artificial Intelligence

A2 - Benferhat, Salem

A2 - Tabia, Karim

A2 - Ali, Moonis

PB - Springer Verlag

ER -