nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

8. Dynamic Systems

verfasst von : Vladimir Lifschitz

Erschienen in: Answer Set Programming

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Answer set programming has important applications to the study of dynamic systems—systems whose states can be changed by performing actions. It can be used, for instance, to predict and to plan. In a prediction problem, the task is to determine how the current state of a dynamic system will change after executing a given sequence of actions. In a planning problem, the task is to find a sequence of actions that leads a dynamic system from a given initial state to a goal state.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel More About the Language of clingo

Nächstes Kapitel Conclusion

11.

Michael Bartholomew and Joohyung Lee. Stable models of formulas with intensional functions. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning, pages 2–12, 2012.

28.

Yannis Dimopoulos, Bernhard Nebel, and Jana Koehler. Encoding planning problems in non-monotonic logic programs. In Sam Steel and Rachid Alami, editors, Proceedings of European Conference on Planning, pages 169–181. Springer, 1997.

39.

Richard Fikes and Nils Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3–4):189–208, 1971.CrossRef

54.

Michael Gelfond and Vladimir Lifschitz. Representing actions in extended logic programming. In Krzysztof Apt, editor, Proceedings Joint International Conference and Symp. on Logic Programming, pages 559–573, 1992.

59.

Cordell Green. Application of theorem proving to problem solving. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pages 219–240, 1969.

60.

Steve Hanks and Drew McDermott. Default reasoning, nonmonotonic logics, and the frame problem. In Proceedings of National Conference on Artificial Intelligence (AAAI), 1986.

61.

Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379–412, 1987.MathSciNetCrossRef

70.

Henry Kautz and Bart Selman. Planning as satisfiability. In Proceedings of European Conference on Artificial Intelligence (ECAI), pages 359–363, 1992.

74.

Gottfried Wilhelm Leibniz. Philosophical Writings. Everyman, 1995.

80.

Vladimir Lifschitz. The dramatic true story of the frame default. Journal of Philosophical Logic, 44(2):163–176, 2015.MathSciNetCrossRef

90.

John McCarthy. Programs with common sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pages 75–91, London, 1959. Reproduced in [93].

92.

John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26(3):89–116, 1986.MathSciNetCrossRef

94.

John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463–502. Edinburgh University Press, Edinburgh, 1969.

100.

Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry. An A-Prolog decision support system for the Space Shuttle. In Proceedings of International Symposium on Practical Aspects of Declarative Languages (PADL), pages 169–183, 2001.

103.

Edwin Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Ronald Brachman, Hector Levesque, and Raymond Reiter, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 324–332, 1989.

107.

Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.MathSciNetCrossRef

108.

Alan Robinson. A machine-oriented logic based on the resolution principle. Journal of ACM, 12:23–41, 1965.MathSciNetCrossRef

115.

V.S. Subrahmanian and Carlo Zaniolo. Relating stable models and AI planning domains. In Proceedings of International Conference on Logic Programming, pages 233–247, 1995.

Titel: Dynamic Systems
verfasst von: Vladimir Lifschitz
Verlag: Springer International Publishing
Buch: Answer Set Programming
Print ISBN: 978-3-030-24657-0

Electronic ISBN: 978-3-030-24658-7

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-24658-7_8

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner