Fixpoint semantics for rule-base anomalies

Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

Volumn , Issue , 2005, Pages 10-17

  Zhang, Du ^a  

^a CALIFORNIA STATE UNIVERSITY   (United States)

Author keywords

Flxpoint semantics; Knowledge base anomalies; Multi valued logic

Indexed keywords

FLXPOINT SEMANTICS; INTELLIGENT SYSTEM; KNOWLEDGE BASE ANOMALIES; MULTI-VALUED LOGIC;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; SEMANTICS;

LOGIC PROGRAMMING;

EID: 33749049393     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2005.1532610     Document Type: Conference Paper

References (25)

1. J. Barwise and L. Moss, Vicious Circles, CLSI Publications, Stanford CA, 1996.
2. N.B. Belnap, "A Useful Four-Valued Logic", in Modem Uses of Multiple-Valued Logic, G. Epstein and J. Dunn, eds. D. Reidel, Dordrecht, 1977, pp. 8-37.
3. M. Ben-Ari, Mathematical Logic for Computer Science, Prentice Hall International, UK, 1993.
4. B. Chandrasekaran, J.R. Josephson and V.R. Benjamins, What Are Ontologies, and Why Do We Need Them? IEEE Intelligent Systems, Vol.14, No.1, pp.20-26, 1999.
5. C.L. Chang and R.C.T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.
6. C.L. Chang, J.B. Combs and R.A. Stachowitz, A Report on the Expert Systems Validation Associate (EVA), Expert Systems -with Applications, Vol.1, 1990, pp.217-230.
7. Cycorp, http://www.cyc.com/
8. R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning about Knowledge, The MIT Press, Cambridge Mass., 1995.
9. M. Fitting, Bilattices and the Semantics of Logic Programming, Journal of Logic Programming, Vol. 11, pp.91-116, 1991.
10. M. Fitting, Fixpoint Semantics for Logic Programming: A Survey, Theoretical Computer Science, Vol. 278, Issues 1-2, pp.25-51,2002.
11. M.R. Genesereth and N. J. Nilsson, Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Los Altos, CA 1987.
12. A. Ginsberg and K. Williamson, Inconsistency and Rdundancy Checking for Quasi-First-Order-Logic Knowledge Bases. International Journal of Expert Systems, Vol.6, No.3, 1993, pp.321-340.
13. M.L. Ginsberg, Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence, Computational Intelligence, Vol.4, No.3, pp.265-316, 1988.
14. A. Gomez-Perez, M. Femandez-Lopez, and O. Corcho, Ontological Engineering, Springer-Verlag, London, 2004.
15. IBM's research project on Information Economies, http://www.research.ibm.com/infoecon/index.html.
16. D. Lenat, The Dimensions of Context-Space, CYCorp Report, October 1998.
17. H.J. Levesque, The Logic of Incomplete Knowledge Bases. In On Conceptual Modeling, M.L. Brodie, J. Mylopoulos and J.W. Schmidt (Ed.), Springer-Verlag, New York 1984.
18. H. J. Levesque and G. Lakemeyer, The Logic of Knowledge Bases, The MIT Press, Cambridge Mass., 2000.
19. T. Murata, V.S. Subrahmanian, and T. Wakayama, A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Transactions on Knowledge and Data Engineering, Vol.3, No.3, Sept. 1991, pp.281-292.
20. T.A. Nguyen, W.A. Perkins, T.J. Laffey and D. Pecora, Knowledge Base Verification, AI Magazine, Vol. 8, 1987, pp69-75.
21. D.E. O'Leary, Using AI in Knowledge Management: Knowledge Bases and Ontologies. IEEE Intelligent Systems, Vol. 13, No.3, pp.34-39, 1998.
22. R.G. Ross, Principles of the Business Rules Approach, Addison-Wesley, Boston, MA, 2003.
23. J. Rushby, Quality Measures and Assurance for AI Software. NASA Contractor Report 4187, October 1988.
24. J. Rushby and R.A. Whitehurst, Formal Verification of AI Software. NASA Contractor Report 181827, February 1989.
25. D. Zhang and Luqi, Approximate Declarative Semantics for Rule Base Anomalies, Knowledge-Based Systems, Vol.12, No.7, November 1999, pp.341-353.