An Algebraic Approach for Action Based Default Reasoning
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 o...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2019-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1907.09124v1 |
id |
doaj-39400260d9af468f878dcdde56d26d7e |
---|---|
record_format |
Article |
spelling |
doaj-39400260d9af468f878dcdde56d26d7e2020-11-25T00:11:30ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-07-01297Proc. TARK 20199110510.4204/EPTCS.297.7:39An Algebraic Approach for Action Based Default ReasoningPablo F. CastroValentin CassanoRaul FervariCarlos ArecesOften, 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.http://arxiv.org/pdf/1907.09124v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Pablo F. Castro Valentin Cassano Raul Fervari Carlos Areces |
spellingShingle |
Pablo F. Castro Valentin Cassano Raul Fervari Carlos Areces An Algebraic Approach for Action Based Default Reasoning Electronic Proceedings in Theoretical Computer Science |
author_facet |
Pablo F. Castro Valentin Cassano Raul Fervari Carlos Areces |
author_sort |
Pablo F. Castro |
title |
An Algebraic Approach for Action Based 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 |
algebraic approach for action based default reasoning |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2019-07-01 |
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. |
url |
http://arxiv.org/pdf/1907.09124v1 |
work_keys_str_mv |
AT pablofcastro analgebraicapproachforactionbaseddefaultreasoning AT valentincassano analgebraicapproachforactionbaseddefaultreasoning AT raulfervari analgebraicapproachforactionbaseddefaultreasoning AT carlosareces analgebraicapproachforactionbaseddefaultreasoning AT pablofcastro algebraicapproachforactionbaseddefaultreasoning AT valentincassano algebraicapproachforactionbaseddefaultreasoning AT raulfervari algebraicapproachforactionbaseddefaultreasoning AT carlosareces algebraicapproachforactionbaseddefaultreasoning |
_version_ |
1725403621591351296 |