Kontakt
Prof. Dr. Stefan Brass
Telefon: 0345/55-24740
Telefon: 0345/55-24750
brass@informatik.uni-halle.de
Raum 313
Von-Seckendorff-Platz 1
06120 Halle (Saale)
Login für Redakteure
Nichtmonotone Negation in der logischen Programmierung
Klassische Logik ist monoton: Wenn man mehr Voraussetzungen hat, kann man auch mehr folgern. Für die praktische Wissensrepräsentation ist das eher unpraktisch, weil man dann auch negatives Wissen explizit aufschreiben muss. In der logischen Programmierung wird "Negation as Failure" verwendet, d.h., was nicht herleitbar ist, gilt nicht. Man muss dann nur das positive Wissen aufschreiben. Im Einzelnen ist die Semantik aber kompliziert, und es enstehen Möglichkeiten für Widersprüche. In der Literatur wurde eine große Zahl von Semantiken vorgeschlagen, am bekanntesten die wohlfundierte Semantik und die "stabile Modelle" Semantik. Wir konnten diese Semantiken über Eigenschaften charakterisieren, insbesondere über elementare Transformationen, die die Semantik nicht verändern sollen. Das kann auch nützlich für eine effiziente Berechnung sein.
Publikationen
- S. Brass: Beginnings of a Theory of General Database Completions. In S. Abiteboul, P. C. Kanellakis (eds.), ICDT'90 - Third International Conference on Database Theory, Lecture Notes in Computer Science 470, Springer-Verlag, Berlin, 1990, 349-363.
- S. Brass, J. Dix: A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. M. Pereira, T. Przymusinski (eds.), Nonmonotonic Extensions of Logic Programming, LNAI 927, Springer, 1995, 127-155.
- S. Brass, J. Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In L. Sterling (ed.), Twelfth International Conference on Logic Programming (ICLP'95), MIT Press, 1995, 199-213.
- S. Brass, J. Dix: Characterizations of the Stable Semantics by Partial Evaluation. In A. Nerode (ed.), Logic Programming and Nonmonotonic Reasoning (LP&NMR'95), LNCS 928, Springer, 1995, 85-98.
- S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. In L.C. Aiello, J. Doyle, S.C. Shapiro (eds.), Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 529-541, Morgan Kaufmann, 1996.
- S. Brass, J. Dix: Characterizing D-WFS: Confluence and iterated GCWA. In J.J. Alferes, L.M. Pereira, E. Orlowska (eds.), Logics in Artificial Intelligence, European Workshop (JELIA'96), 268-283, LNAI 1126, Springer, 1996.
- S. Brass, J. Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. The Journal of Logic Programming 32:3 (1997), 207-228.
- S. Brass, U. Zukowski, B. Freitag: Transformation-Based Bottom-Up Computation of the Well-Founded Model. In J. Dix, L.M. Pereira, T.C. Przymusinski (eds.), Non-Monotonic Extensions of Logic Programming (NMELP'96), 171-201, Springer, LNAI 1216, 1997.
- U. Zukowski, S. Brass, B. Freitag: Improving the Alternating Fixpoint: The Transformation Approach. In: A. Nerode (ed.), 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), 40-59, Springer, LNCS/LNAI 1265, 1997.
- S. Brass, J. Dix: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning, Volume 20, Number 1/2, 143-164, April 1998.
- S. Brass, J. Dix, I. Niemelä, T. C. Przymusinski: A Comparison of the Static and the Disjunctive Well-founded Semantics. In: A. G. Cohn, L. K. Schubert, S. C. Shapiro (eds), Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 74-85, Morgan Kaufmann 1998.
- S. Brass, J. Dix: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation. The Journal of Logic Programming 40:1, 1999, 1-46.
- S. Brass, J. Dix, T. C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Journal of Artificial Intelligence , Volumne 112, No. 1-2, 1999.
- S. Brass, J. Dix, I. Niemelä, T. C. Przymusinski: On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation. Journal of Theoretical Computer Science 258, (1-2): 523-553 (2001).
- S. Brass, J. Dix, B. Freitag, U. Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model. Theory and Practice of Logic Programming (TPLP) 1(5): 497-538 (2001).
- S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. ACM Trans. Computational Logic 5(1): 129-176 (2004)