Reasoning about preferences in argumentation frameworks

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 in the presence of conflict. A Dung argumentation framework is instantiated by arguments an...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence Jg. 173; H. 9; S. 901 - 934
1. Verfasser:	Modgil, Sanjay
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Oxford Elsevier B.V 01.06.2009 Elsevier
Schlagworte:	Applied sciences Argumentation Artificial intelligence Computer science; control theory; systems Dung Exact sciences and technology Learning and adaptive systems Logic programming Non-monotonic reasoning Preferences Software Software engineering Dung Argumentation Logic programming Preferences Non-monotonic reasoning Inference Logical programming Circumscription Revision Preference Semantics Software engineering workshop Safety Artificial intelligence
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	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 in the presence of conflict. A Dung argumentation framework is instantiated by arguments and a binary conflict based attack relation, defined by some underlying logical theory. The justified arguments under different extensional semantics are then evaluated, and the claims of these arguments define the inferences of the underlying theory. To determine a unique set of justified arguments often requires a preference relation on arguments to determine the success of attacks between arguments. However, preference information is often itself defeasible, conflicting and so subject to argumentation. Hence, in this paper we extend Dung's theory to accommodate arguments that claim preferences between other arguments, thus incorporating meta-level argumentation based reasoning about preferences in the object level. We then define and study application of the full range of Dung's extensional semantics to the extended framework, and study special classes of the extended framework. 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 information. We illustrate by formalising argument based logic programming with defeasible priorities in the extended theory.
AbstractList	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 in the presence of conflict. A Dung argumentation framework is instantiated by arguments and a binary conflict based attack relation, defined by some underlying logical theory. The justified arguments under different extensional semantics are then evaluated, and the claims of these arguments define the inferences of the underlying theory. To determine a unique set of justified arguments often requires a preference relation on arguments to determine the success of attacks between arguments. However, preference information is often itself defeasible, conflicting and so subject to argumentation. Hence, in this paper we extend Dung's theory to accommodate arguments that claim preferences between other arguments, thus incorporating meta-level argumentation based reasoning about preferences in the object level. We then define and study application of the full range of Dung's extensional semantics to the extended framework, and study special classes of the extended framework. 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 information. We illustrate by formalising argument based logic programming with defeasible priorities in the extended theory. 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 in the presence of conflict. A Dung argumentation framework is instantiated by arguments and a binary conflict based attack relation, defined by some underlying logical theory. The justified arguments under different extensional semantics are then evaluated, and the claims of these arguments define the inferences of the underlying theory. To determine a unique set of justified arguments often requires a preference relation on arguments to determine the success of attacks between arguments. However, preference information is often itself defeasible, conflicting and so subject to argumentation. Hence, in this paper we extend Dung's theory to accommodate arguments that claim preferences between other arguments, thus incorporating meta-level argumentation based reasoning about preferences in the object level. We then define and study application of the full range of Dung's extensional semantics to the extended framework, and study special classes of the extended framework. 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 information. We illustrate by formalising argument based logic programming with defeasible priorities in the extended theory.
Author	Modgil, Sanjay
Author_xml	– sequence: 1 givenname: Sanjay surname: Modgil fullname: Modgil, Sanjay email: sanjay.modgil@kcl.ac.uk organization: Department of Computer Science, Kings College London, Strand, London WC2R 2LS, UK
BackLink	http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=21505760$$DView record in Pascal Francis
BookMark	eNqFkU1r3DAQhkVJoLub_IMefElzsjuSbdnqIRBCv2ChEHIXs_I4aOuVNpI2Jf--WpxectichoHnfWGeWbIz5x0x9olDxYHLL9sKQ7IuVQJAVSAqAP6BLXjfibJTgp-xBQA0Zd2B-MiWMW7zWivFF6y7J4zeWfdY4MYfUrEPNFIgZygW1hUYHg87cgmT9a4YA-7orw9_4gU7H3GKdPk6V-zh-7eHu5_l-vePX3e369Lk_lT2su4UH1E0nRglb7AfzKAkGhwUBwOmNdDTBuVYd0KMzYYPA0ItN0b2pqF6xa7n2n3wTweKSe9sNDRN6MgfolaZPV7VZvLzSbJuGtnyWmXw6hXEaHDKJzljo94Hu8PwogVvoe0kZO7rzJngY8xWtLGzhhTQTpqDPsrXWz3L10f5GoTO8nO4eRP-3_9O7GaOUVb6bCnoaOzxF4MNZJIevD1d8A9E7qLu
CODEN	AINTBB
CitedBy_id	crossref_primary_10_1093_logcom_exp032 crossref_primary_10_1007_s10458_025_09692_x crossref_primary_10_1016_j_ijar_2013_09_002 crossref_primary_10_1109_MIS_2013_122 crossref_primary_10_1016_j_artint_2010_12_003 crossref_primary_10_1016_j_ijar_2013_10_010 crossref_primary_10_3233_AAC_230001 crossref_primary_10_3934_math_2025731 crossref_primary_10_1007_s13347_016_0222_6 crossref_primary_10_3233_IA_190029 crossref_primary_10_1016_j_artint_2013_06_004 crossref_primary_10_1016_j_ijar_2017_10_006 crossref_primary_10_1016_j_is_2022_102107 crossref_primary_10_1093_logcom_exs033 crossref_primary_10_1016_j_ijar_2013_10_004 crossref_primary_10_2478_ijasitels_2023_0001 crossref_primary_10_1016_j_artint_2013_10_001 crossref_primary_10_1016_j_ijar_2018_10_020 crossref_primary_10_1016_j_jal_2013_08_004 crossref_primary_10_1093_logcom_exq018 crossref_primary_10_1007_s11787_011_0036_3 crossref_primary_10_1093_logcom_exq015 crossref_primary_10_1007_s11225_009_9213_2 crossref_primary_10_1093_logcom_exad067 crossref_primary_10_1017_S0269888921000011 crossref_primary_10_1093_logcom_exac095 crossref_primary_10_1016_j_artint_2021_103607 crossref_primary_10_3233_AAC_200550 crossref_primary_10_1016_j_artint_2014_08_004 crossref_primary_10_1080_19462160903564592 crossref_primary_10_1093_logcom_exac092 crossref_primary_10_1016_j_artint_2010_09_005 crossref_primary_10_1007_s10506_010_9094_8 crossref_primary_10_1007_s10472_012_9308_8 crossref_primary_10_1016_j_artint_2013_09_004 crossref_primary_10_1080_19462166_2012_708670 crossref_primary_10_1016_j_ijar_2010_05_004 crossref_primary_10_3233_AAC_210010 crossref_primary_10_1016_j_ijar_2018_05_004 crossref_primary_10_3233_AAC_181002 crossref_primary_10_1016_j_ijar_2021_01_004 crossref_primary_10_1016_j_artmed_2012_09_004 crossref_primary_10_1016_j_artint_2018_06_008 crossref_primary_10_1007_s10472_013_9334_1 crossref_primary_10_21146_2074_1472_2024_30_1_86_103 crossref_primary_10_1016_j_artint_2015_06_005 crossref_primary_10_1007_s10506_012_9125_8 crossref_primary_10_1007_s10472_012_9316_8 crossref_primary_10_3233_AAC_190471 crossref_primary_10_1145_2749463 crossref_primary_10_1016_j_ijar_2015_07_001 crossref_primary_10_3233_AAC_210007 crossref_primary_10_1109_ACCESS_2020_3045115 crossref_primary_10_1007_s10472_011_9271_9 crossref_primary_10_1016_j_ijar_2015_11_009 crossref_primary_10_1016_j_knosys_2011_09_009 crossref_primary_10_1016_j_artint_2017_09_002 crossref_primary_10_1007_s11098_024_02249_w crossref_primary_10_1109_MIS_2021_3051420 crossref_primary_10_1093_logcom_exaa054 crossref_primary_10_3233_AAC_190477 crossref_primary_10_1007_s10506_016_9186_1 crossref_primary_10_3233_AAC_190476 crossref_primary_10_1016_j_jal_2014_12_001 crossref_primary_10_3233_AAC_190479 crossref_primary_10_1016_j_jal_2015_03_005 crossref_primary_10_1093_jigpal_jzw012 crossref_primary_10_1093_logcom_exu008 crossref_primary_10_1007_s10472_015_9475_5 crossref_primary_10_1093_logcom_exu009 crossref_primary_10_1093_logcom_exs066 crossref_primary_10_1080_19462166_2014_881417 crossref_primary_10_1016_j_artint_2018_11_003 crossref_primary_10_1016_j_knosys_2020_106514 crossref_primary_10_1093_logcom_exw028 crossref_primary_10_1016_j_artint_2011_03_004 crossref_primary_10_1080_19462166_2010_486479 crossref_primary_10_1016_j_entcs_2019_07_002 crossref_primary_10_3233_AAC_200901 crossref_primary_10_1016_j_artint_2014_11_008 crossref_primary_10_3233_AIC_220087 crossref_primary_10_1016_j_artint_2024_104205 crossref_primary_10_1016_j_artint_2010_11_005 crossref_primary_10_1007_s11229_011_9964_y crossref_primary_10_1080_19462166_2012_663409 crossref_primary_10_1111_tops_12418 crossref_primary_10_1007_s10458_011_9174_5 crossref_primary_10_1016_j_artint_2019_05_001 crossref_primary_10_1093_logcom_exq054 crossref_primary_10_1016_j_artint_2010_11_008 crossref_primary_10_1007_s10115_024_02101_x crossref_primary_10_1007_s10506_017_9194_9 crossref_primary_10_1080_19462166_2012_704398 crossref_primary_10_1016_j_artint_2013_05_002 crossref_primary_10_1016_j_ijar_2013_03_001 crossref_primary_10_3233_AAC_180427 crossref_primary_10_1080_19462166_2012_704397 crossref_primary_10_1007_s11225_009_9211_4 crossref_primary_10_3233_AIC_220133 crossref_primary_10_1016_j_artint_2011_03_006 crossref_primary_10_1016_j_artint_2024_104159 crossref_primary_10_1016_j_ijar_2021_08_008 crossref_primary_10_1016_j_ijar_2023_108938 crossref_primary_10_1017_S0269888913000325 crossref_primary_10_3233_AAC_170032 crossref_primary_10_1016_j_eswa_2020_113220 crossref_primary_10_3233_AAC_200527 crossref_primary_10_1080_11663081_2023_2244715 crossref_primary_10_3233_AAC_200523 crossref_primary_10_3233_MGS_170258 crossref_primary_10_1017_S1471068423000194 crossref_primary_10_1111_coin_12111 crossref_primary_10_1016_j_ijar_2017_02_004 crossref_primary_10_3233_AAC_220012 crossref_primary_10_1007_s10458_011_9173_6 crossref_primary_10_1016_j_artint_2012_10_008 crossref_primary_10_1093_logcom_exaf011 crossref_primary_10_1017_S1471068422000114 crossref_primary_10_1016_j_engappai_2015_10_001 crossref_primary_10_1016_j_ijar_2024_109340 crossref_primary_10_1007_s10503_024_09644_x crossref_primary_10_1016_j_ijar_2017_07_008 crossref_primary_10_1016_j_ijar_2023_108992 crossref_primary_10_1093_logcom_exac039 crossref_primary_10_3233_AAC_160011 crossref_primary_10_1007_s10472_020_09693_4 crossref_primary_10_1016_j_future_2017_09_081
Cites_doi	10.1145/860575.860717 10.1007/978-0-387-98197-0_6 10.1145/1160633.1160696 10.1093/logcom/13.3.377 10.1007/978-3-540-85058-8_3 10.1007/978-3-540-75256-1_57 10.1109/ICMAS.2000.858428 10.1007/11853886_27 10.1145/375735.376091 10.1023/A:1021603608656 10.1007/978-0-387-98197-0_2 10.1007/11518655_28 10.1093/logcom/14.5.675 10.1007/978-3-540-45062-7_45 10.1207/s15516709cog1104_4 10.1016/0004-3702(94)00041-X 10.1016/S0004-3702(97)00015-5 10.1093/logcom/13.3.429 10.1007/3-540-40006-0_17 10.1016/S1571-0661(04)80587-5 10.1007/11589990_72 10.1093/logcom/exi046 10.1145/1329125.1329317 10.1007/11794578_4 10.1080/11663081.1997.10510900 10.1007/978-3-540-32254-2_5 10.1007/s11229-005-3488-2 10.1016/j.artint.2007.05.001 10.1007/978-3-642-00207-6_2 10.1023/A:1014490210693
ContentType	Journal Article
Copyright	2009 Elsevier SAS 2009 INIST-CNRS
Copyright_xml	– notice: 2009 Elsevier SAS – notice: 2009 INIST-CNRS
DBID	6I. AAFTH AAYXX CITATION IQODW 7SC 8FD F28 FR3 JQ2 L7M L~C L~D
DOI	10.1016/j.artint.2009.02.001
DatabaseName	ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Pascal-Francis Computer and Information Systems Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional
DatabaseTitleList	Technology Research Database Technology Research Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science Applied Sciences
EISSN	1872-7921
EndPage	934
ExternalDocumentID	21505760 10_1016_j_artint_2009_02_001 S0004370209000162
GroupedDBID	--K --M --Z -~X .DC .~1 0R~ 1B1 1~. 1~5 23N 4.4 457 4G. 5GY 5VS 6I. 6J9 6TJ 7-5 71M 77K 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AAKPC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABFRF ABJNI ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFO ACGFS ACNCT ACNNM ACRLP ACWUS ACZNC ADBBV ADEZE ADMUD AEBSH AECPX AEFWE AEKER AENEX AETEA AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 E3Z EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F0J F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE IXB J1W JJJVA KOM KQ8 LG9 LY7 M41 MO0 MVM N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ SBC SDF SDG SDP SES SET SEW SPC SPCBC SST SSV SSZ T5K TAE TN5 TR2 TWZ UPT UQL VQA WH7 WUQ XFK XJE XJT XPP XSW ZMT ~02 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD AFXIZ AGCQF AGRNS BNPGV IQODW SSH 7SC 8FD F28 FR3 JQ2 L7M L~C L~D
ID	FETCH-LOGICAL-c399t-863791fa2472f614a8dcd96acad910c0c5c08eba6f3722f4b1dda036bc68c4e3
ISICitedReferencesCount	274
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000266137600001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0004-3702
IngestDate	Sat Sep 27 17:16:24 EDT 2025 Sun Nov 09 12:22:31 EST 2025 Mon Jul 21 09:14:51 EDT 2025 Tue Nov 18 22:42:29 EST 2025 Sat Nov 29 06:08:06 EST 2025 Fri Feb 23 02:31:58 EST 2024
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	9
Keywords	Dung Argumentation Logic programming Preferences Non-monotonic reasoning Inference Logical programming Circumscription Revision Preference Semantics Software engineering workshop Safety Artificial intelligence
Language	English
License	http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 CC BY 4.0
LinkModel	OpenURL
MergedId	FETCHMERGED-LOGICAL-c399t-863791fa2472f614a8dcd96acad910c0c5c08eba6f3722f4b1dda036bc68c4e3
Notes	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23
OpenAccessLink	https://dx.doi.org/10.1016/j.artint.2009.02.001
PQID	34465139
PQPubID	23500
PageCount	34
ParticipantIDs	proquest_miscellaneous_903637025 proquest_miscellaneous_34465139 pascalfrancis_primary_21505760 crossref_citationtrail_10_1016_j_artint_2009_02_001 crossref_primary_10_1016_j_artint_2009_02_001 elsevier_sciencedirect_doi_10_1016_j_artint_2009_02_001
PublicationCentury	2000
PublicationDate	2009-06-01
PublicationDateYYYYMMDD	2009-06-01
PublicationDate_xml	– month: 06 year: 2009 text: 2009-06-01 day: 01
PublicationDecade	2000
PublicationPlace	Oxford
PublicationPlace_xml	– name: Oxford
PublicationTitle	Artificial intelligence
PublicationYear	2009
Publisher	Elsevier B.V Elsevier
Publisher_xml	– name: Elsevier B.V – name: Elsevier
References	Cayrol, Doutre, Mengin (bib015) 2003; 13 Amgoud, Cayrol (bib002) 2002; 29 ASPIC, Argumentation services platform with integrated components July 2007 onwards P. Baroni, M. Giacomin, Resolution-based argumentation semantics, in: Proc. 2nd International Conference on Computational Models of Argument, Toulouse, France, 2008, pp. 25–36 Pollock (bib032) 1987; 11 Atkinson, Bench-Capon, McBurney (bib008) 2006; 152 Governatori, Maher, Antoniou, Billington (bib020) 2004; 14 G. Brewka, Reasoning about priorities in default logic, in: Proceedings of the National Conference on Artificial Intelligence, AAAI'94, Seattle, Washington, 1994, pp. 940–945 P.M. Dung, An argumentation semantics for logic programming with explicit negation, in: Proceedings of the Tenth Logic Programming Conference, Cambridge, MA, 1993, pp. 616–630 S. Coste-Marquis, C. Devred, P. Marquis, Symmetric argumentation frameworks, in: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference (ECSQARU), Barcelona, Spain, 2005, pp. 317–328 L. Amgoud, N. Maudet, S. Parsons, Modelling dialogues using argumentation, in: Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-00), 2000, pp. 31–38 ArguGRID A. Kakas, P. Moraitis, Argumentative agent deliberation, roles and context, in: Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions, 2002, pp. 35–48 Bench-Capon, Dunne (bib012) 2007; 171 S. Modgil, Value based argumentation in hierarchical argumentation frameworks, in: Proc. 1st Int. Conference on Computational Models of Argument, Liverpool, UK, 2006, pp. 297–308 S. Modgil, An abstract theory of argumentation that accommodates defeasible reasoning about preferences, in: Proc. 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Tunisia, 2007, pp. 648–659 S. Modgil, Nested argumentation and its application to decision making over actions, in: Proc. Second Int. Workshop on Argumentation in Multi-Agent Systems, 2005, pp. 57–73 H. Barringer, D.M. Gabbay, J. Woods, Temporal dynamics of support and attack networks: From argumentation to zoology, in: Mechanizing Mathematical Reasoning, 2005, pp. 59–98 Dung (bib019) 1995; 77 S. Modgil, M. Luck, Argumentation based resolution of conflicts between desires and normative goals, in: Proc. Fifth Int. Workshop on Argumentation in Multi-Agent Systems, Portugal, 2008, in press S. Modgil, Hierarchical argumentation, in: Proc. 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK, 2006, pp. 319–332 Broersen, Dastani, Hulstijn, van der Torre (bib022) 2002; 2 Searle (bib036) 2001 Prakken, Sartor (bib034) 1997; 7 Amgoud, Cayrol (bib003) 2002; 34 March 2004–September 2007 L. Amgoud, A formal framework for handling conflicting desires, in: Proc. 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'2003), Aalborg, Denmark, 2003, pp. 552–563 S. Modgil, An argumentation based semantics for agent reasoning, in: Proc. Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems, Durham, UK, 2007, pp. 37–53 A. Kakas, P. Moraitis, Argumentation based decision making for autonomous agents, in: Proc. Second International Joint Conference on Autonomous Agents and Multiagent Systems, Melbourne, Australia, 2003, pp. 883–890 D. Hitchcock, P. McBurney, S. Parsons, A framework for deliberation dialogues, in: Proc. 4th Biennial Conference of the Ontario Society for the Study of Argumentation, 2001 G.A.W. Vreeswijk, H. Prakken, Credulous and sceptical argument games for preferred semantics, in: Proc. 7th European Workshop on Logic for Artificial Intelligence, 2000, pp. 239–253 Prakken (bib033) 2005; 15 L. Amgoud, Y. Dimopolous, P. Moraitis, A unified and general framework for argumentation-based negotiation, in: Proc. 6th International Joint Conference on Autonomous Agents and Multi-Agents Systems (AAMAS'2007), Honolulu, Hawai'i, 2007 S. Modgil, M. Caminada, Proof theories and algorithms for abstract argumentation frameworks, in: I. Rahwan, G. Simari (Eds.), Argumentation in AI, Springer-Verlag, 2009, in press M. Dastani, G. Governatori, A. Rotolo, L.W.N. van der Torre, Preferences of agents in defeasible logic, in: Australian Conference on Artificial Intelligence, Sydney, Australia, 2005, pp. 695–704 I. Rahwan, L. Amgoud, An argumentation based approach for practical reasoning, in: Proc. Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, 2006, pp. 347–354 Bondarenko, Dung, Kowalski, Toni (bib013) 1997; 93 Bench-Capon (bib011) 2003; 13 10.1016/j.artint.2009.02.001_bib005 10.1016/j.artint.2009.02.001_bib027 10.1016/j.artint.2009.02.001_bib004 10.1016/j.artint.2009.02.001_bib026 Amgoud (10.1016/j.artint.2009.02.001_bib002) 2002; 29 10.1016/j.artint.2009.02.001_bib025 10.1016/j.artint.2009.02.001_bib024 10.1016/j.artint.2009.02.001_bib001 10.1016/j.artint.2009.02.001_bib023 10.1016/j.artint.2009.02.001_bib021 Bench-Capon (10.1016/j.artint.2009.02.001_bib011) 2003; 13 Governatori (10.1016/j.artint.2009.02.001_bib020) 2004; 14 Bondarenko (10.1016/j.artint.2009.02.001_bib013) 1997; 93 Broersen (10.1016/j.artint.2009.02.001_bib022) 2002; 2 Cayrol (10.1016/j.artint.2009.02.001_bib015) 2003; 13 Prakken (10.1016/j.artint.2009.02.001_bib034) 1997; 7 10.1016/j.artint.2009.02.001_bib009 10.1016/j.artint.2009.02.001_bib007 10.1016/j.artint.2009.02.001_bib029 10.1016/j.artint.2009.02.001_bib006 10.1016/j.artint.2009.02.001_bib028 10.1016/j.artint.2009.02.001_bib016 10.1016/j.artint.2009.02.001_bib037 10.1016/j.artint.2009.02.001_bib014 10.1016/j.artint.2009.02.001_bib035 10.1016/j.artint.2009.02.001_bib010 Dung (10.1016/j.artint.2009.02.001_bib019) 1995; 77 10.1016/j.artint.2009.02.001_bib031 10.1016/j.artint.2009.02.001_bib030 Atkinson (10.1016/j.artint.2009.02.001_bib008) 2006; 152 Prakken (10.1016/j.artint.2009.02.001_bib033) 2005; 15 Bench-Capon (10.1016/j.artint.2009.02.001_bib012) 2007; 171 Pollock (10.1016/j.artint.2009.02.001_bib032) 1987; 11 Amgoud (10.1016/j.artint.2009.02.001_bib003) 2002; 34 Searle (10.1016/j.artint.2009.02.001_bib036) 2001 10.1016/j.artint.2009.02.001_bib018 10.1016/j.artint.2009.02.001_bib017
References_xml	– reference: A. Kakas, P. Moraitis, Argumentation based decision making for autonomous agents, in: Proc. Second International Joint Conference on Autonomous Agents and Multiagent Systems, Melbourne, Australia, 2003, pp. 883–890 – reference: G.A.W. Vreeswijk, H. Prakken, Credulous and sceptical argument games for preferred semantics, in: Proc. 7th European Workshop on Logic for Artificial Intelligence, 2000, pp. 239–253 – volume: 29 start-page: 125 year: 2002 end-page: 169 ident: bib002 article-title: Inferring from inconsistency in preference-based argumentation frameworks publication-title: International Journal of Automated Reasoning – reference: S. Modgil, M. Luck, Argumentation based resolution of conflicts between desires and normative goals, in: Proc. Fifth Int. Workshop on Argumentation in Multi-Agent Systems, Portugal, 2008, in press – reference: ArguGRID, – volume: 2 start-page: 428 year: 2002 end-page: 447 ident: bib022 article-title: Goal generation in the boid architecture publication-title: Cognitive Science Quarterly Journal – reference: S. Coste-Marquis, C. Devred, P. Marquis, Symmetric argumentation frameworks, in: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference (ECSQARU), Barcelona, Spain, 2005, pp. 317–328 – volume: 15 start-page: 1009 year: 2005 end-page: 1040 ident: bib033 article-title: Coherence and flexibility in dialogue games for argumentation publication-title: Journal of Logic and Computation – volume: 14 start-page: 675 year: 2004 end-page: 702 ident: bib020 article-title: Argumentation semantics for defeasible logic publication-title: Journal of Logic and Computation – reference: S. Modgil, Nested argumentation and its application to decision making over actions, in: Proc. Second Int. Workshop on Argumentation in Multi-Agent Systems, 2005, pp. 57–73 – reference: S. Modgil, An abstract theory of argumentation that accommodates defeasible reasoning about preferences, in: Proc. 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Tunisia, 2007, pp. 648–659 – volume: 13 start-page: 377 year: 2003 end-page: 403 ident: bib015 article-title: On decision problems related to the preferred semantics for argumentation frameworks publication-title: Journal of Logic and Computation – reference: S. Modgil, An argumentation based semantics for agent reasoning, in: Proc. Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems, Durham, UK, 2007, pp. 37–53 – reference: I. Rahwan, L. Amgoud, An argumentation based approach for practical reasoning, in: Proc. Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, 2006, pp. 347–354 – reference: S. Modgil, Value based argumentation in hierarchical argumentation frameworks, in: Proc. 1st Int. Conference on Computational Models of Argument, Liverpool, UK, 2006, pp. 297–308 – reference: G. Brewka, Reasoning about priorities in default logic, in: Proceedings of the National Conference on Artificial Intelligence, AAAI'94, Seattle, Washington, 1994, pp. 940–945 – reference: , March 2004–September 2007 – volume: 11 start-page: 481 year: 1987 end-page: 518 ident: bib032 article-title: Defeasible reasoning publication-title: Cognitive Science – reference: S. Modgil, Hierarchical argumentation, in: Proc. 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK, 2006, pp. 319–332 – volume: 93 start-page: 63 year: 1997 end-page: 101 ident: bib013 article-title: An abstract, argumentation-theoretic approach to default reasoning publication-title: Artificial Intelligence – reference: M. Dastani, G. Governatori, A. Rotolo, L.W.N. van der Torre, Preferences of agents in defeasible logic, in: Australian Conference on Artificial Intelligence, Sydney, Australia, 2005, pp. 695–704 – reference: ASPIC, Argumentation services platform with integrated components, – volume: 34 start-page: 197 year: 2002 end-page: 215 ident: bib003 article-title: A reasoning model based on the production of acceptable arguments publication-title: Annals of Mathematics and Artificial Intelligence – reference: L. Amgoud, Y. Dimopolous, P. Moraitis, A unified and general framework for argumentation-based negotiation, in: Proc. 6th International Joint Conference on Autonomous Agents and Multi-Agents Systems (AAMAS'2007), Honolulu, Hawai'i, 2007 – reference: D. Hitchcock, P. McBurney, S. Parsons, A framework for deliberation dialogues, in: Proc. 4th Biennial Conference of the Ontario Society for the Study of Argumentation, 2001 – reference: P. Baroni, M. Giacomin, Resolution-based argumentation semantics, in: Proc. 2nd International Conference on Computational Models of Argument, Toulouse, France, 2008, pp. 25–36 – reference: L. Amgoud, N. Maudet, S. Parsons, Modelling dialogues using argumentation, in: Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-00), 2000, pp. 31–38 – reference: A. Kakas, P. Moraitis, Argumentative agent deliberation, roles and context, in: Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions, 2002, pp. 35–48 – reference: S. Modgil, M. Caminada, Proof theories and algorithms for abstract argumentation frameworks, in: I. Rahwan, G. Simari (Eds.), Argumentation in AI, Springer-Verlag, 2009, in press – reference: H. Barringer, D.M. Gabbay, J. Woods, Temporal dynamics of support and attack networks: From argumentation to zoology, in: Mechanizing Mathematical Reasoning, 2005, pp. 59–98 – year: 2001 ident: bib036 article-title: Rationality in Action – volume: 171 start-page: 10 year: 2007 end-page: 15 ident: bib012 article-title: Argumentation in artificial intelligence publication-title: Artificial Intelligence – reference: L. Amgoud, A formal framework for handling conflicting desires, in: Proc. 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'2003), Aalborg, Denmark, 2003, pp. 552–563 – volume: 152 start-page: 157 year: 2006 end-page: 206 ident: bib008 article-title: Computational representation of practical argument publication-title: Synthese – volume: 13 start-page: 429 year: 2003 end-page: 448 ident: bib011 article-title: Persuasion in practical argument using value-based argumentation frameworks publication-title: Journal of Logic and Computation – reference: July 2007 onwards – volume: 7 start-page: 25 year: 1997 end-page: 75 ident: bib034 article-title: Argument-based extended logic programming with defeasible priorities publication-title: Journal of Applied Non-Classical Logics – volume: 77 start-page: 321 year: 1995 end-page: 357 ident: bib019 article-title: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and publication-title: Artificial Intelligence – reference: P.M. Dung, An argumentation semantics for logic programming with explicit negation, in: Proceedings of the Tenth Logic Programming Conference, Cambridge, MA, 1993, pp. 616–630 – ident: 10.1016/j.artint.2009.02.001_bib024 doi: 10.1145/860575.860717 – ident: 10.1016/j.artint.2009.02.001_bib030 doi: 10.1007/978-0-387-98197-0_6 – ident: 10.1016/j.artint.2009.02.001_bib035 doi: 10.1145/1160633.1160696 – ident: 10.1016/j.artint.2009.02.001_bib007 – volume: 13 start-page: 377 issue: 3 year: 2003 ident: 10.1016/j.artint.2009.02.001_bib015 article-title: On decision problems related to the preferred semantics for argumentation frameworks publication-title: Journal of Logic and Computation doi: 10.1093/logcom/13.3.377 – ident: 10.1016/j.artint.2009.02.001_bib029 doi: 10.1007/978-3-540-85058-8_3 – ident: 10.1016/j.artint.2009.02.001_bib028 doi: 10.1007/978-3-540-75256-1_57 – ident: 10.1016/j.artint.2009.02.001_bib005 doi: 10.1109/ICMAS.2000.858428 – ident: 10.1016/j.artint.2009.02.001_bib026 doi: 10.1007/11853886_27 – ident: 10.1016/j.artint.2009.02.001_bib021 doi: 10.1145/375735.376091 – volume: 29 start-page: 125 issue: 2 year: 2002 ident: 10.1016/j.artint.2009.02.001_bib002 article-title: Inferring from inconsistency in preference-based argumentation frameworks publication-title: International Journal of Automated Reasoning doi: 10.1023/A:1021603608656 – ident: 10.1016/j.artint.2009.02.001_bib009 doi: 10.1007/978-0-387-98197-0_2 – year: 2001 ident: 10.1016/j.artint.2009.02.001_bib036 – ident: 10.1016/j.artint.2009.02.001_bib016 doi: 10.1007/11518655_28 – volume: 14 start-page: 675 issue: 5 year: 2004 ident: 10.1016/j.artint.2009.02.001_bib020 article-title: Argumentation semantics for defeasible logic publication-title: Journal of Logic and Computation doi: 10.1093/logcom/14.5.675 – ident: 10.1016/j.artint.2009.02.001_bib001 doi: 10.1007/978-3-540-45062-7_45 – volume: 11 start-page: 481 year: 1987 ident: 10.1016/j.artint.2009.02.001_bib032 article-title: Defeasible reasoning publication-title: Cognitive Science doi: 10.1207/s15516709cog1104_4 – volume: 77 start-page: 321 year: 1995 ident: 10.1016/j.artint.2009.02.001_bib019 article-title: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games publication-title: Artificial Intelligence doi: 10.1016/0004-3702(94)00041-X – volume: 2 start-page: 428 issue: 3–4 year: 2002 ident: 10.1016/j.artint.2009.02.001_bib022 article-title: Goal generation in the boid architecture publication-title: Cognitive Science Quarterly Journal – volume: 93 start-page: 63 year: 1997 ident: 10.1016/j.artint.2009.02.001_bib013 article-title: An abstract, argumentation-theoretic approach to default reasoning publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(97)00015-5 – ident: 10.1016/j.artint.2009.02.001_bib027 – volume: 13 start-page: 429 issue: 3 year: 2003 ident: 10.1016/j.artint.2009.02.001_bib011 article-title: Persuasion in practical argument using value-based argumentation frameworks publication-title: Journal of Logic and Computation doi: 10.1093/logcom/13.3.429 – ident: 10.1016/j.artint.2009.02.001_bib037 doi: 10.1007/3-540-40006-0_17 – ident: 10.1016/j.artint.2009.02.001_bib023 doi: 10.1016/S1571-0661(04)80587-5 – ident: 10.1016/j.artint.2009.02.001_bib017 doi: 10.1007/11589990_72 – volume: 15 start-page: 1009 year: 2005 ident: 10.1016/j.artint.2009.02.001_bib033 article-title: Coherence and flexibility in dialogue games for argumentation publication-title: Journal of Logic and Computation doi: 10.1093/logcom/exi046 – ident: 10.1016/j.artint.2009.02.001_bib004 doi: 10.1145/1329125.1329317 – ident: 10.1016/j.artint.2009.02.001_bib025 doi: 10.1007/11794578_4 – ident: 10.1016/j.artint.2009.02.001_bib006 – volume: 7 start-page: 25 year: 1997 ident: 10.1016/j.artint.2009.02.001_bib034 article-title: Argument-based extended logic programming with defeasible priorities publication-title: Journal of Applied Non-Classical Logics doi: 10.1080/11663081.1997.10510900 – ident: 10.1016/j.artint.2009.02.001_bib018 – ident: 10.1016/j.artint.2009.02.001_bib010 doi: 10.1007/978-3-540-32254-2_5 – volume: 152 start-page: 157 issue: 2 year: 2006 ident: 10.1016/j.artint.2009.02.001_bib008 article-title: Computational representation of practical argument publication-title: Synthese doi: 10.1007/s11229-005-3488-2 – volume: 171 start-page: 10 year: 2007 ident: 10.1016/j.artint.2009.02.001_bib012 article-title: Argumentation in artificial intelligence publication-title: Artificial Intelligence doi: 10.1016/j.artint.2007.05.001 – ident: 10.1016/j.artint.2009.02.001_bib031 doi: 10.1007/978-3-642-00207-6_2 – ident: 10.1016/j.artint.2009.02.001_bib014 – volume: 34 start-page: 197 issue: 1–3 year: 2002 ident: 10.1016/j.artint.2009.02.001_bib003 article-title: A reasoning model based on the production of acceptable arguments publication-title: Annals of Mathematics and Artificial Intelligence doi: 10.1023/A:1014490210693
SSID	ssj0003991
Score	2.4640174
Snippet	The abstract nature of Dung's seminal theory of argumentation accounts for its widespread application as a general framework for various species of...
SourceID	proquest pascalfrancis crossref elsevier
SourceType	Aggregation Database Index Database Enrichment Source Publisher
StartPage	901
SubjectTerms	Applied sciences Argumentation Artificial intelligence Computer science; control theory; systems Dung Exact sciences and technology Learning and adaptive systems Logic programming Non-monotonic reasoning Preferences Software Software engineering
Title	Reasoning about preferences in argumentation frameworks
URI	https://dx.doi.org/10.1016/j.artint.2009.02.001 https://www.proquest.com/docview/34465139 https://www.proquest.com/docview/903637025
Volume	173
WOSCitedRecordID	wos000266137600001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-7921 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0003991 issn: 0004-3702 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Na9swFBej7aEw2nXdWPbR6bBbcZE_YknHUDq2HspYc8jNSLJUGjYlxMnon9-nDyspoXQb9GKCsWNLP_npp6f33g-hL6zNNVfKZIXmsEARkmWSE5Np4M4wHSuhhfRiE_Tqik0m_EcUQey8nAC1lt3d8fmzQg3nAGyXOvsPcKc_hRPwG0CHI8AOx78C_qcWXfCxhqDjeVIS8aGvYnGz-h0Tjuyp6WOzuk2WOlr4CCKv57FRsjOBM2tvguv4WthpjMLpPQd8HeEU3FlbKS3RRFZgdUgwkTpYRUaBhvOQypzMZpAgieODbxhBHh8S5lMenJVbpjp4DaZnvlrCMlYOddVT8_XUlAIGr_2WJbwV4Z6lwqS7W9AhBzu2O_p-MblMsy8QrqiSGJrRp0v6mL7tZz1GR17ORQcfiQnqJlsTtWcf41foIC4b8CjAfYReaPsaHfaSHDha6GNEE_rYo4830Me3Fj9AH6_Rf4PGXy_G59-yqI2RKWjhMmN1SXluRFHRwgDFEqxVLa-FEi0QQEXUUBGmpahNSYvCVDJvWwFsRaqaqUqXb9GOnVn9DmEmhCFud7isVCVULiWVw7wm0qUIGE4GqOx7qFGxbryTL_nV9AGC0yb0q5M05Q0pXJzkAGXprnmom_LE9bTv_CZyv8DpGhgvT9x58gCr9Dggs7AYqaEBn3vwGrCdbkNMWD1bdU3pqgXCEmiA8CNXcBfnAKNo-P6_3-8D2l9_fB_RznKx0p_QnvqzvO0WJ3H43gPnWKOe
linkProvider	Elsevier
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Reasoning+about+preferences+in+argumentation+frameworks&rft.jtitle=Artificial+intelligence&rft.au=Modgil%2C+Sanjay&rft.date=2009-06-01&rft.pub=Elsevier+B.V&rft.issn=0004-3702&rft.eissn=1872-7921&rft.volume=173&rft.issue=9&rft.spage=901&rft.epage=934&rft_id=info:doi/10.1016%2Fj.artint.2009.02.001&rft.externalDocID=S0004370209000162
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0004-3702&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0004-3702&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0004-3702&client=summon