ITEM VIEW

Model checking rational agents

dc.contributor.authorBordini, Rafael H.
dc.contributor.authorFisher, Michael
dc.contributor.authorWooldridge, Michael
dc.contributor.authorVisser, Willem
dc.date.accessioned2014-04-16T06:44:28Z
dc.date.available2014-04-16T06:44:28Z
dc.date.issued2004-10
dc.identifier.citationBordini, R.H., Fisher, M., Wooldridge, M. & Visser, W. 2004. Model Checking Rational Agents, in Intelligent Systems, IEEE, 19(5):46-52, doi:10.1109/MIS.2004.47.en_ZA
dc.identifier.issn10.1109/MIS.2004.47
dc.identifier.otherdoi:10.1109/MIS.2004.47
dc.identifier.urihttp://hdl.handle.net/10019.1/86188
dc.descriptionThe original publication is available at http://ieeexplore.ieee.orgen_ZA
dc.descriptionBordini, R.H., Fisher, M., Wooldridge, M. & Visser, W. 2004. Model Checking Rational Agents, in Intelligent Systems, IEEE, 19(5):46-52, doi:10.1109/MIS.2004.47.en_ZA
dc.description.abstractAgent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for the (automatic or semiautomatic) verification of rational-agent systems written in a logic-based agent-oriented programming language. Typically, developers apply model-checking techniques to abstract models of a system rather than the system implementation. Although this is important for detecting design errors at an early stage, developers might still introduce errors during coding. In contrast, developers can directly apply our model-checking techniques to systems implemented in an agent-oriented programming language, automatically verifying agent systems without the usual gap between design and implementation. We developed our techniques for AgentSpeak, a rational-agent programming language based on the AgentSpeak (L) abstract agent-oriented programming language. AgentSpeak shares many features of the agent-oriented programming paradigm. Similarly, we've developed techniques for automatically translating AgentSpeak programs into the model specification language of existing model-checking systems. In this way, we reduce the problem of verifying that an AgentSpeak system has certain BDI logic properties to a conventional LTL model-checking problem.en_ZA
dc.format.extent[7] p. : ports.
dc.language.isoen_ZAen_ZA
dc.publisherIEEE - -Institute of Electrical and Electronics Engineersen_ZA
dc.subjectIntelligent agents (Computer software)en_ZA
dc.subjectArtificial intelligenceen_ZA
dc.titleModel checking rational agentsen_ZA
dc.typeConference Paperen_ZA
dc.description.versionPost-printen_ZA
dc.rights.holderIEEEen_ZA


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

ITEM VIEW