264,347 Hits in 4.9 sec

Argumentative Agent Deliberation, Roles and Context

Antonis C. Kakas, Pavlos Moraïtis
2002 Electronical Notes in Theoretical Computer Science  
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy.  ...  The framework uses roles and context to define policy preferences at different levels of deliberation allowing a modular representation of the agent's knowledge that avoids the need for explicit qualification  ...  For the more general framework with dynamic priorities we apply the same proof theory extended and a derivation is thus split into levels.  ... 
doi:10.1016/s1571-0661(04)80587-5 fatcat:jvg2422z4jgm7evodokgrh7ypy

A Tool for Portfolio Generation Using an Argumentation Based Decision Making Framework

Nikolaos Spanoudakis, Konstantina Pendaraki
2007 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007)  
In this paper, a tool that uses an argumentation based decision making framework is proposed for the construction of mutual fund portfolios.  ...  The argumentation framework is employed in order to develop mutual funds performance models and to select a small set of mutual funds, which will compose the final portfolio.  ...  Acknowledgements We would like to thank very warmly Professor Pavlos Moraitis for his helpful comments.  ... 
doi:10.1109/ictai.2007.79 dblp:conf/ictai/SpanoudakisP07 fatcat:i3boyoawajhdze2yax37s3juyq

An Argumentation Framework Based on Conditional Priorities [chapter]

Quoc Bao Vo
2008 Lecture Notes in Computer Science  
We also establish a sufficient condition for a conditional priority-based argumentation to have a unique stable extension based on the notion of stratification.  ...  Our work reveals some interesting problems to conditional priority-based argumentation and establishes the fundamental properties of these frameworks.  ...  It employs an argumentation framework as the underlying engine for reasoning. This is because the abstract argumentation framework [8] is very generic and flexible.  ... 
doi:10.1007/978-3-540-89197-0_46 fatcat:hopbyabshbgvzczliyrbed5d5q

Using argumentation logic for firewall configuration management

Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2009 2009 IFIP/IEEE International Symposium on Integrated Network Management  
This permits both analysis and generation to be done within the same framework, thus accommodating a wide variety of scenarios for authoring and maintaining firewall configurations.  ...  In this paper we extend our previous work on the use of formal argumentation and preference reasoning for firewall policy analysis and develop means to automatically generate firewall policies from higher-level  ...  In addition, we add in the theory generic priority rules that give any (existing) rule whose conclusion is incompatible with ∆ A higher priority over the new argument rule name : ∆ A .  ... 
doi:10.1109/inm.2009.5188808 dblp:conf/im/BandaraKLR09 fatcat:iye5ekxhevd5hihairewlztto4

Using Argumentation Logic for Firewall Policy Specification and Analysis [chapter]

Arosha K. Bandara, Antonis Kakas, Emil C. Lupu, Alessandra Russo
2006 Lecture Notes in Computer Science  
In this paper we propose an approach to firewall policy specification and analysis that uses a formal framework for argumentation based preference reasoning.  ...  The use of a formal framework means that the security requirements defined can be automatically analysed for inconsistencies and firewall configurations can be automatically generated.  ...  Acknowledgements We acknowledge financial support for this work from the EPSRC (Grant Numbers -GR/R31409/01, GR/S79985/01 and GR/T29246/01) and IBM Research.  ... 
doi:10.1007/11907466_16 fatcat:53dryrauc5esjdq77arrpvcdie

Gorgias-C: Extending Argumentation with Constraint Solving [chapter]

Victor Noël, Antonis Kakas
2009 Lecture Notes in Computer Science  
General Information GORGIAS-C is a system implementing a logic programming framework of argumentation that integrates together preference reasoning and constraint solving.  ...  It also allows, as GORGIAS, the use of abductive predicates as a special kind of argumentation. The general format of such a program is as follows. 3  ...  General Information GORGIAS-C is a system implementing a logic programming framework of argumentation that integrates together preference reasoning and constraint solving.  ... 
doi:10.1007/978-3-642-04238-6_54 fatcat:hu2uzvknofg3jhvf6mqcaugqu4

Layered Strategies and Protocols for Argumentation-Based Agent Interaction [chapter]

Antonis Kakas, Nicolas Maudet, Pavlos Moraitis
2005 Lecture Notes in Computer Science  
This framework was proposed in [6] and developed further in [7] , in order to accommodate a dynamic notion of priority over the rules (and hence the arguments) of a given theory [2, 12] .  ...  In this paper we propose an argument-based framework for representing communication theories of agents that can take into account in a uniform way these different aspects.  ...  We would like to thank Ulle Endriss and the anonymous referees of this paper for their comments.  ... 
doi:10.1007/978-3-540-32261-0_5 fatcat:sacpqlum6bczla2omhrustqs34

Modeling Data Access Legislation with Gorgias [chapter]

