Logic for Problem Solving (Artificial intelligence series)

Logic for Problem Solving (Artificial intelligence series), 9780444003652 (0444003657), Elsevier Limited, 1979

Logic is an important tool in the analysis and presentation of arguments. It investigates whether assumptions imply conclusions, independently of their truth or falsity and independently of their subject matter. This book aims to apply the traditional methods of logic to contemporary theories of problem-solving and computer programming.

As an introduction to logic, the book differs from others in its use of the clausal form of logic. This has several advantages. Clausal form is simpler than the standard form of logic but is just as powerful. It is simple enough to be introduced directly, without the usual preliminary study of propositional logic, and it bears greater resemblance than standard form to other formalisms used in data processing and computer programming.

This book is not concerned with the mathematics of logic but with its applications. For an interesting and more thorough discussion of the relationships between logic and language the reader is advised to consult the books by Quine [1941] and Hodges [1977].

Comments

Amazing Books

Mastering PyCharm

Packt Publishing, 2015

Use PyCharm with fluid efficiency to write idiomatic python code

About This Book

Understand how PyCharm works and how you can leverage its strength to develop applications quickly

Master PyCharm's editor to get a fast workflow

Full of examples and illustrations that...

Practical Software Factories in .NET

Apress, 2006

The promise of Software Factories is to streamline and automate software development-and thus to produce higher-quality software more efficiently. The key idea is to promote systematic reuse at all levels and exploit economies of scope, which translates into concrete savings in planning, development, and maintenance efforts. However, the theory...

Robotics: Designing the Mechanisms for Automated Machinery

Academic Press, 1999

Robotics, Second Edition is an essential addition to the toolbox of any engineer or hobbyist involved in the design of any type of robot or automated mechanical system. It is the only book available that takes the reader through a step-by step design process in this rapidly advancing specialty area of machine design.
...

The Treatment of Glomerulonephritis (Developments in Nephrology)

Springer, 1999

Glomerulonephritis is one of the commonest causes of end-stage renal failure worldwide. Although there have been considerable advances in the management of renal failure by dialysis and transplantation, there has been relatively little progress in its prevention. This volume sets out to review current practice in the treatment of...

Essential Windows NT System Administration

O'Reilly, 1998

Windows NT systems are often said to "manage themselves." This book is for those times when things don't quite work out that way, when somebody who knows what's going on needs to intervene.Essential Windows NT System Administration helps you manage Windows NT systems as productively as possible, making the...

Tricks of the Microsoft Office Gurus (Business Solutions)

Que, 2005

We all have those "go-to" people in our lives. The one you go-to for advice, the one you go-to for comfort, the one you go-to with technical questions...now you can be the one that others go-to for help with Microsoft Office 2003. Tricks of the Microsoft Office Gurus is full of exclusive tricks from Paul McFedries, an Office...