Re: [ontolog-forum] Toward Human-Level AI

[Adrian Walker <adriandwalker@xxxxxxxxx>]

Hi All,

John is being modest.  He has not mentioned his excellent introduction to Logic Programming in:

 Adrian Walker, Michael McCord, John F. Sowa and Walter G. Wilson. Knowledge Systems and Prolog. Addison-Wesley ISBN 0-201-52424-4 (Second Edition)

                                     -- Adrian

Internet Business Logic
Online at www.reengineeringllc.com  
Shared use is free, and there are no advertisements

Adrian Walker
Reengineering

On Sun, Jun 8, 2014 at 3:25 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:

I came across a book by Bob Kowalski, who makes a strong argument
for model building as a basis for intelligent systems.  The ideas
are further developments of his work on logic-programming systems.

Kowalski, Robert (2011) Computational Logic and Human Thinking: How
to be Artificially Intelligent, Cambridge: Cambridge University Press.

You can buy it for $44.10 or download an earlier version for free:
http://www.doc.ic.ac.uk/~rak/papers/LPS%20revision.pdf

The papers cited below go into more detail about LP methods for
deriving imperative procedures from declarative statements.

Logic Programming
http://www.doc.ic.ac.uk/~rak/papers/History.pdf

Completeness of a Reactive System Language
http://www.doc.ic.ac.uk/~rak/papers/KELPS%20Completeness.pdf

Reactive Computing as Model Generation
http://www.doc.ic.ac.uk/~rak/papers/LPS%20revision.pdf

See below for excerpts from each of these sources.

John
_________________________________________________________________________

 From the book:

Although the applications of Computational Logic in AI require the
use of mathematical notation, its human applications do not. As a
consequence, I have written the main part of this book informally,
to reach as wide an audience as possible. Because human thinking
is also the subject of study in many other fields, I have drawn upon
related studies in Cognitive Psychology, Linguistics, Philosophy,
Law, Management Science and English Composition.

In fact, the variant of Computational logic presented in this book
builds not only upon developments of logic in AI, but also upon many
other complementary and competing knowledge representation and problem
solving paradigms. In particular, it incorporates procedural representa-
tions of knowledge from AI and Computing, production systems from AI
and Cognitive Science, and decision analysis from Management Science,
Cognitive Psychology and Philosophy.

 From the article, History.pdf

The driving force behind logic programming is the idea that a single
formalism suffices for both logic and computation, and that logic
subsumes computation.

 From the article, KELP Completeness.pdf

KELPS is a first-order, sorted language, including a special sort
for time.  In the version of KELPS presented in this paper, we assume
that time is linear and discrete, and that the succession of time
points is represented by the ticks of a logical clock.

 From the article, LPS revisions.pdf

In this paper we propose a logic-based framework inspired by artificial
intelligence, but scaled down for practical database and programming
applications.  Computation in the framework is viewed as the task of
generating a sequence of state transitions, with the purpose of making
an agent’s goals all true.

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)