Real-time control of attention and behavior in a logical framework

Ian D Horswill*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation maps naturally into feed-forward parallel networks or can be implemented on stock hardware using bit-mask instructions. The representation has `circuit-semantics' (Rosenschein and Kaelbling 1986)(Nilsson 1994), but can efficiently represent propositions containing modals and unary predicates and functions. We describe an example using Kluge, a vision-based mobile robot, programmed to perform a fetch-and-deliver task.

Original languageEnglish (US)
Title of host publicationProceedings of the International Conference on Autonomous Agents
EditorsW.L. Johnson
Pages130-137
Number of pages8
StatePublished - Jan 1 1997
EventProceedings of the 1997 1st International Conference on Autonomous Agents - Marina del Rey, CA, USA
Duration: Feb 5 1997Feb 8 1997

Other

OtherProceedings of the 1997 1st International Conference on Autonomous Agents
CityMarina del Rey, CA, USA
Period2/5/972/8/97

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Real-time control of attention and behavior in a logical framework'. Together they form a unique fingerprint.

Cite this