A Mathematical Conceptualization of Bundle Sets in Defeasible Logic Programming
Uložené v:
| Názov: | A Mathematical Conceptualization of Bundle Sets in Defeasible Logic Programming |
|---|---|
| Autori: | Yamil Osvaldo Soto, Cristhian Ariel David Deagustini, Maria Vanina Martinez, Gerardo Ignacio Simari |
| Zdroj: | Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. :779-786 |
| Informácie o vydavateľovi: | ACM, 2024. |
| Rok vydania: | 2024 |
| Predmety: | defeasible reasoning, argumentation lines, model-theoretic semantics, structured argumentation, defeasible logic programming |
| Popis: | Defeasible Logic Programming (DeLP) is a formalism for structured argumentation-based reasoning that is founded on a dialectical procedure that relies on trees to compute answers to queries, which return the so-called warrant statuses of the literals involved. In this work, we propose a novel, more general, and minimal structure (understanding it as the minimum information necessary to warrant a statement) than the concept of dialectical tree, which we call parsimonious bundle set. This structure is significant for a line of research that we are carrying out in which we are studying the theoretical foundations of DeLP toward the definition of model-theoretic semantics, a contribution that, in turn, will allow us to analyze the formalism from a different perspective, focusing on theoretical aspects, and also to eventually generalize the query language from literals to formulas built from Boolean connectives. Therefore, in this first step, we focus on developing the basic tools required to provide an alternative to the operational semantics of DeLP that is centered on declarative definitions. |
| Druh dokumentu: | Article Conference object |
| DOI: | 10.1145/3605098.3636042 |
| Rights: | URL: https://www.acm.org/publications/policies/copyright_policy#Background |
| Prístupové číslo: | edsair.doi.dedup.....6d82b1ba1ecef33b1281c1c7ddf0633d |
| Databáza: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstrakt: | Defeasible Logic Programming (DeLP) is a formalism for structured argumentation-based reasoning that is founded on a dialectical procedure that relies on trees to compute answers to queries, which return the so-called warrant statuses of the literals involved. In this work, we propose a novel, more general, and minimal structure (understanding it as the minimum information necessary to warrant a statement) than the concept of dialectical tree, which we call parsimonious bundle set. This structure is significant for a line of research that we are carrying out in which we are studying the theoretical foundations of DeLP toward the definition of model-theoretic semantics, a contribution that, in turn, will allow us to analyze the formalism from a different perspective, focusing on theoretical aspects, and also to eventually generalize the query language from literals to formulas built from Boolean connectives. Therefore, in this first step, we focus on developing the basic tools required to provide an alternative to the operational semantics of DeLP that is centered on declarative definitions. |
|---|---|
| DOI: | 10.1145/3605098.3636042 |