Bilattices and reasoning in artificial intelligence: Concepts and foundations

Artificial Intelligence Review

Volumn 15, Issue 3, 2001, Pages 219-240

  Sim, Kwang Mong ^a  

^a HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

Author keywords

Bilattices; Commonsense reasoning; Knowledge representation; Multi valued logic; Non standard logic

Indexed keywords

FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING; SET THEORY;

BILATTICES; MULTI-VALUED LOGIC; NON-STANDARD LOGIC; REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0035336202     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011049617655     Document Type: Article

References (27)

1. Anderson, A. R. & Belnap Jr, N. D. (1975). Entailment: The Logic of Relevance and Necessity 1. Princeton University Press.
2. Belnap Jr, N. D. (1975). A Useful Four-Valued Logic. In Dunn and Epstein (eds.) Modern Uses of Multiple-valued Logic, 8-41. D. Reidel Publishing Company.
3. Belnap Jr, N. D. & Steel Jr, T. B. (1976). Erotetic Logic: An Introduction to the Logic of Questions and Answers. Yale University Press.
4. Bochvar, D. (1939). On Three-Valued Logical Calculus and Its Applications to the Analysis of Contradictions. Matematiceskij Sbornik 4: 353-369.
5. de Kleer, J. (1986). An Assumption-Based Truth Maintenance System. Artificial Intelligence 28: 127-162.
6. Doyle, J. (1979). A Truth Maintenance System. Artificial Intelligence 12: 231-272.
7. Etherington, D. W. (1988). Reasoning with Incomplete Information. Research Notes in Artificial Intelligence. Morgan Kaufman.
8. Fitting, M. (1989). Fitting. Bilattices and the Theory of Truth. Journal of Philosophical Logic 18: 225-256.
9. Fitting, M. (1991). Bilattices and the Semantics of Logic Programming. Journal of Logic Programming (August) 11(2): 91-116.
10. Fitting, M. (1993). The Family of Stable Models. Journal of Logic Programming (Preprint).
11. Ginsberg, M. (1987). Readings in Non-Monotonic Reasoning. Morgan Kaufmann: Los Alto, CA.
12. Ginsberg, M. (1988). Multivalued logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational intelligence 4: 265-316.
13. Kleene, S. (1952). Introduction of Metamathematics. Van Nostrand.
14. Lukasiewicz, J. (1920). On 3-Valued Logic. In McCall, S. (ed.) Polish Logic. Oxford University Press.
15. McCarthy, J. (1980). Circumscription - a Form of Non-Monotonic Reasoning. Artificial Intelligence 13: 27-39.
16. McCarthy, J. (1986). Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence 28: 89-118.
17. Moore, R. (1985). Semantic Considerations on Non-Monotonic Logic. Artificial Intelligence 25: 75-94.
18. Reiter, R. (1987). Non-Monotonic Reasoning. Annual Review of Computer Science 2: 147-186 (Annual Reviews, Palo Alto, CA).
19. Reiter, R. (1990). A Logic for Default Reasoning. Artificial Intelligence 13: 81-132.
20. Sandewall, E. (1985). A Functional Approach to Non-monotonic Logic. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 100-106.
21. Scott, D. (1970). Outline of a Mathematical Theory of Computation. In Proceeding of the Fourth Annual Princeton Conference on Information Sciences and Systems, 167-176.
22. Scott, D. (1972). Continuous Lattices. In Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematic, 274, 97-136. Springer-verlag.
23. Scott, D. (1973). Models for Various Type-free Calculi. Logic, Methodology and Philosophy of Science IV In Suppes, Henkin, Juja, Moisil (eds.) Proceedings of the Fourth International Congress for Logic. Methodology and the Philosophy of Science, Bucharest, 1971.
24. Sim, K. M. (1994). Beliefs and Bilattices. In Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina. Lecture Notes in Artificial Intelligence, 869, 594-603. Springer Verlag.
25. Sim, K. M. (1995). A Multi-Valued Epistemic Logic. Ph.D. Dissertation, Department of Computer Science, University of Calgary, Calgary, AB, Canada.
26. Turner, R. (1984). Logics for Artificial Intelligence. Ellis Horwood Series Artificial Intelligence, Ellis Horwood Limited.
27. Zadeh, L. (1979). A Theory of Approximate Reasoning. In J. Hayes, Michie, D. and Mikulich, L.I. (eds.) Machine Intelligence 9, 149-194. Halstead Press: New York.