Abstract
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit negation, and partial-order clauses. We show how these concepts are integrated in a natural way into the standard logic programming framework. For this purpose, we present several well known examples from the literature that motivate the need of this new paradigm. Finally, we define a declarative semantics for HLNM reasoning.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Pontelli, E., Dovier, A., Omodeo, E.G., Rossi, G.: log: A logic programming language with finite sets. In: Proc. 8th International Conference of Logic Programming, Paris, June 1991, pp. 111–124 (1991)
Abiteboul, S., Grumbach, S.: A rule-based language with functions and sets. ACM Transactions on Database Systems 16(1), 1–30 (1991)
Alferes, J.J., Pereira, L.M. (eds.): Reasoning with Logic Programming. LNCS (LNAI), vol. 1111. Springer, Heidelberg (1996)
Baral, C., Gelfond, M.: Logic Programming and Knowlege Representation. Journal of Logic Programming 19-20, 73–148 (1994)
Brass, S., Dix, J.: Extended abstract appeared in: Characterizations of the Stable Semantics by Partial Evaluation. In: Marek, V.W., Truszczyński, M., Nerode, A. (eds.) LPNMR 1995. LNCS, vol. 928, pp. 85–98. Springer, Heidelberg (1995)
Brass, S., Dix, J.: Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. JELIA 1996 20(1), 143–165 (1998); Extended abstract appeared in: Characterizing D-WFS: Confluence and Iterated GCWA in Orłowska, E., Alferes, J.J., Moniz Pereira, L. (eds.): JELIA 1996. LNCS, vol. 1126, pp. 143–165. Springer, Heidelberg (1996)
Brewka, G., Dix, J.: Knowledge representation with logic programs. Technical report, Tutorial Notes of the 12th European Conference on Artificial Intelligence ECAI 1996(1996). Also appeared as Technical Report 15/96, Dept. of CS of the University of Koblenz-Landau, Will appear as in Handbook of Philosophical Logic, 2nd edn.,Ch 6, Volume 6, Methodologies (1996)
Baral, C., Son, T.C.: Formalizing sensing actions: a transition function based approach. In: Cognitive Robotics Workshop of AAAI Fall Symposium, pp. 13–20 (1998)
Dix, J.: The Logic Programming Paradigm. AI Communications 11(3), 39–43 (1998) ; Short version in Newsletter of ALP 11(3), 10–14 (1998)
Dix, J., Osorio, M., Zepeda, C.: A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications. Annals of Pure and Applied Logic (2000) (submitted)
Dix, J., Stolzenburg, F.: A Framework to incorporate Nonmonotonic Reasoning into Constraint Logic Programming. Journal of Logic Programming 37(1,2,3), 47–76 (1998); Marriott, K., Stuckey, P.(eds.): Special Issue on Constraint Logic Programming.
Greco, S., Ganguly, G., Zaniolo, C.: Minimum and maximum predicates in logic programs. In: Proceedings of the ACM Symposium on Principles of Database Systems, pp. 154–160 (1991)
Van Gelder, A.: The well-founded semantics of aggregation. In: Proc. ACM 11th Principles of Database Systems, San Diego, pp. 127–138 (1992)
Jana, D., Jayaraman, B.: Set constructors, finite sets, and logical semantics. Journal of Logic Programming 38(1), 55–77 (1999)
Jayaramanand, B., Moon, K.: Subset logic programs and their implementation. Journal of Logic Programming (1999) (to appear)
Dix, J., Arrazola, J., Osorio, M.: Confluent rewriting systems in non-monotonic reasoning. Computacion y Sistemas II(2-3), 104–123 (1999)
Kowalski, R.: Logic for problem solving. North Holland Publishing Company, Amsterdam (1979)
Kowalski, R., Toni, F.: Abstract Argumentation. Artificial Intelligence and Law Journal, 275–296 (September 1996)
Kuper, G.M.: Logic programming with sets. JCSS 41(1), 44–64 (1990)
Liu, M.: Relationlog: A Typed Extension to Datalog with Sets and Tuples. In: Lloyd, J., Tick, E. (eds.) Proceedings of the 1995 Int. Symposium on Logic Programming, pp. 83–97. MIT, Cambridge (1995)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)
Jayaraman, B., Osorio, M., Nieves, J.C.: Declarative pruning in a functional query language. In: De Schreye, D. (ed.) Proceedings of the International Conference on Logic Programming, pp. 588–602. MIT Press, Cambridge (1999)
Jayaraman, B., Osorio, M., Plaisted, D.: Theory of partial-order programming. Science of Computer Programming 34(3), 207–238 (1999)
Mendelson, E.: Introduction Mathematical logic, 3rd edn. Wasdworth and Brooks/Cole Advanced Books and Software, United Stated (1987)
Osorio, M.: Semantics of partial-order programs. In: Dix, J., Fariñas del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol. 1489, pp. 47–61. Springer, Heidelberg (1998)
Osorio, M., Jayaraman, B.: Aggregation and negation-as-failure. New generation computing 17(3), 255–284 (1999)
Osorio, M., Nieves, J.C.: Extended partial-order logic programming. In: Rossi, G., Jayaraman, B. (eds.) Proceedings of the Workshop on Declarative Programming with Sets, Paris, France, pp. 19–26 (1999)
Osorio, M., Saucedo, E.: Aplicación de wfsx en el campo de la botánica. In: Proceedings of II Encuentro Nacional de Computación, Mexico (1999)
Osorio, M., Zacarias, F.: High-level logic programming. In: Schewe, K.-D., Thalheim, B. (eds.) FoIKS 2000. LNCS, vol. 1762, pp. 226–240. Springer, Heidelberg (2000)
Ross, K.: Modular stratification and magic sets for datalog programs with negation. Journal of the ACM 41(6), 1216–1266 (1994)
Ross, K.A., Sagiv, Y.: Monotonic aggregation in deductive databases. In: Proc. 11th ACM Symp. on Principles of Database Systems, San Diego, pp. 114–126 (1992)
Van Gelder, A.: The Well-Founded Semantics of aggregation. In: Proc. of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, USA, pp. 127–138. ACM Press, New York (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Osorio, M., Nieves, J.C., Zacarias, F., Saucedo, E. (2000). Knowledge Representation Using High-Level Non-monotonic Reasoning. In: Cairó, O., Sucar, L.E., Cantu, F.J. (eds) MICAI 2000: Advances in Artificial Intelligence. MICAI 2000. Lecture Notes in Computer Science(), vol 1793. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720076_2
Download citation
DOI: https://doi.org/10.1007/10720076_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67354-5
Online ISBN: 978-3-540-45562-2
eBook Packages: Springer Book Archive