Listar por autor "Burrieza-Muñiz, Alfredo"
Mostrando ítems 1-11 de 11
-
A multi-modal logic for Galois connections
Burrieza-Muñiz, Alfredo
; Pérez-de-Guzmán-Molina, Inmaculada; Yuste-Ginel, Antonio (College Publications, 2022-07-19)
-
Arguments Evaluation in Multi-Agent Systems
Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (2018-12-13)
In this paper, a novel problem within the field of Epistemic Logic and Justification Logic is presented. This problem can be stated as follows: how epistemic agents should prefer one justification to another for supporting ... -
Arguments to believe and beliefs to argue. Epistemic logics for argumentation and its dynamics
(UMA Editorial, 2022)Arguing and believing are two skills that have typically played a crucial role in the analysis of human cognition. Both notions have received notable attention from a broad range of disciplines, including linguistics, ... -
Basic Beliefs and Argument-based Beliefs in Awareness Epistemic Logic with Structured Arguments
Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (IOS PRESS, 2020-09-04)
There are two intuitive principles governing belief formation and argument evaluation that can potentially clash. After arguing that adopting them unrestrictedly leads to an infinite regress, we propose a formal framework ... -
A formal analysis of the notion of preference between deductive arguments
Yuste-Ginel, Antonio; Burrieza-Muñiz, Alfredo (2018-05-25)
In the last two decades, justification logic has addressed the problem of including justifications into the field of epistemic logic. Nevertheless, there is something that has not received enough attention yet: how epistemic ... -
Formal argumentation and epistemic logic: what can they do for each other?
Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (2021-11-15)
Arguing and believing are two central cognitive dimensions of both human beings and artificial intelligent agents. The interrelation of these two notions (or groups of notions) is at the root of classic debates in epistemology ... -
From preferences between arguments to preferences between explanations
Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (2018-04-06)
In this ongoing work we present a new approach to the problem of argument evaluation. According to our view the notion of preference between deductive arguments is reducible to simpler notions. Departuring from this analysis ... -
Knowledge and Awareness. Bringing together Epistemology and Logic.
Fernández-Fernández, Claudia (UMA Editorial, 2020-02-25)
The present dissertation has as its main goal the creation of a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. The existing disconnection between both fields and the lack of a proper ... -
On the Tension between Belief Formation and Argument Evaluation
Yuste-Ginel, Antonio; Burrieza-Muñiz, Alfredo (2019-09-06)
There exists certain circularity between the formation of some epistemic atti- tudes of an agent and the way she assesses her available arguments. For the sake of simplicity, I will restrict my attention to the case of ... -
Semántica funcional para lógicas temporales X modales. Definibilidad y Teoremas de completitud
(2003)Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el campo de la Lógica Formal como parte de los Fundamentos Matemáticos de la Computación. Sin embargo, su motivación ha partido de un área ... -
Smart Sensorization Using Propositional Dynamic Logic
Merino-Córdoba, Salvador; Burrieza-Muñiz, Alfredo; Guzmán-Navarro, Francisco; Martinez, Javier (IOAP-MPDI, 2022-05-20)
The current high energy prices pose a serious challenge, especially in the domestic economy. In this respect, one of the main problems is obtaining domestic hot water. For this reason, this article develops a heating system ...