Journal of Logic, Language and Information

, Volume 18, Issue 1, pp 79–95

A Logic of Situated Resource-Bounded Agents


DOI: 10.1007/s10849-008-9073-6

Cite this article as:
Alechina, N. & Logan, B. J of Log Lang and Inf (2009) 18: 79. doi:10.1007/s10849-008-9073-6


We propose a framework for modelling situated resource-bounded agents. The framework is based on an objective ascription of intentional modalities and can be easily tailored to the system we want to model and the properties we wish to specify. As an elaboration of the framework, we introduce a logic, OBA, for describing the observations, beliefs, goals and actions of simple agents, and show that OBA is complete, decidable and has an efficient model checking procedure, allowing properties of agents specified in OBA to be verified using standard theorem proving or model checking techniques.


AgentsBelief ascriptionVerification

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  1. 1.School of Computer ScienceUniversity of NottinghamNottinghamUK