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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/221914
Ver los metadatos del registro completo
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 |