Preference Logic Grammars: Fixed point semantics and application to data standardization

Artificial Intelligence

Volumn 138, Issue 1-2, 2002, Pages 117-147

  Cui, Baoqiu ^a,c   Swift, Terrance ^b  

^a IBM ALMADEN RESEARCH CENTER   (United States)

^b Stony Brook University   (United States)

^c STONY BROOK UNIVERSITY   (United States)

Author keywords

Logic Programming; Natural language processing; Non monotonic reasoning; Reasoning with preferences; XSB

Indexed keywords

NATURAL LANGUAGE PROCESSING; NON-MONOTONIC REASONING; REASONING WITH PREFERENCES; XSB;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; CONTEXT FREE GRAMMARS; EMBEDDED SYSTEMS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS;

LOGIC PROGRAMMING;

EID: 0345537162     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00185-6     Document Type: Article

References (21)

1. Brewka G. Well-founded semantics for extended logic programs with dynamic preferences. J. Artificial Intelligence Res. 4:1996;19-36.
2. G. Brewka, T. Eiter, Preferred answer sets for extended logic programs, Artificial Intelligence 109 (1999) 297-356. Full version of paper originally published in Proceedings of the 6th Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, 1998, pp. 86-97.
3. G. Brewka, T. Eiter, Preferred answer sets for extended logic programs, Artificial Intelligence 109 (1999) 297-356. Full version of paper originally published in Proceedings of the 6th Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, 1998, pp. 86-97.
4. Delgrande J., Schaub T., Tompits H. Logic programs with compiled preferences. Proc. 8th International Workshop on Non-Motonic Reasoning, Breckenridge, CO. 2000.
5. Gartner J., Swift T., Tien A., Pereira L.M., Damásio C. Psychiatric diagnosis from the viewpoint of computational logic. Lloyd J.W., et al. Proc. International Conference on Computational Logic. Lecture Notes in Artificial Intelligence. 1861:2000;1362-1376 Springer, Berlin.
6. Gelfond M., Son T.C. Reasoning with prioritized defaults. Dix J., Pereira L.M., Przymusinski T.C. Logic Programming and Knowledge Representation, LPKR'97. Lecture Notes in Computer Science. 1471:1998;164-223 Springer, Berlin.
7. Govindarajan K., Jayaraman B., Mantha S. Preference logic programming. Proc. International Conference on Logic Programming, Tokyo. 1995;731-746.
8. Jayaraman B., Govindarajan K., Mantha S. Preference logic grammars. Computer Languages. 24:1998;179-196.
9. Lloyd J.W. Foundations of Logic Programming. 1984;Springer, Berlin.
10. Pereira F.C.N., Warren D.H.D. Parsing as deduction. Proc. 21st Annual Meeting of the Association for Computational Linguistics, Cambridge, MA. 1983;137-144.
11. Przymusinska H., Przymusinski T. Weakly perfect model semantics for logic programs. Proc. Joint International Conference/Symposium on Logic Programming, Seattle, WA. 1988;1106-1120.
12. Przymusinski T. Every logic program has a natural stratification and an iterated least fixed point model. ACM Symp. on Principles of Database Systems, Philadelphia, PA. 1989;11-21 ACM Press.
13. Ramakrishnan I.V., Roychoudhury A., Swift T. A standardization tool for data warehousing. Practical Applications of Prolog. 1997.
14. Sakama C., Inoue K. Represending priorities in logic programs. Proc. Joint International Conference/Symposium on Logic Programming, Bonn, Germany. 1996;82-96.
15. Santos Costa V., Damas L., Reis R., Azevedo R. YAP User's Manual, 2000. http://www.ncc.up.pt/~vsc/Yap.
16. Shieber S., Schabes Y., Pereira F. Principles and implementations of deductive parsing. J. Logic Programming. 24:1995;3-36.
17. Sterling L., Shapiro E. The Art of Prolog. 1986;MIT Press, Cambridge, MA.
18. Swift T. Tabling for non-monotonic programming. Ann. Math. Artificial Intelligence. 25:(3-4):1999;201-240.
19. Swift T., Henderson C., Holberger R., Murphey J., Neham E. CCTIS: An expert transaction processing system. Proc. Sixth Conference on Industrial Applications of Artificial Intelligence. 1994;131-140.
20. The XSB Programmer's Manual: Version 2.4, Vols. 1 and 2, 2001. http://xsb.sourceforge.net.
21. van Gelder A., Ross K., Schlipf J. Unfounded sets and well-founded semantics for general logic programs. J. ACM. 38:(3):1991;620-650.