Modal logics for communicating rule-based agents

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 322-326

  Alechina, Natasha ^a   Jago, Mark ^a   Logan, Brian ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; MODEL CHECKING; QUALITY OF SERVICE;

BELIEF CHANGE; CHANGE-OVER TIME; FORMAL MODELING; MODAL LOGIC; QUALITY OF SERVICE GUARANTEES; RULE BASED; SIMPLE++; TEMPORAL PROPERTY; TIME BOUND; TRANSITION SYSTEM;

MULTI AGENT SYSTEMS;

EID: 84885981515     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (23)

1. T. Ågotnes and M. Walicki, 'Strongly complete axiomatizations of "knowing at most" in standard syntactic assignments', in Preproceedings of the Sixth International Workshop on Computational Logic in Multi-agent Systems (CLIMA VI), London, UK, (June 2005).
2. A. Albore, N. Alechina, P. Bertoli, C. Ghidini, B. Logan, and L. Serafini, 'Model-checking memory requirements of resource-bounded reasoners', in Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06). AAAI Press, (2006). (to appear).
3. N. Alechina, P. Bertoli, C. Ghidini, M. Jago, B. Logan, and L. Serafini, 'Verifying space and time requirements for resource-bounded agents', Technical Report T05-10-03, ITC-irst, Trento, Italy, (2005).
4. N. Alechina, B. Logan, and M. Whitsey, 'A complete and decidable logic for resource-bounded agents', in Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 606-613, New York, (July 2004). ACM Press.
5. N. Alechina, B. Logan, and M. Whitsey, 'Modelling communicating agents in timed reasoning logics', in Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004), LNAI Vol. 3229, pp. 95-107, Lisbon, (September 2004). Springer.
6. R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran, 'MOCHA: Modularity in model checking', in Computer Aided Verification, pp. 521-525, (1998).
7. M. Benerecetti, F. Giunchiglia, and L. Serafini, 'Model checking multiagent systems.', J. Log. Comput., 8(3), 401-423, (1998).
8. H. Boley, B. Grosof, and S. Tabet. Rule ML tutorial, 2005. http://www.ruleml.org/papers/tutorial-ruleml.html.
9. R. Bordini, M. Fisher, W. Visser, and M. Wooldridge, 'State-space reduction techniques in agent verification', in Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), pp. 896-903, New York, (2004). ACM Press.
10. J.-R. Chen and A.M. K. Cheng, 'Predicting the response time of OPS5- style production systems', in Proceedings of the 11th Conference on Artificial Intelligence for Applications, p. 203. IEEE Computer Society, (1995).
11. A. M. K. Cheng and H. yen Tsai, 'A graph-based approach for timing analysis and refinement of OPS5 knowledge-based systems', IEEE Transactions on Knowledge and Data Engineering, 16(2), 271-288, (2004).
12. H. N. Duc, 'Reasoning about rational, but not logically omniscient, agents', Journal of Logic and Computation, 7(5), 633-648, (1997).
13. J. Elgot-Drapkin, M. Miller, and D. Perlis, 'Memory, reason and time: the Step-Logic approach', in Philosophy and AI: Essays at the Interface, 79-103, MIT Press, Cambridge, Mass., (1991).
14. E. Friedman-Hill, Jess in Action: Java Rule-Based Systems, Manning Publications Co., 2003.
15. M. P. Georgeff and A. L. Lansky, 'Reactive reasoning and planning', in Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI-87, pp. 677-682, (1987).
16. J. Grant, S. Kraus, and D. Perlis, 'A logic for characterizing multiple bounded agents', Autonomous Agents and Multi-Agent Systems, 3(4), 351-387, (2000).
17. I. Horrocks and P. F. Patel-Schneider, 'A proposal for an OWL rules language.', in Proceedings of the 13th international conference on World Wide Web, WWW 2004, pp. 723-731. ACM, (2004).
18. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A semantic web rule language, 2003. http://www.daml.org/rules/ proposal.
19. Q. H. Mahmoud. Getting started with the Java rule engine API (JSP 94): Toward rule-based applications, 2005. http.
20. M. Paolucci, A. Ankolekar, N. Srinivasan, and K. P. Sycara, 'The DAML-S virtual machine.', in International Semantic Web Conference, LNCS Vol. 2870, pp. 290-305. Springer, (2003).
21. M. Paolucci and K. Sycara, 'Autonomous semantic web services', IEEE Internet Computing, 7(5), 34-41, (2003).
22. M. P. Singh, 'Toward a model theory of actions: How agents do it in branching time', Computational Intelligence, 14(3), 287-305, (1998).
23. H.P. van Ditmarsch, W. van der Hoek, and B.P. Kooi, 'Dynamic epistemic logic with assignment', in Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pp. 141-148. ACM New York, (2005).