Abstract
Wir stellen mit zeitbeschränkter logischer Programmierung ein neues Modell für logisches Programmieren vor, das eine explizite Behandlung der Herleitungszeit im logischen Ableitungsprozeß beinhaltet. In diesem Modell garantiert der Herleitungsmechanismus, daß eine Antwort (positiv oder negativ) nach einer vorgegebenen Zeit erfolgt Diese Zeitschranke beeinfluBt den Ablauf des logischen Programms. Wir beschreiben Anwendungsgebiete dieser neuen Methode, geben Definitionen der Konzepte und eine Implementierungstechnik mit einem einfachen Metainterpreter. Probleme der Zeitaufteilung werden diskutiert, Erweiterungsmöglichkeiten und offene Probleme.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
J. F. Allen: Towards a General Theory of Action and Time, Artificial Intelligence 23 (1984), 123–154
T. Amble: Logic Programming and Knowledge Engineering, Addison-Wesley, 1987
K. A. Bowen: Meta-Level Programming and Knowledge Represenation, New Generation Computing, 3 (1985) pp 359–383
I. Bratko: Prolog Programming for Artificial Intelligence, Addison-Wesley, 1986
Clark, Gregory 84] K. Clark, S. Gregory: Parlog: Parallel Programming in Logic, Research Report DOC 84/4, Imperial College, London, April 84 (revised June 85).
W.F. Clocksin, C.S. Mellish: Programming in Prolog, 2nd ed., Springer, 1984
S. K. Debray, D. S. Warren, Automatic Mode Inference for Logic Programs, The Journal of Logic Programming 1988, Vol. 5, pp. 207–229
M. R. Genesereth: An Overview of Meta-Level Architecture, Proc. AAAI-83, 119–124, 1983
M.R. Genesereth, N. J. Nilsson: Logical Foundations of Artificial Intelligence, Morgan Kaufman Publishers, 1987
J. Jaffar, J.-L. Lassez: Constraint Logic Programming, Proceedings of the Conf. on Principles of Prog. Lang., Munich, 1987
J. W. Lloyd: Foundations of Logic Programming, Springer, 1987
C. S. Mellish: The Automatic Generation of Mode Delcarations for Prolog Programs, DAI Research Paper 163, Univ. of Edinburgh, Dept. of Al, Aug. 1981
P. Maes, D. Nardi (ed.): Meta-level Architectures and Reflection, North-Holland, 1988
L. Naish: Negation and Control in Prolog, Lecture Notes in Computer Science, 238, Springer, 1985
G. Neumann: Metaprogrammierung und Prolog, Addison-Wesley, 1988
E. Shapiro: Concurrent Prolog: A Progress Report, in: W. Bibel, Ph. Jorrand (eds.), Fundamentals of Artificial Intelligence, Springer-Verlag, 1986
E. Shapiro: Concurrent Prolog, Vol. 1 & 2, MIT Press, 1987
L. Sterling, E. Shapiro: The Art of Prolog, MIT Press, 1986
K. Ueda: Guarded Horn Clauses, ICOT Technical Report TR 103, ICOT, 1986. Also in: Logic Programming’85, E. Wada (ed.), Lecture Notes in Comp. Sc. 221, Springer, 1986
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zell, A. (1989). Zeitbeschränkte Logische Programmierung. In: Retti, J., Leidlmair, K. (eds) 5. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74688-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-74688-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51039-0
Online ISBN: 978-3-642-74688-8
eBook Packages: Springer Book Archive