Para obter um modelo adequado do universo de discurso de alguns sistemas de informação,
é importante permitir a descrição de objetos imprecisos com indeterminação temporal.
Estes objetos são chamados objetos temporais indeterminados. Esta tese apresenta um
formalismo, chamado LITO (Logic of Indeterminate Temporal Objects), para representação,
consulta e modificação de tais tipos de objetos. São distinguidas operações para consulta
lógica, consulta de recuperação, inserção, remoção lógica, refinamento e atualização.
Seguindo uma abordagem empírica, um protótipo entitulado MITO (Manipulation of Indeterminate
Temporal Objects) foi implementado e vem mostrando estar consistente com a
LITO.In order to obtain a suitable model for universe of discourse of some informafion systems,
it is important to allow the description of imprecise objects with temporal indeterminacy.
These objects are called indeterminate temporal objects. This thesis presents a formalism,
calied LITO (Logic of Indeterminate Temporal Objects), for the representation, querying
and modifícation of such objects. Operations are created for logic query, retrieval query,
insertion, logic deletion, refinement and update. Following an empirical approach, a prototype
called MITO (Manipulation of Indeterminate Temporal Objects) was implemented
and has been consistent with LITO
