Abstract
We present an approach to reasoning with strict and defeasible rules over literals. A controlled natural language is employed as human/machine interface to facilitate the specification of knowledge and verbalization of results. Reasoning on the rules is done by a direct semantics that addresses several issues for current approaches to argumentation-based defeasible reasoning. Techniques from formal argumentation theory are employed to justify conclusions of the approach; therefore, we not only address automated reasoning but also human acceptance of provided conclusions.
Original language | English |
---|---|
Title of host publication | Workshops at the Thirty-First AAAI Conference on Artificial Intelligence |
Subtitle of host publication | The AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning WS-17-12 |
Publisher | AAAI Press |
Pages | 765-773 |
Number of pages | 9 |
ISBN (Electronic) | 9781577357865 |
Publication status | Published - 21 Mar 2017 |
Event | 31st AAAI Conference on Artificial Intelligence, AAAI 2017 - San Francisco, United States Duration: 4 Feb 2017 → 5 Feb 2017 |
Conference
Conference | 31st AAAI Conference on Artificial Intelligence, AAAI 2017 |
---|---|
Country/Territory | United States |
City | San Francisco |
Period | 4/02/17 → 5/02/17 |
Keywords
- defeasible theories
- argumentation
- controlled natural language