The Department of Computer Science at the University of Cyprus cordially invites you to the PhD Defense entitled:
Adaptive and Dynamic Argumentation
Speaker: Mr. Evgenios Hadjisoteriou
In this thesis we study adaptive and dynamic argumentation for decision making where decisions need to adapt to personal preferences and dynamically changing problem environment. We study how logic-based reasoning about actions and change can be formalized in terms of argumentation to support such a dynamic decision framework. In particular, the earlier work of translating the language E for RAC into a logic-based argumentation framework (AF) is extended by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This framework enables adaptation over time and allows dynamic changes in the problem environment to be handled over time. We illustrate this by formalizing the details of the decision problem of choosing a hotel to stay at according to users’ preferences and purposes of going on a trip. A new way to formalizing and computing argumentation through matrices is also studied. Abstract Argumentation is interpreted in terms of matrix multiplication and we present matrix operation algorithms that can answer whether a given set of arguments is part of an argumentation extension under the various semantics of Abstract Argumentation.
Evgenios Hadjisoteriou is a PhD student at the Department of Computer Science, University of Cyprus. In 2005 he got his BSc in Applied Mathematics from the Department of Mathematics of the National and Kapodistrian University of Athens and in 2006 his MSc in Mathematical Logic and the Theory of Computation from the School of Mathematics at the University of Manchester. His research interests focus mainly in the area of argumentation and preference reasoning, and reasoning about actions and change.
|Other Presentations Web: https://www.cs.ucy.ac.cy/colloquium/presentations.php|
|Colloquia Web: https://www.cs.ucy.ac.cy/colloquium/|