Agent deliberation in an executable temporal framework

Abstract

Autonomous agents are not so difficult to construct. Constructing autonomous agents that will work as required is much harder. A clear way in which we can design and analyze autonomous systems so that we can be more confident that their behaviour is as required is to use formal methods. These can, in principle, allow us to exactly specify the behaviour of… (More)
DOI: 10.1016/j.jal.2011.09.004

Topics

1 Figure or Table

Cite this paper

@article{Fisher2011AgentDI, title={Agent deliberation in an executable temporal framework}, author={Michael Fisher}, journal={J. Applied Logic}, year={2011}, volume={9}, pages={223-238} }