An Algebraic Approach for Action Based Default Reasoning

Autores
Castro, Pablo Francisco; Cassano, Valentin; Fervari, Raul Alberto; Areces, Carlos Eduardo
Año de publicación
2019
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is twofold. First, our formalism for default reasoning deals with actions and action operators, and it is based on the deontic action logic originally proposed by Segerberg. Second, inspired by Segerberg´s approach, we use tools coming from the theory of Boolean Algebra. These tools allow us to extend Segerberg´s algebraic completeness result to the setting of Default Logics.
Fil: Castro, Pablo Francisco. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales; Argentina
Fil: Cassano, Valentin. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
Fil: Fervari, Raul Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
Toulouse
Francia
Université Toulouse
Materia
Algebraic Logic
Knowledge Representation
Default Reasoning
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/221914

id CONICETDig_e3f303d47d21d00a06f0b335a654e237
oai_identifier_str oai:ri.conicet.gov.ar:11336/221914
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling An Algebraic Approach for Action Based Default ReasoningCastro, Pablo FranciscoCassano, ValentinFervari, Raul AlbertoAreces, Carlos EduardoAlgebraic LogicKnowledge RepresentationDefault Reasoninghttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is twofold. First, our formalism for default reasoning deals with actions and action operators, and it is based on the deontic action logic originally proposed by Segerberg. Second, inspired by Segerberg´s approach, we use tools coming from the theory of Boolean Algebra. These tools allow us to extend Segerberg´s algebraic completeness result to the setting of Default Logics.Fil: Castro, Pablo Francisco. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales; ArgentinaFil: Cassano, Valentin. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; ArgentinaFil: Fervari, Raul Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; ArgentinaSeventeenth Conference on Theoretical Aspects of Rationality and KnowledgeToulouseFranciaUniversité ToulouseOpen Publishing Association2019info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjectConferenciaJournalhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/221914An Algebraic Approach for Action Based Default Reasoning; Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge; Toulouse; Francia; 2019; 91-1052075-2180CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://arxiv.org/pdf/1907.09124.pdfinfo:eu-repo/semantics/altIdentifier/doi/10.48550/arXiv.1907.09124Internacionalinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T10:03:27Zoai:ri.conicet.gov.ar:11336/221914instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 10:03:27.637CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv An Algebraic Approach for Action Based Default Reasoning
title An Algebraic Approach for Action Based Default Reasoning
spellingShingle An Algebraic Approach for Action Based Default Reasoning
Castro, Pablo Francisco
Algebraic Logic
Knowledge Representation
Default Reasoning
title_short An Algebraic Approach for Action Based Default Reasoning
title_full An Algebraic Approach for Action Based Default Reasoning
title_fullStr An Algebraic Approach for Action Based Default Reasoning
title_full_unstemmed An Algebraic Approach for Action Based Default Reasoning
title_sort An Algebraic Approach for Action Based Default Reasoning
dc.creator.none.fl_str_mv Castro, Pablo Francisco
Cassano, Valentin
Fervari, Raul Alberto
Areces, Carlos Eduardo
author Castro, Pablo Francisco
author_facet Castro, Pablo Francisco
Cassano, Valentin
Fervari, Raul Alberto
Areces, Carlos Eduardo
author_role author
author2 Cassano, Valentin
Fervari, Raul Alberto
Areces, Carlos Eduardo
author2_role author
author
author
dc.subject.none.fl_str_mv Algebraic Logic
Knowledge Representation
Default Reasoning
topic Algebraic Logic
Knowledge Representation
Default Reasoning
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is twofold. First, our formalism for default reasoning deals with actions and action operators, and it is based on the deontic action logic originally proposed by Segerberg. Second, inspired by Segerberg´s approach, we use tools coming from the theory of Boolean Algebra. These tools allow us to extend Segerberg´s algebraic completeness result to the setting of Default Logics.
Fil: Castro, Pablo Francisco. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales; Argentina
Fil: Cassano, Valentin. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
Fil: Fervari, Raul Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
Toulouse
Francia
Université Toulouse
description Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is twofold. First, our formalism for default reasoning deals with actions and action operators, and it is based on the deontic action logic originally proposed by Segerberg. Second, inspired by Segerberg´s approach, we use tools coming from the theory of Boolean Algebra. These tools allow us to extend Segerberg´s algebraic completeness result to the setting of Default Logics.
publishDate 2019
dc.date.none.fl_str_mv 2019
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
Conferencia
Journal
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
status_str publishedVersion
format conferenceObject
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/221914
An Algebraic Approach for Action Based Default Reasoning; Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge; Toulouse; Francia; 2019; 91-105
2075-2180
CONICET Digital
CONICET
url http://hdl.handle.net/11336/221914
identifier_str_mv An Algebraic Approach for Action Based Default Reasoning; Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge; Toulouse; Francia; 2019; 91-105
2075-2180
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/pdf/1907.09124.pdf
info:eu-repo/semantics/altIdentifier/doi/10.48550/arXiv.1907.09124
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.coverage.none.fl_str_mv Internacional
dc.publisher.none.fl_str_mv Open Publishing Association
publisher.none.fl_str_mv Open Publishing Association
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269800618786816
score 13.13397