Studying Ideal Semantics via Logic Programming Semantics

In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which were defined in terms of rewriting systems, one can characterize ideal sets. We also show that these extensions of the well-founded semantics define argumentation semantics with similar behaviour to the ideal a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2011 10th Mexican International Conference on Artificial Intelligence S. 3 - 8
Hauptverfasser: Nieves, J. C., Osorio, M.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.11.2011
Schlagworte:
Abstract Argumentation Semantics
Artificial intelligence
Cognition
Electronic mail
Logic programming
Logic Programming Semantics
Non-monotonic Reasoning
Semantics
Transforms
ISBN:9781457721731, 1457721732
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which were defined in terms of rewriting systems, one can characterize ideal sets. We also show that these extensions of the well-founded semantics define argumentation semantics with similar behaviour to the ideal argumentation semantics. On the other hand, we introduce a new logic programming semantics which is able to characterize the ideal sets of an argumentation framework.
AbstractList In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which were defined in terms of rewriting systems, one can characterize ideal sets. We also show that these extensions of the well-founded semantics define argumentation semantics with similar behaviour to the ideal argumentation semantics. On the other hand, we introduce a new logic programming semantics which is able to characterize the ideal sets of an argumentation framework.
Author Nieves, J. C.
Osorio, M.
Author_xml – sequence: 1
  givenname: J. C.
  surname: Nieves
  fullname: Nieves, J. C.
  email: jcnieves@lsi.upc.edu
  organization: Dept. de Lleguatges i Sist. Inf., Univ. Politec. de Catalunya, Barcelona, Spain
– sequence: 2
  givenname: M.
  surname: Osorio
  fullname: Osorio, M.
  email: osoriomauri@googlemail.com
  organization: Depto. de Actuaria, Fis. y Mat., Univ. de las Americas - Puebia, Cholula, Mexico
BookMark eNo9jstKw1AURS9oQdtm2JGT_EDiPfd9hlJ8BCIK7bycNifhSpNIEoX-vS2Ke7IHa7HZc3Hd9R0LsQKZA0i8fy3WD0WuJECu4Uok6AMY670Cr2Em5heCGkHaG5GM44c8xzmUCm5F2Exf1Sl2TVpUTMd0wy11UzyM6XektOybeEjfh74ZqG0v1j9fillNx5GTv16I7dPjdv2SlW_P5z9lFlFOmZNeIwIBWw_sjHcegt4rx0jBGtYUyDhSQTH5mi3Tvqp0bQJZQ7Wr9ULc_c5GZt59DrGl4bRzAAFR6h92mUf0
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/MICAI.2011.31
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EndPage 8
ExternalDocumentID 6118990
Genre orig-research
GroupedDBID 6IE
6IF
6IK
6IL
6IN
AAJGR
AAWTH
ADFMO
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IEGSK
IERZE
OCL
RIE
RIL
ID FETCH-LOGICAL-i90t-6073991a1e571e64767183b26e9a854e3a8a46a282ea7fe5eabdd3f48a54af6f3
IEDL.DBID RIE
ISBN 9781457721731
1457721732
IngestDate Wed Aug 27 03:40:54 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCN 2011939105
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-6073991a1e571e64767183b26e9a854e3a8a46a282ea7fe5eabdd3f48a54af6f3
PageCount 6
ParticipantIDs ieee_primary_6118990
PublicationCentury 2000
PublicationDate 2011-Nov.
PublicationDateYYYYMMDD 2011-11-01
PublicationDate_xml – month: 11
  year: 2011
  text: 2011-Nov.
PublicationDecade 2010
PublicationTitle 2011 10th Mexican International Conference on Artificial Intelligence
PublicationTitleAbbrev MICAI
PublicationYear 2011
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000669021
Score 1.4759802
Snippet In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which were defined in terms of rewriting systems, one can characterize...
SourceID ieee
SourceType Publisher
StartPage 3
SubjectTerms Abstract Argumentation Semantics
Artificial intelligence
Cognition
Electronic mail
Logic programming
Logic Programming Semantics
Non-monotonic Reasoning
Semantics
Transforms
Title Studying Ideal Semantics via Logic Programming Semantics
URI https://ieeexplore.ieee.org/document/6118990
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwED61FQMToBbxVgZGQklz8WNGVFRCVSUq1K262GcpQ1vU1--v7ZaUgYXNdhwrTqR8d-f7vgN4RLSsnRGpLSx6B0XKtCRnUtZWOVU6FpEh9_Uhh0M1mehRA55qLgwzx-Qzfg7NeJZvF2YTQmVd4a1h__dsQlNKsedq1fEUD53a41XkbhXeZMxk3vuRdDr0s6PGZjeoDQz2Cp6hvtyvyioRWPpn_3ukc-gcGXrJqMaeC2jwvA0qJAUG2lIysN7-Sz555t9bZVbJtqIkVFU24aaQjzULs-rrHRj338av7-mhMkJa6Zd1KsLxms4o40JmLFAKjzB52ROsSRXIOSlCQd6bYpKOC6bS2tyhogLJCZdfQmu-mPMVJBolGuW9GERCo3ulsyYzfj2_IlnN19AOm55-77Uvpof93vw9fAunMeYauXp30FovN3wPJ2a7rlbLh_jBdkk1k3k
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3JTsMwEB2VggQnQC1iJweOhJLG8XJGVK0oVSUq1Fvl2GMphy7q9v143JBy4MItqxUnUt7MeN57AI-MWVTO8NhmlvkERYg4187EqKx0MnfIA0Puqy8GAzkeq2ENniouDCKG5jN8ps2wlm_nZkOlshb30bD_ex7AITlnlWytqqLiwVN5xArsrcwHjYlI2z-iTuV-slfZbJHeQG-n4UkOc7-8VQK0dE7_91Bn0Nxz9KJhhT7nUMNZAyS1BRJxKepZHwFGnzj1b64wq2hb6Ih8lQ3dRB1ZU7qqOt-EUedt9NqNS2-EuFAv65jTAptKdIKZSJAzwT3GpHmbo9IyY5hqqRnXPp9CLRxmqHNrU8ekzph23KUXUJ_NZ3gJkWKCGenzGMY0M6qdO2sS48fzI2qr8AoaNOnJYqd-MSnne_334Qc47o4--pN-b_B-AyehAhuYe7dQXy83eAdHZrsuVsv78PG-ATCBlsI
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%3Abook&rft.genre=proceeding&rft.title=2011+10th+Mexican+International+Conference+on+Artificial+Intelligence&rft.atitle=Studying+Ideal+Semantics+via+Logic+Programming+Semantics&rft.au=Nieves%2C+J.+C.&rft.au=Osorio%2C+M.&rft.date=2011-11-01&rft.pub=IEEE&rft.isbn=9781457721731&rft.spage=3&rft.epage=8&rft_id=info:doi/10.1109%2FMICAI.2011.31&rft.externalDocID=6118990
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781457721731/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781457721731/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781457721731/sc.gif&client=summon&freeimage=true