Lyt når som helst, hvor som helst

Nyd den ubegrænsede adgang til tusindvis af spændende e- og lydbøger - helt gratis

  • Lyt og læs så meget du har lyst til
  • Opdag et kæmpe bibliotek fyldt med fortællinger
  • Eksklusive titler + Mofibo Originals
  • Opsig når som helst
Start tilbuddet
DK - Details page - Device banner - 894x1036

Declarative Logic Programming: Theory, Systems, and Applications

1 Bedømmelse

5

Serie

1 af 65

Sprog
Engelsk
Format
Kategori

Fakta

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.

Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of "what" to do rather than "how" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically.

Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling.

For systems, the situation is even less satisfactory, lacking accessible literature that can help train the new crop of developers, practitioners, and researchers. There are a few guides onWarren’s Abstract Machine (WAM), which underlies most implementations of Prolog, but very little exists on what is needed for constructing a state-of-the-art declarative LP inference engine. Contrast this with the literature on, say, Compilers, where one can first study a book on the general principles and algorithms and then dive in the particulars of a specific compiler. Such resources greatly facilitate the ability to start making meaningful contributions quickly. There is also a dearth of articles about systems that support truly declarative languages, especially those that tie into first-order logic, mathematical programming, and constraint solving.

LP helps solve challenging problems in a wide range of application areas, but in-depth analysis of their connection with LP language abstractions and LP implementation methods is lacking. Also, rare are surveys of challenging application areas of LP, such as Bioinformatics, Natural Language Processing, Verification, and Planning.

The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.

© 2018 ACM Books (E-bog): 9781970001983

Udgivelsesdato

E-bog: 19. september 2018

Tags

    Andre kan også lide...

    1. Mastering AI for Healthcare Nilashis Roy
    2. Kickstart Artificial Intelligence Fundamentals Dr. S.Mahesh Anand
    3. The Unpredictable Species: What Makes Humans Unique Philip Lieberman
    4. What Makes Us Smart: The Computational Logic of Human Cognition Samuel J. Gershman
    5. Naive Pessimists : Meet the naysayers who thrive on doom, hog the spotlight — and get almost everything wrong Ulrika Gerth
    6. When People Matter: the Federal Express Story Roger Frock
    7. Audacious Generosity: How to Experience, Receive, and Give More Than You Ever Thought Possible Kevin White
    8. Buddhism in a Value-changing Society P. D. Premasiri
    9. The 50 Greatest Engineers: The People Whose Innovations Have Shaped Our World William Potter
    10. At this college, academic excellence requires passion for the social good PBS NewsHour
    11. DNA Is Not Destiny: The Remarkable, Completely Misunderstood Relationship between You and Your Genes Steven J. Heine
    12. Hidden Worldviews: Eight Cultural Stories That Shape Our Lives Steve Wilkens
    13. Survival of the Virtuous: The Evolution of Moral Psychology Dennis L. Krebs
    14. Anatomy of Froth Swapnil Pawar
    15. Summing It Up: From One Plus One to Modern Number Theory Avner Ash
    16. Benford's Law: Theory and Applications Steven J. Miller
    17. Astrotopia: The Dangerous Religion of the Corporate Space Race Mary-Jane Rubenstein
    18. The Planet You Inherit: Letters to My Grandchildren when Uncertainty's a Sure Thing Larry L. Rasmussen
    19. How the World Sees America Mark Hertsgaard
    20. Made to Measure: New Materials for the 21st Century Philip De Greff Ball
    21. Rules of Reason: Making and Evaluating Claims Bo Bennett, PhD
    22. The Logic of Social Science James Mahoney
    23. Connections: An Introduction to the Economics of Networks Sanjeev Goyal
    24. Searcher Reaches Land's Limits, Volume I: A Commentary on Revelations of Mind Richard Dixey
    25. On Purpose Michael Ruse
    26. Cycling - Philosophy for Everyone: A Philosophical Tour de Force Lennard Zinn
    27. Drama Box and the Social Theatre of Singapore: Cultural Intervention and Artistic Autonomy, 1990–2006 How Wee Ng
    28. Patterns Everywhere Lisa Varchol Perron
    29. The empty and desolate consciousness Lawrence Pih
    30. Hybrid Church: The Fusion of Intimacy and Impact Dave Browning
    31. The Philosophical Stage: Drama and Dialectic in Classical Athens Joshua Billings
    32. The Theory Of The Kingdom: A unified model of human agency Andrew A. Root
    33. Fighting for Status: Hierarchy and Conflict in World Politics Jonathan Renshon
    34. Summary of William H. McRaven's Sea Stories IRB Media
    35. China's Urban Champions: The Politics of Spatial Development Kyle A. Jaros

    Vælg dit abonnement

    • Over 600.000 titler

    • Download og nyd titler offline

    • Eksklusive titler + Mofibo Originals

    • Børnevenligt miljø (Kids Mode)

    • Det er nemt at opsige når som helst

    Flex

    For dig som vil prøve Mofibo.

    89 kr. /måned
    • 1 konto

    • 20 timer/måned

    • Gem op til 100 ubrugte timer

    • Eksklusivt indhold hver uge

    • Fri lytning til podcasts

    • Ingen binding

    Prøv gratis
    Den mest populære

    Premium

    For dig som lytter og læser ofte.

    129 kr. /måned
    • 1 konto

    • 100 timer/måned

    • Eksklusivt indhold hver uge

    • Fri lytning til podcasts

    • Ingen binding

    Start tilbuddet

    Unlimited

    For dig som lytter og læser ubegrænset.

    149 kr. /måned
    • 1 konto

    • Ubegrænset adgang

    • Eksklusivt indhold hver uge

    • Fri lytning til podcasts

    • Ingen binding

    Start tilbuddet

    Family

    For dig som ønsker at dele historier med familien.

    Fra 179 kr. /måned
    • 2-6 konti

    • 100 timer/måned pr. konto

    • Fri lytning til podcasts

    • Kun 39 kr. pr. ekstra konto

    • Ingen binding

    2 konti

    179 kr. /måned
    Start tilbuddet