Reasoning about rational agents

One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents , software that can independently make good decisions about what actions to perform on our behalf and execute those actions. This book focuses on the belief-desire-intention (BDI) model of rational agents, which recognizes the primacy of beliefs, desires, and intensions in rational action. The book introduces a BDI logic called LORA (Logic of Rational Agents).