Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments - Archive ouverte HAL
Proceedings/Recueil Des Communications CEUR Workshop Proceedings Année : 2022

Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments

Hao Wu
  • Fonction : Auteur
  • PersonId : 1318804
Bruno Yun
Nir Oren
  • Fonction : Auteur
  • PersonId : 1116544

Résumé

The first step in reasoning using an approach such as ASPIC+ requires all arguments to be generated, and doing so is computationally intensive when encountering large or frequently updated defeasible theories. In this paper, we introduce the informative partial argumentation framework that enables us to control and customise the argument construction process, potentially improving computational efficiency. In our framework, arguments are constructed in a lazy manner; and through the modularisation of our framework, it is possible to restrict the amount of computation to only the necessary information.
Fichier principal
Vignette du fichier
SAFA (1).pdf (1.06 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04317447 , version 1 (01-12-2023)

Identifiants

  • HAL Id : hal-04317447 , version 1

Citer

Hao Wu, Bruno Yun, Nir Oren. Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments. CEUR Workshop Proceedings, CEUR Workshop Proceedings, 2022. ⟨hal-04317447⟩
36 Consultations
42 Téléchargements

Partager

More