View Related Documents

Abstract

Termal algebras have been proposed by W. Bartol as general algebraic models for systems of inference rules over incomplete data. As a step towards such interpretation, in this note we associate two different information systems (in the sense of D. Scott) to a termal algebra, in such a way that the elements of the domains generated by them turn out to have clear counterparts in the knowledge systems setting.
Partially supported by by the DGCIyT grant PB91-0334
Partially supported also by the UPC grant PR9014

Fulltext Preview

Image of the first page of the fulltext document