simply-logical - Simply Logical – Intelligent Reasoning by Example (Fully Interactive Online Edition)

This release marks a transition to Jupyter Book and sphinx-prolog.

Read more about the Fully Interactive Online Edition of Simply Logical here.

- Prolog
Published by So-Cool over 3 years ago

simply-logical - Simply Logical online

This is the first release of "Simply Logical: Intelligent Reasoning by Example" that is online-only. The book is available at Book.Simply-Logical.space. Last PDF release is v1.0.

- Prolog
Published by So-Cool almost 8 years ago

simply-logical - Simply Logical: Intelligent Reasoning by Example PDF

Simply Logical

Intelligent Reasoning by Example

by Peter Flach, then at Tilburg University, the Netherlands John Wiley 1994, xvi + 240 pages, ISBN 0471 94152 2 Reprinted: December 1994, July 1998.

This book is no longer available through John Wiley publishers. You can download a free PDF copy here. The PDF copy has a small number of discrepancies with the print version, including - different page numbers from Part III (p.129) - certain mathematical symbols are not displayed correctly, including - ⊢ displayed as | - ⊬ displayed as |;/ - ⊨ displayed as = - ⊭ displayed as =;/ - the index is currently missing

I am working on fixing these.

Errata

The following minor errors have all been corrected in the December 1994 reprint: - p.121: the variable Pos in the definition of goal/2 should read LastMove, and eval/2 should be defined as eval(m(P,Pos,C),Value):-bLeftOfw(Pos,Value); - p.121, bottom: the query should be ?-tiles(M,C) rather than ?-tiles([b,b,b,e,w,w,w],M,C); - p.175, top: "Note that this atom theta-subsumes every other possible generalisation..." -- this should be "is theta-subsumed by..."; - p.219, answer to exercise 3.3: "adding a cut at the end of the second clause has no effect, while placing it just before the literal student_of(S,T) will only prune the answer..." -- this is actually just the other way around (the bottom-right figure is also wrong).

- Prolog
Published by So-Cool over 10 years ago