Lógica de conciencia: bisimulación a nivel conciencia y cambios en conciencia/conocimiento

Estudio de la lógica de la conciencia con bisimulaciones a nivel de la conciencia. Se hace hincapié en los posibles cambios en el conocimiento y la conciencia de agentes no ideales.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Introspection as an action in relational models

This work studies positive and negative introspection not as ‘static’ properties an agent might or might not have, but rather as epistemic actions that change the agent's knowledge. The proposed actions include not only operations for achieving full introspection (first with respect to all formulas, and then with respect to a particular χ), but also acts for increasing the agent's introspection by only one degree. In all cases, the actions are represented as model update operations, with matching modalities for expressing the operations' effects. Sound and complete axiom systems are provided in most cases, and some properties of the operations are explored.Fil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; ArgentinaFil: Velázquez Quesada, Fernando Raymundo. University of Amsterdam; Países Bajo