Update of six chapters of book on TR and extensions

Here  available the first five chapters of the book “Programming Co-operating Robotic Agents: A Teleo-Reactive Rule Based Approach” which will be published in 2017 by Springer. The five chapters are an introduction to Teleo-Reactive programming using the rule form and actions originally proposed by Nils Nilsson.  One difference is that TeleoR language of the book is typed and higher order,...

Read More

Slides introducing TeleoR

Here are the slides [slides] of a talk by Keith Clark introducing TR programming concepts and various extensions  as embedded in the derivative language TeleoR, which he has developed with Peter Robinson at the University of Queensland.  Keith has given the talk many times and is happy to answer questions on the slides (klc at doc.ic.ac.uk). He is an enthusiast for the TR approach to programming...

Read More

Teleo-Reactive Programs and Models of Animal Behavior

My work on TR programs was partially inspired by the “Tote Units‚” of Miller, Galanter, and Pribram who proposed them as a model of behavior.  I was also aware of the work on animal behavior by ethologists, such as Nicholas Tinbergen and Konrad Lorenz.  Could TR programs serve as a model of some aspects of animal behavior? In my 1998 AI textbook, Artificial Intelligence: A New Synthesis, I...

Read More

New web site (by Nils Nilsson)

After retiring from my Stanford career, I had thought that work on teleo-reactive (TR) programs had essentially ended.  I was pleasantly surprised, however, when I heard from Keith Clark that he and Peter Robinson were working on a book describing their systems TeleoR (the action execution language) and QuLog (the dynamic belief store) that greatly extended the power of my original TR...

Read More