
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
T.J. Weigert, J.J.P. Tsai, "A Computationally Tractable Nonmonotonic Logic," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 1, pp. 5763, February, 1994.  
BibTex  x  
@article{ 10.1109/69.273025, author = {T.J. Weigert and J.J.P. Tsai}, title = {A Computationally Tractable Nonmonotonic Logic}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {6}, number = {1}, issn = {10414347}, year = {1994}, pages = {5763}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.273025}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  A Computationally Tractable Nonmonotonic Logic IS  1 SN  10414347 SP57 EP63 EPD  5763 A1  T.J. Weigert, A1  J.J.P. Tsai, PY  1994 KW  nonmonotonic reasoning; logic programming; formal logic; computationally tractable nonmonotonic logic; incomplete information; nonmonotonic reasoning procedures; proof theoretically; semantic characteristics; Herbrand subset; firstorder predicate logic; logic programming; knowledge representation; reasoning VL  6 JA  IEEE Transactions on Knowledge and Data Engineering ER   
Nonmonotonic logic is intended to apply specifically to situations where the initial information is incomplete. Using nonmonotonic reasoning procedures we shall be able to jump to conclusions, but withdraw them later when we gain additional information. A number of nonmonotonic logics have been introduced and widely discussed. Nonmonotonic logics tend to be introduced proof theoretically, and little attention is paid to their semantic characteristics or their computational tractability. We address both of these issues by presenting a nonmonotonic logic for the Herbrand subset of firstorder predicate logic. This nonmonotonic logic is shown to be both sound and complete. Theories formulated in this logic can be executed in logic programming fashion.
[1] K. R. Apt and M. H. van Emden, "Contributions to the theory of logic programming,"JACM, vol. 29, pp. 841862, 1982.
[2] C. L. Chang and R. C. T. Lee,Symbolic Logic and Mechanical Theorem Proving. New York: Academic, 1973.
[3] K. L. Clark, "Negation as failure," inLogic and Databases, H. Gallaire, J. Minker, Eds. New York: Plenum, pp. 293322, 1978.
[4] M. Davis, "The mathematics of nonmonotonic reasoning," Artificial Intell., vol. 13, pp. 7380, 1980.
[5] D. W. Etherington and R. Reiter, "On inheritance hierarchies with exceptions," inProc. 3rd AAAI, Washington, 1983, pp. 104108.
[6] D. W. Etherington, "More on inheritance hierarchies with exceptions," inProc. 6th AAAI. Seattle, 1987, pp. 352357.
[7] D. W. Etherington, "Formalizing nonmonotonic reasoning systems,"Art. Intell., vol. 31, pp. 4185, 1987.
[8] M. Gelfond and V. Lifschitz, "Compiling circumscriptive theories into logic programs," inProc. 2nd Int. Workshop Nonmonotonic Reasoning, Springer LNAI 346, 1988, pp. 7499.
[9] M.R. Genesereth and N.J. Nilsson,Logical Foundations of Artificial Intelligence, Morgan Kaufmann, San Mateo, Calif., 1987.
[10] M. L. Ginsberg,Readings in Nonmonotonic Reasoning, Palo Alto, CA: Morgan Kaufmann, 1987.
[11] J. Horty, R. H. Thomason, and D. Touretzky, "A skeptical theory of inheritance in nonmonotonic semantic networks," inProc. 6th AAAI, Seattle, 1987, pp. 358363.
[12] J. L. Lassez and M. J. Maher, "Closure and fairness in the semantics of programming logic,"Theoretical Comput. Science, vol. 4, 1985.
[13] V. Lifschitz, "Computing circumscription," inProc. 9th IJCAI, Los Angeles, CA, 1985, pp. 121127.
[14] V. Lifschitz, "Pointwise circumscription," inReadings in Nonmonotonic Reasoning, M. Ginsberg, Ed. Los Altos, CA: Morgan Kaufmann, 1987, pp. 179194.
[15] J. W. Lloyd,Foundations of Logic Programming, New York: Springer, 1984.
[16] J. McCarthy, "Firstorder theories of individual concepts and propositions," inMachine Intelligence, vol. 9, D. Mitchie, Ed. Edinburgh: Univ. Edinburgh Press, 1979.
[17] J. McCarthy, "CircumscriptionA form of nonmonotonic reasoning,"Art. Intell., vol. 13, pp. 2739, 1980.
[18] McCarthy, J., 1986. "Applications of Circumscription to Formalizing Common Sense Knowledge."Artificial Intelligence, April 1986.
[19] D. McDermott and J. Doyle, "Nonmonotonic logic I,"Art. Intell., vol. 13, pp. 2739, 1980.
[20] D. V. McDermott, "Nonmonotonic logic, II: Nonmonotonic modal theories,"J. Ass. Comput. Mach., vol. 29, pp. 3357, 1982.
[21] R. Moore, "Semantical considerations on nonmonotonic logic,"Art. Intell., vol. 25, pp. 7594, 1985.
[22] R. Reiter, "A logic for default reasoning,"Artificial Intell., vol. 13, pp. 81132, 1980.
[23] R. Reiter, "Circumscription implies predicate completion (sometimes)." inProc. 2nd Natl. Conf. Artificial Intell., San Francisco, 1982, pp. 418420.
[24] Y. Shoham, "A semantical approach to nonmonotonic logic," inReadings in Nonmonotonic Reasoning, M. Ginsberg, Ed. Los Altos: Morgan Kaufmann, 1987, pp. 227250.
[25] A. Tarski, "A latticetheoretical fixpoint theorem and its applications,"Pacific J. Math., vol. 5, pp. 285309, 1955.
[26] J. J. P. Tsai, T. Weigert and H. C. Jang, "A hybrid knowledge representation as a basis of requirement specification and analysis,"IEEE Trans. Sofware Eng., vol. 18, no. 12, pp. 10761100. Dec. 1992.
[27] J. J. P. Tsai, T. Weigert and M. Aoyama, "A declarative approach to software requirement specification languages," inProc. IEEE Computer Languages Conf., Oct. 1988, pp. 414421.
[28] J. J.P. Tsai and T. Weigert, "ECLIE: A logicbased requirements language for new software engineering paradigms,"IEE Software Engineering J., vol. 6, pp. 137151, July 1991.
[29] J. J. P. Tsai and T. Weigert,KnowledgeBased Software Development for RealTime Distributed Systems. World Scientific, 1993.
[30] T. Weigert, "A nonmonotonic extension to Hornclause logic," Logical Calculi for Reasoning in the Presence of Uncertainty, Ph.D. dissertation, Dept. of Philosophy, Univ. of Illinois, Chicago, 1990.