Practical Reasoning with Procedural Knowledge ( A LOGIC OF BDI AGENTS WITH KNOW-HOW )

@inproceedings{Wooldridge1996PracticalRW,
  title={Practical Reasoning with Procedural Knowledge ( A LOGIC OF BDI AGENTS WITH KNOW-HOW )},
  author={Michael Wooldridge},
  year={1996}
}
In this paper, we present a new logic for specifying the behav iour of multi-agent systems. In this logic, agents are viewed as BDI systems, in that their state is characterised in terms of beliefs, desires, and intentions: the semantics of the BDI component of the logic are based on the well-known s ystem of Rao and Georgeff. In addition, agents have… CONTINUE READING