Mostrar el registro sencillo del ítem
dc.contributor.author
Castro, Pablo Francisco
dc.contributor.author
Cassano, Valentin
dc.contributor.author
Fervari, Raul Alberto
dc.contributor.author
Areces, Carlos Eduardo
dc.date.available
2023-12-29T18:06:02Z
dc.date.issued
2019
dc.identifier.citation
An Algebraic Approach for Action Based Default Reasoning; Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge; Toulouse; Francia; 2019; 91-105
dc.identifier.issn
2075-2180
dc.identifier.uri
http://hdl.handle.net/11336/221914
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Open Publishing Association
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/
dc.subject
Algebraic Logic
dc.subject
Knowledge Representation
dc.subject
Default Reasoning
dc.subject.classification
Ciencias de la Computación
dc.subject.classification
Ciencias de la Computación e Información
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
An Algebraic Approach for Action Based Default Reasoning
dc.type
info:eu-repo/semantics/publishedVersion
dc.type
info:eu-repo/semantics/conferenceObject
dc.type
info:ar-repo/semantics/documento de conferencia
dc.date.updated
2023-12-15T11:12:18Z
dc.journal.number
297
dc.journal.pagination
91-105
dc.journal.pais
Países Bajos
dc.journal.ciudad
Amsterdam
dc.description.fil
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
dc.description.fil
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
dc.description.fil
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
dc.description.fil
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
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/pdf/1907.09124.pdf
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.48550/arXiv.1907.09124
dc.conicet.rol
Autor
dc.conicet.rol
Autor
dc.conicet.rol
Autor
dc.conicet.rol
Autor
dc.coverage
Internacional
dc.type.subtype
Conferencia
dc.description.nombreEvento
Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
dc.date.evento
2019-07-17
dc.description.ciudadEvento
Toulouse
dc.description.paisEvento
Francia
dc.type.publicacion
Journal
dc.description.institucionOrganizadora
Université Toulouse
dc.source.revista
Electronic Proceedings in Theoretical Computer Science
dc.date.eventoHasta
2019-07-19
dc.type
Conferencia
Archivos asociados