Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Computación y Sistemas
versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546
Resumen
BENEVIDES, Mario y SAAB LIMA, Isaque Maçalam. Action Models with Postconditions. Comp. y Sist. [online]. 2017, vol.21, n.3, pp.401-406. ISSN 2007-9737. https://doi.org/10.13053/cys-21-3-2808.
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.
Palabras llave : Epistemic logic; action models; postconditions.
· texto en Inglés
· Inglés
(
pdf
)