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, another is that it uses a more expressive typed and higher order logic and functional language QuLog for the rule guard queries to the agent’s Belief Store.  QuLog is described in Chapter 3. Chapter 5 is a formal state transition semantics for his language.

We thank Ronan Nugent, Springer Senior Editor, for permission to make the fist six chapters of the book freely available.

Keith Clark (klc at imperial.ac.uk) and Peter Robinson (pjr at itee.uq.edu.au)

Comments are closed.