On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2021-07-06

AUTHORS

Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba

ABSTRACT

The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts. We contribute to a deeper understanding of this relation by investigating characterizations of abstract dialectical frameworks in conditional logics for nonmonotonic reasoning. We first show that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but then prove that this gap can be closed when focusing on specific classes of translations. More... »

PAGES

1075-1099

References to SciGraph publications

  • 1988. Ordinal Conditional Functions: A Dynamic Theory of Epistemic States in CAUSATION IN DECISION, BELIEF CHANGE, AND STATISTICS
  • 1989. General theory of cumulative inference in NON-MONOTONIC REASONING
  • 1984. Conditional Logic in HANDBOOK OF PHILOSOPHICAL LOGIC
  • 2018-03-06. On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning in THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION
  • 2015. Non-Monotonic Inference Properties for Assumption-Based Argumentation in THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION
  • 2001-09-13. Conditionals in Nonmonotonic Reasoning and Belief Revision, Considering Conditionals as Agents in NONE
  • 2015. Persistence and Monotony Properties of Argumentation Semantics in THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION
  • 2013. On the Plausibility of Abstract Arguments in SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY
  • 2013. A Conditional Logic-Based Argumentation Framework in SCALABLE UNCERTAINTY MANAGEMENT
  • 1994. The power of beliefs or translating default logic into standard autoepistemic logic in FOUNDATIONS OF KNOWLEDGE REPRESENTATION AND REASONING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10472-021-09758-y

    DOI

    http://dx.doi.org/10.1007/s10472-021-09758-y

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1139457331


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "TU Dortmund, Dortmund, Germany", 
              "id": "http://www.grid.ac/institutes/grid.5675.1", 
              "name": [
                "TU Dortmund, Dortmund, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Heyninck", 
            "givenName": "Jesse", 
            "id": "sg:person.016612475605.56", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016612475605.56"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "TU Dortmund, Dortmund, Germany", 
              "id": "http://www.grid.ac/institutes/grid.5675.1", 
              "name": [
                "TU Dortmund, Dortmund, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kern-Isberner", 
            "givenName": "Gabriele", 
            "id": "sg:person.010504643217.22", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010504643217.22"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Koblenz-Landau, Koblenz, Germany", 
              "id": "http://www.grid.ac/institutes/grid.5892.6", 
              "name": [
                "University of Koblenz-Landau, Koblenz, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Thimm", 
            "givenName": "Matthias", 
            "id": "sg:person.015571654301.77", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015571654301.77"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Koblenz-Landau, Koblenz, Germany", 
              "id": "http://www.grid.ac/institutes/grid.5892.6", 
              "name": [
                "University of Koblenz-Landau, Koblenz, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Skiba", 
            "givenName": "Kenneth", 
            "id": "sg:person.015674717641.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015674717641.31"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-39091-3_44", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008899036", 
              "https://doi.org/10.1007/978-3-642-39091-3_44"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-009-2865-7_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013031030", 
              "https://doi.org/10.1007/978-94-009-2865-7_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-40381-1_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001706485", 
              "https://doi.org/10.1007/978-3-642-40381-1_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-58107-3_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016613023", 
              "https://doi.org/10.1007/3-540-58107-3_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-50701-9_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036993855", 
              "https://doi.org/10.1007/3-540-50701-9_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-28460-6_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004661187", 
              "https://doi.org/10.1007/978-3-319-28460-6_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-009-6259-0_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008613192", 
              "https://doi.org/10.1007/978-94-009-6259-0_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44600-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015844476", 
              "https://doi.org/10.1007/3-540-44600-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-28460-6_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024401345", 
              "https://doi.org/10.1007/978-3-319-28460-6_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-75553-3_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1101341166", 
              "https://doi.org/10.1007/978-3-319-75553-3_5"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2021-07-06", 
        "datePublishedReg": "2021-07-06", 
        "description": "The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts. We contribute to a deeper understanding of this relation by investigating characterizations of abstract dialectical frameworks in conditional logics for nonmonotonic reasoning. We first show that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but then prove that this gap can be closed when focusing on specific classes of translations.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10472-021-09758-y", 
        "inLanguage": "en", 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1043955", 
            "issn": [
              "1012-2443", 
              "1573-7470"
            ], 
            "name": "Annals of Mathematics and Artificial Intelligence", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "10-11", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "89"
          }
        ], 
        "keywords": [
          "abstract dialectical frameworks", 
          "exact relationship", 
          "formal argumentation", 
          "nonmonotonic logic", 
          "logic", 
          "research topic", 
          "dialectical framework", 
          "conditional logic", 
          "nonmonotonic reasoning", 
          "intuitive translation", 
          "specific class", 
          "relationship", 
          "argumentation", 
          "deeper understanding", 
          "understanding", 
          "framework", 
          "reasoning", 
          "conditional semantics", 
          "semantics", 
          "translation", 
          "topic", 
          "researchers", 
          "efforts", 
          "relation", 
          "characterization", 
          "gap", 
          "class", 
          "correspondence", 
          "nonmonotonic conditional logics"
        ], 
        "name": "On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics", 
        "pagination": "1075-1099", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1139457331"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10472-021-09758-y"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10472-021-09758-y", 
          "https://app.dimensions.ai/details/publication/pub.1139457331"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-01-01T19:01", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_907.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10472-021-09758-y"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10472-021-09758-y'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10472-021-09758-y'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10472-021-09758-y'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10472-021-09758-y'


     

    This table displays all metadata directly associated to this object as RDF triples.

    151 TRIPLES      22 PREDICATES      64 URIs      46 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10472-021-09758-y schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N411d8aed21194767b16141e054e392ce
    4 schema:citation sg:pub.10.1007/3-540-44600-1
    5 sg:pub.10.1007/3-540-50701-9_16
    6 sg:pub.10.1007/3-540-58107-3_8
    7 sg:pub.10.1007/978-3-319-28460-6_13
    8 sg:pub.10.1007/978-3-319-28460-6_6
    9 sg:pub.10.1007/978-3-319-75553-3_5
    10 sg:pub.10.1007/978-3-642-39091-3_44
    11 sg:pub.10.1007/978-3-642-40381-1_4
    12 sg:pub.10.1007/978-94-009-2865-7_6
    13 sg:pub.10.1007/978-94-009-6259-0_8
    14 schema:datePublished 2021-07-06
    15 schema:datePublishedReg 2021-07-06
    16 schema:description The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts. We contribute to a deeper understanding of this relation by investigating characterizations of abstract dialectical frameworks in conditional logics for nonmonotonic reasoning. We first show that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but then prove that this gap can be closed when focusing on specific classes of translations.
    17 schema:genre article
    18 schema:inLanguage en
    19 schema:isAccessibleForFree true
    20 schema:isPartOf Naa58ecced3fe4f749e4e187d257c0447
    21 Nbb02fc6e9f824f3c91511cda52bf16e4
    22 sg:journal.1043955
    23 schema:keywords abstract dialectical frameworks
    24 argumentation
    25 characterization
    26 class
    27 conditional logic
    28 conditional semantics
    29 correspondence
    30 deeper understanding
    31 dialectical framework
    32 efforts
    33 exact relationship
    34 formal argumentation
    35 framework
    36 gap
    37 intuitive translation
    38 logic
    39 nonmonotonic conditional logics
    40 nonmonotonic logic
    41 nonmonotonic reasoning
    42 reasoning
    43 relation
    44 relationship
    45 research topic
    46 researchers
    47 semantics
    48 specific class
    49 topic
    50 translation
    51 understanding
    52 schema:name On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
    53 schema:pagination 1075-1099
    54 schema:productId N5884edcbfe0c452ca66e307621baad47
    55 Nbc18d6637b714ff5802f3170839f2a91
    56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1139457331
    57 https://doi.org/10.1007/s10472-021-09758-y
    58 schema:sdDatePublished 2022-01-01T19:01
    59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    60 schema:sdPublisher Ncaa0150eaa7e447b976685ad9993d547
    61 schema:url https://doi.org/10.1007/s10472-021-09758-y
    62 sgo:license sg:explorer/license/
    63 sgo:sdDataset articles
    64 rdf:type schema:ScholarlyArticle
    65 N411d8aed21194767b16141e054e392ce rdf:first sg:person.016612475605.56
    66 rdf:rest Nf5f476c34e574fb3b6a288a737423b14
    67 N55b24ad3db3941888ea056cf866a2e59 rdf:first sg:person.015571654301.77
    68 rdf:rest Neecb8b8bac734068b3171cebd2a4da08
    69 N5884edcbfe0c452ca66e307621baad47 schema:name dimensions_id
    70 schema:value pub.1139457331
    71 rdf:type schema:PropertyValue
    72 Naa58ecced3fe4f749e4e187d257c0447 schema:volumeNumber 89
    73 rdf:type schema:PublicationVolume
    74 Nbb02fc6e9f824f3c91511cda52bf16e4 schema:issueNumber 10-11
    75 rdf:type schema:PublicationIssue
    76 Nbc18d6637b714ff5802f3170839f2a91 schema:name doi
    77 schema:value 10.1007/s10472-021-09758-y
    78 rdf:type schema:PropertyValue
    79 Ncaa0150eaa7e447b976685ad9993d547 schema:name Springer Nature - SN SciGraph project
    80 rdf:type schema:Organization
    81 Neecb8b8bac734068b3171cebd2a4da08 rdf:first sg:person.015674717641.31
    82 rdf:rest rdf:nil
    83 Nf5f476c34e574fb3b6a288a737423b14 rdf:first sg:person.010504643217.22
    84 rdf:rest N55b24ad3db3941888ea056cf866a2e59
    85 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    86 schema:name Information and Computing Sciences
    87 rdf:type schema:DefinedTerm
    88 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    89 schema:name Computation Theory and Mathematics
    90 rdf:type schema:DefinedTerm
    91 sg:journal.1043955 schema:issn 1012-2443
    92 1573-7470
    93 schema:name Annals of Mathematics and Artificial Intelligence
    94 schema:publisher Springer Nature
    95 rdf:type schema:Periodical
    96 sg:person.010504643217.22 schema:affiliation grid-institutes:grid.5675.1
    97 schema:familyName Kern-Isberner
    98 schema:givenName Gabriele
    99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010504643217.22
    100 rdf:type schema:Person
    101 sg:person.015571654301.77 schema:affiliation grid-institutes:grid.5892.6
    102 schema:familyName Thimm
    103 schema:givenName Matthias
    104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015571654301.77
    105 rdf:type schema:Person
    106 sg:person.015674717641.31 schema:affiliation grid-institutes:grid.5892.6
    107 schema:familyName Skiba
    108 schema:givenName Kenneth
    109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015674717641.31
    110 rdf:type schema:Person
    111 sg:person.016612475605.56 schema:affiliation grid-institutes:grid.5675.1
    112 schema:familyName Heyninck
    113 schema:givenName Jesse
    114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016612475605.56
    115 rdf:type schema:Person
    116 sg:pub.10.1007/3-540-44600-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015844476
    117 https://doi.org/10.1007/3-540-44600-1
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/3-540-50701-9_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036993855
    120 https://doi.org/10.1007/3-540-50701-9_16
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/3-540-58107-3_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016613023
    123 https://doi.org/10.1007/3-540-58107-3_8
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/978-3-319-28460-6_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004661187
    126 https://doi.org/10.1007/978-3-319-28460-6_13
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/978-3-319-28460-6_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024401345
    129 https://doi.org/10.1007/978-3-319-28460-6_6
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/978-3-319-75553-3_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1101341166
    132 https://doi.org/10.1007/978-3-319-75553-3_5
    133 rdf:type schema:CreativeWork
    134 sg:pub.10.1007/978-3-642-39091-3_44 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008899036
    135 https://doi.org/10.1007/978-3-642-39091-3_44
    136 rdf:type schema:CreativeWork
    137 sg:pub.10.1007/978-3-642-40381-1_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001706485
    138 https://doi.org/10.1007/978-3-642-40381-1_4
    139 rdf:type schema:CreativeWork
    140 sg:pub.10.1007/978-94-009-2865-7_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013031030
    141 https://doi.org/10.1007/978-94-009-2865-7_6
    142 rdf:type schema:CreativeWork
    143 sg:pub.10.1007/978-94-009-6259-0_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008613192
    144 https://doi.org/10.1007/978-94-009-6259-0_8
    145 rdf:type schema:CreativeWork
    146 grid-institutes:grid.5675.1 schema:alternateName TU Dortmund, Dortmund, Germany
    147 schema:name TU Dortmund, Dortmund, Germany
    148 rdf:type schema:Organization
    149 grid-institutes:grid.5892.6 schema:alternateName University of Koblenz-Landau, Koblenz, Germany
    150 schema:name University of Koblenz-Landau, Koblenz, Germany
    151 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...