Lattice-theoretic models of conjectures, hypotheses and consequences

Publication Type:
Journal Article
Artificial Intelligence, 2002, 139 (2), pp. 253 - 267
Issue Date:
Filename Description Size
Thumbnail2008004796OK.pdf165.1 kB
Adobe PDF
Full metadata record
Trillas, Cubillo and Castiñeira [Artificial Intelligence 117 (2000) 255-275] defined several interesting operators in orthocomplemented lattices. These operators give a quite general algebraic model for conjectures, consequences and hypotheses. We present some properties of conjectures, consequences and hypotheses in orthocomplemented lattices, which complement or improve the results by Trillas, Cubillo and Castiñeira. Furthermore, we introduce the graded versions of these notions in the setting of residuated lattices and derive some of their properties. These graded notions provide certain mathematical tools for modelling conjectures, consequences and hypotheses in the environment where uncertain and vague information is involved. © 2002 Elsevier Science B.V. All rights reserved.
Please use this identifier to cite or link to this item: