Lattice-theoretic models of conjectures, hypotheses and consequences

Authors:
Mingsheng Ying;Huaiqing Wang
Affiliations:
State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;Department of Information Systems, City University of Hong Kong, Tat Chee Avenue, Kowloon, Hong Kong, China
Venue:
Artificial Intelligence
Year:
2002

Citing 6
Cited 4

Probabilistic logic

Artificial Intelligence
Linear logic

Theoretical Computer Science
Fuzzifying topology based on complete residuated lattice-valued logic (I)

Fuzzy Sets and Systems
A logic for approximate reasoning

Journal of Symbolic Logic
Knowledge discovery

Communications of the ACM
On conjectures in orthocomplemented lattices

Artificial Intelligence

A note on Trillas' CHC models

Artificial Intelligence
Representation of occurrences for road vehicle traffic

Artificial Intelligence
On the reducibility of hypotheses and consequences

Information Sciences: an International Journal
Consequences and conjectures in preordered sets

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.