Action Models with Postconditions



Document title: Action Models with Postconditions
Journal: Computación y sistemas
Database: PERIÓDICA
System number: 000423351
ISSN: 1405-5546
Authors: 1
1
Institutions: 1Universidade Federal do Rio de Janeiro, Instituto de Matematica, Rio de Janeiro. Brasil
Year:
Season: Jul-Sep
Volumen: 21
Number: 3
Country: México
Language: Inglés
Document type: Artículo
Approach: Experimental, aplicado
English abstract This work proposes a extension of dynamic epistemic logic to work with assignment. The difference between this work and others works, such as [7], is the use of actions models, from DEL, to make Boolean assignments to the propositions, instead of creating new mechanisms to make the assignments. We extend the definition of action model by creating the postcondition property of each state of the model, making it possible to assign Boolean values to the propositions
Disciplines: Matemáticas
Keyword: Matemáticas aplicadas,
Lógica epistémica,
Modelos de acción,
Postcondiciones
Keyword: Applied mathematics,
Epistemic logic,
Action models,
Postconditions
Full text: Texto completo (Ver HTML) Texto completo (Ver PDF)