This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.
This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.
Dr Michael Gelfond is a Professor of Computer Science at Texas Tech University. He received his PhD from the Steklov Institute of Mathematics of the Academy of Sciences, St Petersburg, Russia. He is an AAA Fellow and serves as an Area Editor for the International Journal of Theory and Practice of Logic Programming and as an Executive Editor of the Journal of Logic and Computation. In 2004 and 2012 he was the recipient of the award for most influential paper in twenty years by the International Association of Logic Programming.
Inhaltsangabe
1. Logic-based approach to agent design 2. Answer set Prolog (ASP) 3. Roots of ASP 4. Creating a knowledge base 5. Representing defaults 6. The answer set programming paradigm 7. Algorithms for computing answer sets 8. Modeling dynamic domains 9. Planning agents 10. Diagnostic agents 11. Probabilistic reasoning 12. The Prolog programming language.