Nikolaos I. Spanoudakis, Elena Constantinou, Adamos Koumi, Antonis C. Kakas
2017 Lecture Notes in Computer Science  
The system can also advise a user on what additional information is required for a higher access level.  ...  This paper uses argumentation as the basis for modeling and implementing the relevant legislation of an EU country relating to medical data access.  ...  Acknowledgements: We thank the RISS group at Imperial College for useful discussions.  ... 
doi:10.1007/978-3-319-60045-1_34 fatcat:ocdbb7k72zgfbi3raisq3ybjka

Modular Representation of Agent Interaction Rules through Argumentation

Antonis Kakas, Nicolas Maudet, Pavlos Moraitis
2005 Autonomous Agents and Multi-Agent Systems  
In this paper we propose an argument-based framework for representing communication theories of agents that can take into account in a uniform way these different aspects.  ...  Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the individual agents, strategies  ...  We would like to thank Ulle Endriss and the anonymous referees of this paper for their comments.  ... 
doi:10.1007/s10458-005-2176-4 fatcat:srasrlp6dbg55dkq2xlyrk3kvm

Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's Disease

Zhiwei Zeng, Zhiqi Shen, Benny Toh Hsiang Tan, Jing Jih Chin, Cyril Leung, Yu Wang, Ying Chi, Chunyan Miao
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
To automate the decision computation, we map QPDFs to Assumption-based Argumentation (ABA) frameworks so that we can utilize existing ABA argumentative engines for our implementation.  ...  In a QPDF, we use contextual priority to represent the relative importance of combinations of goals in different contexts and define associated strategies for deriving decision preferences based on prioritized  ...  ADNI is funded by the National Institute on Aging, the National Institute of Biomedical Imaging and Bioengineering, and through generous contributions from the following:  ... 
doi:10.24963/kr.2020/84 dblp:conf/kr/ZengSTCLWCM20 fatcat:wavbvgn66jfk5ocpfsrgwzti64

GORGIAS: Applying argumentation

Antonis C. Kakas, Pavlos Moraitis, Nikolaos I. Spanoudakis, Federico Cerutti, Richard Booth
2018 Argument & Computation  
The proposed approach is quite general for this type of applications of argumentation and, thus, it can be used with any preference-based argumentation framework.  ...  We briefly review the Gorgias framework and its past applications and present an emerging general methodological approach for developing "decision making" applications of argumentation.  ...  Acknowledgements The authors acknowledge the (partial) support of the project "Societies of Computees" (SOCS IST-2001-32530), carried out under the 5th framework program of the European Union, for the  ... 
doi:10.3233/aac-181006 fatcat:nnmaq2myzjgfbex4fj454scdne

Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) [chapter]

Henry Prakken
1999 Lecture Notes in Computer Science  
In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format.  ...  A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible.  ...  of Bondarenko, Kakas, Kowalski and Toni, 7] has proposed a very abstract and general argument-based framework.  ... 
doi:10.1007/3-540-46581-2_14 fatcat:azbw7a5s7jdtnj6r2jriqk6qmi

Argumentation Based Resolution of Conflicts between Desires and Normative Goals [chapter]

Sanjay Modgil, Michael Luck
2009 Lecture Notes in Computer Science  
To prevent such deleterious effects we propose a general framework for argumentation-based resolution of conflicts amongst desires and norms.  ...  In this framework, arguments for and against compliance are arguments justifying rewards, respectively punishments, exacted by 'enforcing' agents.  ...  Acknowledgements The research described in this paper is partly supported by the European Commission Framework 6 funded project CONTRACT (INFSO-IST-034418).  ... 
doi:10.1007/978-3-642-00207-6_2 fatcat:2wx74a6oizdgzif2jdif3yp6z4

Nonmonotonic reasoning as prioritized argumentation

Jia-Huai You, Xianchang Wang, Li-Yan Yuan
2001 IEEE Transactions on Knowledge and Data Engineering  
This paper proposes a formalism for nonmonotonic reasoning based on prioritized argumentation.  ...  We argue that nonmonotonic reasoning in general can be viewed as selecting monotonic inferences by a simple notion of priority among inference rules.  ...  In particular, the term prioritized argumentation was rst used by a referee which prompted an investigation that produced Section 2.3.  ... 
doi:10.1109/69.971190 fatcat:5pvgxa7zmnet5gtygzbdh6fsyq

Reasoning about preferences in argumentation frameworks

Sanjay Modgil
2009 Artificial Intelligence  
The abstract nature of Dung's seminal theory of argumentation accounts for its widespread application as a general framework for various species of non-monotonic reasoning, and, more generally, reasoning  ...  The extended theory preserves the abstract nature of Dung's approach, thus aiming at a general framework for non-monotonic formalisms that accommodate defeasible reasoning about as well as with preference  ...  I would like to thank Martin Caminada for early discussions that inspired development of the ideas in the paper. Many thanks also to Trevor Bench-Capon and P.M.  ... 
doi:10.1016/j.artint.2009.02.001 fatcat:pykd362fbvcnln7twqkfzqof7y
« Previous Showing results 1 — 15 out of 264,347 results