Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
The Design of the Seventh Answer Set Programming Competition Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics

verfasst von : Stefano Bistarelli, Francesco Santini

Erschienen in: Logic Programming and Nonmonotonic Reasoning

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We provide an initial study on the Hasse diagram that represents the partial order -w.r.t. set inclusion- among weighted sceptical semantics in Argumentation: grounded, ideal, and eager. Being our framework based on a parametric structure of weights, we can directly compare weighted and classical approaches. We define a unique-status weighted grounded semantics, and we prove that the lattice of strongly-admissible extensions becomes a semi-lattice.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Modular Construction of Minimal Models
Nächstes Kapitel Foundations for a Probabilistic Event Calculus
Fußnoten
1
The eager is a unique-status semantics only for finite AAFs [1], which we study in this paper.
 
2
Even if new and not in [3], we introduce this semantics in Definition 4 for the sake of presentation.
 
3
Since Dung’s definitions of semantics are directly encompassed by our framework (just by using the Boolean semiring), we do not introduce them in this paper for the sake of brevity.
 
Literatur
1.
Baumann, R., Spanring, C.: Infinite argumentation frameworks. In: Eiter, T., Strass, H., Truszczyński, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS, vol. 9060, pp. 281–295. Springer, Cham (2015). doi:10.​1007/​978-3-319-14726-0_​19 CrossRef
2.
Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)MathSciNetCrossRefMATH
3.
Bistarelli, S., Rossi, F., Santini, F.: A collective defence against grouped attacks for weighted abstract argumentation frameworks. In: Florida Artificial Intelligence Research Society Conference, Flairs, pp. 638–643. AAAI (2016)
4.
Bistarelli, S., Rossi, F., Santini, F.: A relaxation of internal conflict and defence in weighted argumentation frameworks. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 127–143. Springer, Cham (2016). doi:10.​1007/​978-3-319-48758-8_​9 CrossRef
5.
Bistarelli, S., Santini, F.: A common computational framework for semiring-based argumentation systems. In: ECAI - European Conference on Artificial Intelligence. FAIA, vol. 215, pp. 131–136. IOS (2010)
6.
Bistarelli, S., Santini, F.: Coalitions of arguments: an approach with constraint programming. Fundam. Inform. 124(4), 383–401 (2013)MathSciNetMATH
7.
Caminada, M.: Comparing two unique extension semantics for formal argumentation: ideal and eager. In: Belgian-Dutch Conference on Artificial Intelligence (BNAIC), pp. 81–87 (2007)
8.
Coste-Marquis, S., Konieczny, S., Marquis, P., Ouali, M.A.: Weighted attacks in argumentation frameworks. In: Principles of Knowledge Representation and Reasoning (KR), pp. 593–597. AAAI (2012)
9.
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)MathSciNetCrossRefMATH
10.
Dung, P.M., Mancarella, P., Toni, F.: A dialectic procedure for sceptical, assumption-based argumentation. In: Computational Models of Argument (COMMA). FAIA, vol. 144, pp. 145–156. IOS (2006)
11.
Dunne, P.E., Hunter, A., McBurney, P., Parsons, S., Wooldridge, M.: Weighted argument systems: basic definitions, algorithms, and complexity results. Artif. Intell. 175(2), 457–486 (2011)MathSciNetCrossRefMATH
12.
Martínez, D.C., García, A.J., Simari, G.R.: An abstract argumentation framework with varied-strength attacks. In: Principles of Knowledge Representation and Reasoning (KR), pp. 135–144. AAAI (2008)
13.
Verheij, B.: Two approaches to dialectical argumentation: admissible sets and argumentation stages. In: Dutch Conference on Artificial Intelligence, vol. 96, pp. 357–368 (1996)
Metadaten
Titel
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics
verfasst von
Stefano Bistarelli
Francesco Santini
Copyright-Jahr
2017
Buch
Logic Programming and Nonmonotonic Reasoning

Print ISBN: 978-3-319-61659-9

Electronic ISBN: 978-3-319-61660-5

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-61660-5_6