  Ultimately, what is needed is a model of an intelligent reasoning and acting agent. Developing such a model need not be entirely a matter of logic, but according to one school of thought, logic has a central role to play in it; see, for instance,  Baral &amp; Gelfond 2000,  Wobcke et al. 1998,  Rao &amp; Georgeff 1991,  Burkhard et al. 1998).