Tuesday 24 April 2007

19, Assumption-based argumentation for epistemic and practical reasoning

Notes taken from 'Assumption-based argumentation for epistemic and practical reasoning' (2007), by Francesca Toni

"Assumption-based argumentation can serve as an effective computational tool for argumentation-based epistemic and practical reasoning, as required in a number of applications. In this paper we substantiate this claim by presenting formal mappings from frameworks for epistemic and practical reasoning onto assumption-based argumentation frameworks..."

1, Introduction

... In this paper, we consider two forms of reasoning that rational agents may need to perform, namely reasoning as to which beliefs they should hold (epistemic) and reasoning as to which course of action/decision they should choose (practical)...

2, Abstract and assumption-based argumentation...

3, Epistemic Reasoning...

3.1, Epistemic frameworks without preference rules...

3.2, Epistemic frameworks with preference rules...

4, Practical reasoning...

5, Example...

6, Conclusions

We have proposed concrete instances of assumption-based argumentation for epistemic reasoning... and practical reasoning...

... Within the ARGUGRID project, our approach to (epistemic and) practical reasoning can be used to model decisions concerning the orchestration of services available over the grid, taking into account preferences by the users and/or the service providers...

No comments: