On the reducibility of hypotheses and consequences

Information Sciences

Volumn 179, Issue 23, 2009, Pages 3957-3963

  Trillas, E ^a   Pradera, A ^b   Alvarez A ^a  

^a EUROPEAN CENTRE FOR SOFT COMPUTING   (Spain)

^b UNIVERSIDAD REY JUAN CARLOS   (Spain)

Author keywords

Conjectures; Consequences; Hypotheses; Ortholattices; Orthomodular lattices; Reducibility; Reducible non reducible conjecture

Indexed keywords

CONJECTURES; CONSEQUENCES; HYPOTHESES; ORTHOLATTICES; ORTHOMODULAR LATTICES; REDUCIBILITY; REDUCIBLE/NON-REDUCIBLE CONJECTURE;

ARTIFICIAL INTELLIGENCE;

EID: 70349095573     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2009.01.008     Document Type: Article

References (12)

1. Beran L. Orthomodular Lattices (1985), D. Reidel Publishing Company
2. Birkhoff G. Lattice Theory (1973), American Mathematical Society, Providence, RI
3. E. Castiñeira, S. Cubillo, A. Pradera, E. Trillas, On conjectures and consequences in fuzzy logic, in: Proceedings of the 19th International Meeting of the North American Fuzzy Information Processing Society, vol. 2, Atlanta, USA, 2000, pp. 434-438.
4. Fernández Pineda A., Trillas E., and Vaucheret C. Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices. In: Campbell J.A., and Roanes-Lozano E. (Eds). AISC, of Lecture Notes in Computer Science vol. 1930 (2000), Springer 107-114
5. Qiu D. A note on Trillas' CHC models. Artificial Intelligence 171 4 (2007) 239-254
6. de Soto A.R., Trillas E., and Álvarez A. Short note: counting conjectures. Mathware and Soft Computing XIV 2 (2007) 165-170
7. Trillas E., Castiñeira E., and Cubillo S. Averaging premises. Mathware and Soft Computing 8 (2001) 83-91
8. Trillas E., Cubillo S., and Castiñeira E. On conjectures in orthocomplemented lattices. Artificial Intelligence 117 2 (2000) 255-275
9. E. Trillas, M. Mas, M. Montserrat, J. Torrens, On conjecturing from consequences, Technical Report ECSC-15 (available upon request), 2007.
10. Trillas E., and Pradera A. An orthogonality-based classification of conjectures in ortholattices. Mathware and Soft Computing XIII 1 (2006) 71-87
11. Ying M., and Wang H. Lattice-theoretic models of conjectures, hypotheses and consequences. Artificial Intelligence 139 2 (2002) 253-267
12. Zadeh L.A. Toward a Generalized Theory of Uncertainty (GTU)-an outline. Information Sciences 172 1-2 (2005) 1-40