Using strategic logics to reason about agent programs

Yadav, N and Sardina, S 2013, 'Using strategic logics to reason about agent programs', in Francesca Rossi (ed.) Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 3-9 August 2013, pp. 3101-3105.


Document type: Conference Paper
Collection: Conference Papers

Title Using strategic logics to reason about agent programs
Author(s) Yadav, N
Sardina, S
Year 2013
Conference name 23rd International Joint Conference on Artificial Intelligence
Conference location Beijing, China
Conference dates 3-9 August 2013
Proceedings title Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Editor(s) Francesca Rossi
Publisher AAAI Press
Place of publication Menlo Park, USA
Start page 3101
End page 3105
Total pages 5
Abstract We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents' operational know-how, as defined by their libraries of abstract plans. In our logic, it is possible to refer to "rational" strategies for agents developed under the Belief-Desire-Intention agent paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.
Subjects Adaptive Agents and Intelligent Robotics
Keyword(s) Abstract plans
Alternating time temporal logic
Belief-desire-intention agents
Logical frameworks
Copyright notice © 2013 International Joint Conferences on Artificial Intelligence
ISBN 9781577356332
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Access Statistics: 143 Abstract Views  -  Detailed Statistics
Created: Tue, 10 Jun 2014, 13:08:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us