Logic for Problem Solving, Revisited PDF ePub eBook

Books Info:

Logic for Problem Solving, Revisited free pdf This seminal book of Computer Science is the most cited reference on the subject of programming in logic. Originally published in 1979, this now classic text was the first comprehensive attempt to define the scope of logic for problem solving. In this extended edition, Robert Kowalski revisits his classic text in the light of subsequent developments in a substantial commentary of fifty pages. This work investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be appropriate therefore as an introduction to logic, the theory of problem-solving, and computer programming. At the focal point is Computational Logic. It centers around the famous slogan: Algorithm = Logic Control, which was coined by the author and is explained in this book. According to this view, an algorithm consists of a problem description (the logic part) and a strategy to perform useful computations on this description (the control part). This separation of concerns ideally leads to declarative programs that are simple to develop, clear to understand and easy to maintain.

About Robert Kowalski

Robert Kowalski is a logician and computer scientist. He studied at the University of Chicago, University of Bridgeport (BA in mathematics), Stanford University (MSc in mathematics), University of Warsaw and the University of Edinburgh (PhD in computer science). He was a research fellow at the University of Edinburgh and has been at Imperial College London since 1975, attaining a chair in Computational Logic in 1982 and becoming Emeritus Professor in 1999. He was inducted as a Fellow of the American Association for Artificial Intelligence in 1991, of the European Coordinating Committee for Artificial Intelligence in 1999, and of the Association for Computing Machinery in 2001. He began his research in the field of automated theorem proving, developing both SL-resolution with Donald Kuehner and the connection graph proof procedure. However, he is best known for his contributions to the development of logic programming, starting with the procedural interpretation of Horn clauses. He also developed the minimal model and the fixpoint semantics of Horn clauses with Maarten van Emden. With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning. With Fariba Sadri, he developed an agent model in which beliefs are represented by logic programs and goals are represented by integrity constraints. Kowalski was one of the early developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates. This work led to the demonstration with Phan Minh Dung and Francesca Toni that most logics for default reasoning can be regarded as special cases of assumption-based argumentation.

Details Book

Author : Robert Kowalski
Publisher : Books on Demand
Data Published : 18 November 2014
ISBN : 3837036294
EAN : 9783837036299
Format Book : PDF, Epub, DOCx, TXT
Number of Pages : 346 pages
Age + : 15 years
Language : English
Rating :

Reviews Logic for Problem Solving, Revisited



17 Comments Add a comment




Related eBooks Download


  • An Introduction to Logic free pdfAn Introduction to Logic

    Written for independent study and suitable for an introductory course in logic. this classic text combines a sound presentation of logic with effective pedagogy and illustrates the role of logic in many areas of humanistic and scientific thought..


  • The Power of Logic free pdfThe Power of Logic

    This fifth edition of The Power of Logic offers an introduction to informal logic. traditional categorical logic. and modern symbolic logic. The authors' direct and accessible writing style..


  • Temporal Logic free pdfTemporal Logic

    This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic. one of the most important areas of logic in computer science. The book. which consists of fifteen chapters..


  • Interactive Logic free pdfInteractive Logic

    Traditionally. logic has dealt with notions of truth and reasoning. In the past several decades. however. research focus in logic has shifted to the vast field of interactive logic - the domain of logic for both communication and interaction..


  • Alpuk92  :  Proceedings of the 4th UK Conference on Logic Programming, Lond ... free pdfAlpuk92 : Proceedings of the 4th UK Conference on Logic Programming, Lond ...

    Since its conception nearly 20 years ago. logic programming has been developed to the point where it now plays an important role in areas such as database theory..


  • Logic for Problem Solving, Revisited free pdfLogic for Problem Solving, Revisited

    . This seminal book of Computer Science is the most cited reference on the subject of programming in logic. Originally published in 1979, this now classic text was the first comprehensive attempt to d