A Fix-Point Semantics for Rule-Base Anomalies

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)

Volumn 1, Issue 4, 2007, Pages 14-25

  Zhang, Du ^a  

^a CALIFORNIA STATE UNIVERSITY   (United States)

Author keywords

fix point semantics; knowledge base anomalies; multi valued logic

Indexed keywords

EID: 85001838180     PISSN: 15573958     EISSN: 15573966     Source Type: Journal    
DOI: 10.4018/jcini.2007100102     Document Type: Article

References (38)

1. Barwise, J., & Moss, L. (1996). Vicious circles. Stanford, CA: CLSI Publications.
2. Belnap, N. D. (1977). A useful four-valued logic. In G. Epstein & J. Dunn (Ed.), Modern uses of multiple-valued logic (pp. 8–37). Dordrecht, UK: D. Reidel.
3. Ben-Ari, M. (1993). Mathematical logic for computer science. UK: Prentice Hall International.
4. Brachman R. J., & Levesque, H. J. (2004). Knowledge representation and reasoning. San Francisco: Morgan Kaufmann.
5. Chan, C., Kinsner, W., Wang, Y., & Miller, D. M. (Eds.). (2004). Cognitive Informatics: Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI'04). IEEE CS Press.
6. Chandrasekaran, B., Josephson, J. R., & Benjamins, V. R. (1999). What are ontologies, and why do we need them? IEEE Intelligent Systems, 14(1), 20–26.
7. Chang, C. L., Combs, J. B., & Stachowitz, R. A. (1990). A report on the expert systems validation associate (EVA). Expert Systems with Applications, 1, 217–230.
8. Chang, C. L., & Lee, R. C. T. (1973). Symbolic logic and mechanical theorem proving. New York: Academic Press. Cycorp, http://www.cyc.com/
9. Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press.
10. Fitting, M. (1991). Bilattices and the semantics of logic programming. Journal of Logic Programming, 11, 91–116.
11. Fitting, M. (2002). Fixpoint semantics for logic programming: A survey. Theoretical Computer Science, 278(1–2), 25–51.
12. Genesereth, M. R., & Nilsson, N. J. (1987). Logical foundations of artifcial intelligence. Los Altos, CA: Morgan Kaufmann.
13. Ginsberg, A., & Williamson, K. (1993). Inconsistency and rdundancy checking for quasi-frst-order-logic knowledge bases. International Journal of Expert Systems, 6(3), 321–340.
14. Ginsberg, M. L. (1988). Multivalued logics: A uniform approach to inference in artifcial intelligence. Computational Intelligence, 4(3), 265–316.
15. Gomez-Perez, A., Fernandez-Lopez, M., & Corcho, O. (2004). Ontological engineering. London: Springer-Verlag.
16. IBM's research project on Information Economies, http://www.research.ibm.com/infoecon/index. html
17. Kinsner, W., Zhang, D., Wang, Y., & Tsai, J. (Eds.). (2005). Cognitive Informatics: Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI'05). IEEE CS Press.
18. Lenat, D. (1998, October). The dimensions of context-space. CYCorp Report.
19. Levesque, H. J. (1984). The logic of incomplete knowledge bases. In M. L. Brodie, J. Mylopoulos, & J. W. Schmidt (Eds.). On conceptual modeling. New York: Springer-Verlag.
20. Levesque, H. J., & Lakemeyer, G. (2000). The logic of knowledge bases. Cambridge, MA: MIT Press.
21. Levy, A. Y., & Rousset, M.-C. (1998). Verifcation of knowledge bases based on containment checking. Artifcial Intelligence, 101(1–2), 227–250.
22. Menzies, T., & Pecheur, C. (2005). In M. Zelkowitz (Ed.), Advances in computers (Vol. 65). Amsterdam: Elsevier.
23. Murata, T., Subrahmanian, V. S., & Wakayama, T. (1991). A Petri net model for reasoning in the presence of inconsistency. IEEE Transactions on Knowledge and Data Engineering, 3(3), 281–292.
24. Nguyen, T. A., Perkins, W. A., Laffey, T. J., & Pecora, D. (1987). Knowledge base verifcation. AI Magazine, 8(2), 69–75.
25. O'Leary, D. E. (1998). Using AI in knowledge management: Knowledge bases and ontologies. IEEE Intelligent Systems, 13(3), 34–39.
26. Patel, D., Patel, S., & Wang, Y. (Eds.). (2003). Cognitive Informatics: Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI'03). IEEE CS Press.
27. Pylyshyn, Z. W. (1989). Computing in cognitive science. In M. I. Posner (Ed.), Foundations of cognitive science (pp. 49–92). Cambridge, MA: MIT Press.
28. Ross, R. G. (2003). Principles of the business rules approach. Boston: Addison-Wesley.
29. Rushby, J. (1988, October). Quality measures and assurance for AI software (NASA Contractor Report 4187).
30. Rushby, J., & Whitehurst, R. A. (1989, February). Formal verifcation of AI software (NASA Contractor Report 181827).
31. Van Emden, M. H., & Kowalski, R. (1976). The semantics of predicate logic as a programming language. Journal of ACM, 23, 733–742.
32. Wang, Y. (2002). Keynote speech: On cognitive informatics. In Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI02). IEEE CS Press.
33. Wang, Y. (2007). The theoretical framework of cognitive informatics. The International Journal of Cognitive Informatics and Natural Intelligence, 1(1), 1–27.
34. Wang, Y., Johnston, R., & Smith, M. (Eds.). (2002). Cognitive Informatics: Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI'02). IEEE CS Press.
35. Wang, Y., & Kinsner, W. (2006). Recent advances in cognitive informatics. IEEE Transactions on Systems, Man, and Cybernetics, 36(2), 121–123.
36. Zhang, D. (2005). Fixpoint semantics for rule base anomalies. In Proceedings of the Fourth IEEE International Conference on Cognitive Informatics (pp. 10–17).
37. Zhang, D., & Luqi. (1999). Approximate declarative semantics for rule base anomalies. Knowledge-Based Systems, 12(7), 341–353.
38. Zhang, D., & Nguyen, D. (1994). PREPARE: A tool for knowledge base verifcation. IEEE Transactions on Knowledge and Data Engineering, 6(6), 983–989.