Geodesic
Restricted ideals and the groupability property. Tools for temporal reasoning
Kybernetika, Tome 39 (2003) no. 5, p. [521]

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

In the field of automatic proving, the study of the sets of prime implicants or implicates of a formula has proven to be very important. If we focus on non-classical logics and, in particular, on temporal logics, such study is useful even if it is restricted to the set of unitary implicants/implicates [P. Cordero, M. Enciso, and I. de Guzmán: Structure theorems for closed sets of implicates/implicants in temporal logic. (Lecture Notes in Artificial Intelligence 1695.) Springer–Verlag, Berlin 1999]. In this paper, a new concept we call restricted ideal/filter is introduced, it is proved that the set of restricted ideals/filters with the relation of inclusion has lattice structure and its utility for the efficient manipulation of the set of unitary implicants/implicates of formulas in propositional temporal logics is shown. We introduce a new property for subsets of lattices, which we call groupability, and we prove that the existence of groupable subsets in a lattice allows us to express restricted ideals/filters as the inductive closure for a binary non-deterministic operator and, consequently, the presence of this property guarantees a proper computational behavior of the set of unitary implicants/implicates.
Classification : 03B35, 03B44, 03D70, 03G10, 06A15, 68T15
Keywords: lattice; ideal; induction; temporal reasoning; prime implicants/implicates 
@article{KYB_2003__39_5_a2,
     author = {Mart{\'\i}nez, J. and Cordero, P. and Guti\'errez, G. and Guzm\'an, I. P. de},
     title = {Restricted ideals and the groupability property. {Tools} for temporal reasoning},
     journal = {Kybernetika},
     pages = {[521]},
     publisher = {mathdoc},
     volume = {39},
     number = {5},
     year = {2003},
     mrnumber = {2042339},
     zbl = {1249.03004},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2003__39_5_a2/}
}
TY  - JOUR
AU  - Martínez, J.
AU  - Cordero, P.
AU  - Gutiérrez, G.
AU  - Guzmán, I. P. de
TI  - Restricted ideals and the groupability property. Tools for temporal reasoning
JO  - Kybernetika
PY  - 2003
SP  - [521]
VL  - 39
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2003__39_5_a2/
LA  - en
ID  - KYB_2003__39_5_a2
ER  - 
%0 Journal Article
%A Martínez, J.
%A Cordero, P.
%A Gutiérrez, G.
%A Guzmán, I. P. de
%T Restricted ideals and the groupability property. Tools for temporal reasoning
%J Kybernetika
%D 2003
%P [521]
%V 39
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2003__39_5_a2/
%G en
%F KYB_2003__39_5_a2
Martínez, J.; Cordero, P.; Gutiérrez, G.; Guzmán, I. P. de. Restricted ideals and the groupability property. Tools for temporal reasoning. Kybernetika, Tome 39 (2003) no. 5, p. [521]. http://geodesic.mathdoc.fr/item/KYB_2003__39_5_a2/