Situation awareness and ability in coalitions

FUSION 2007 - 2007 10th International Conference on Information Fusion

Volumn , Issue , 2007, Pages

  Jousselme, Anne Laure ^a   Maupin, Patrick ^a   Garion, Christophe ^b   Cholvy, Laurence ^c   Saurel, Claire ^c  

^a DEFENCE RESEARCH AND DEVELOPMENT CANADA VALCARTIER   (Canada)

^b UNIVERSITÉ DE TOULOUSE   (France)

^c ONERA   (France)

Author keywords

Ability; Coalitions; Interpreted systems; Situation awareness; Situation calculus

Indexed keywords

CALCULATIONS; DATA FUSION; DIFFERENTIATION (CALCULUS); FUSION REACTIONS; INFORMATION FUSION; INFORMATION THEORY; MATHEMATICAL TECHNIQUES; NUCLEAR PHYSICS; SEMANTICS; SENSOR DATA FUSION;

ABILITY; COALITIONS; COURSES OF ACTION; DECISION PROCESSES; HIGHER-LEVEL INFORMATION; INTERNATIONAL CONFERENCES; INTERPRETED SYSTEMS; INTERPRETED SYSTEMS SEMANTICS; SITUATION AWARENESS; SITUATION CALCULUS; SYSTEM SEMANTICS;

MULTI AGENT SYSTEMS;

EID: 50149092866     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIF.2007.4408132     Document Type: Conference Paper

References (35)

1. M. M. Kokar, J. A. Tomasik, and J. Weyman, "Formalizing classes of information fusion systems," Information Fusion, vol. 5, no. 3, pp. 189-202, 2004.
2. D. Lambert, "Grand challenges of information fusion," in Proceedings of the 6th International Conference on Information Fusion, Cairns, Australia, 2003.
3. A. N. Steinberg, "An approach to threat assessment," in Proceedings of the eight international conference on Information fusion, Philadelphia, PA, July 2005.
4. th International Conference on Information Fusion, Philadelphia, PA, USA, July 2005.
5. M. E. Bratman, Intentions, Plans, and Practical Reasons. Cambridge, MA: Harvard University Press, 1987.
6. A. S. Rao and M. P. Georgeff, "Modeling rational agents within a BDI-architecture," in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR91, J. Allen, R. Fikes, and E. Sandewall, Eds. Morgan Kaufmann, San Mateo, CA,, 1991.
7. _, "BDI agents: From theory to practice," in Proceedings of the First International Conference on Multi-Agent Systems, San Francisco, June 1995, pp. 312-319.
8. E. A. Emerson and J. Y. Halpern, ""Sometimes" and "not never" revisited: On branching time versus linear time temporal logic," Journal of the ACM, vol. 33, no. 1, pp. 151-178, 1986.
9. F. Bacchus, J. Halpern, and H. Levesque, "Reasoning about noisy sensors and effectors in the situation calculus," Artificial Intelligence, vol. 111, no. 1-2, pp. 171-208, 1999.
10. R. Alur, T. A. Henzinger, and O. Kupferman, "Alternating-time temporal logic," Journal of ACM, vol. 49, no. 5, pp. 672-713, 2002.
11. W. van der Hoek and M. Wooldridge, "Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications," Studia Logica, vol. 75, pp. 125-157, 2003.
12. M. Wooldridge and W. van der Hoek, "On obligations and normative ability: Towards a logical analysis of the social contract," Journal of Applied Logic 3 (2005), vol. 3, pp. 396-420, 2005.
13. L. Cholvy, C. Garion, and C. Saurel, "Formalisation d'une coalition : modèle de coalition," ONERA/DTIM/MIB, Centre de Toulouse, Tech. Rep. AS23/FR/270205, 28 février 2005.
14. B. van Linder, W. van der Hoek, and J.-J. C. Meyer, "Formalizing abilities and opportunities of agents," Fundamenta Informaticae, vol. 34, no. 1-2, pp. 53-101, 1998.
15. J. Horty, "Agency and obligation," Synthese, vol. 108, pp. 269-307, 1996.
16. D. Elgesem, "The modal logic of agency," Nordic Journal of Philosophical Logic, vol. 2, no. 2, pp. 1-46, 1997.
17. Y. Lespérance, H. Levesque, F. Lin, and R. Scherl, "Ability and knowing how in the situation calculus," Studia Logica, vol. 66, no. 1, pp. 165-186, oct 2000. [Online]. Available: http://www.cs.toronto.edu/ cogrobo/cogrobo.1/publ.shtml
18. J. MacCarthy and P. Hayes, "Some philosophical problems from the standpoint of artificial intelligence," in Machine Intelligence 4, D. Michie and B. Melzer, Eds. Edinburgh University Press, 1969, pp. 463-502.
19. R. Thomason, "Ability, action and context," 2001, presentation at the Temporality and Discourse Context: Dynamic and Modal Approaches Workshop. [Online]. Available: www.eecs.umich.edu/~rthomaso/documents/action/ability.ps
20. R. Demolombe, "Formalisation en logique des interactions entre agents : quels concepts formaliser ?" ONERA/DTIM, Tech. Rep., 2000, in French.
21. B. Chaib-Draa and R. Demolombe, "L'interaction comme champ de recherche," Information - Interaction - Intelligence, numéro spécial Modèles Formels de l'Interaction, pp. 5-24, 2001.
22. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
23. _, "The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression," Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, vol. ., pp. 359-380, 1991.
24. P. R. Cohen and H. J. Levesque, "Intention is choice with commitment," Artificial intelligence, vol. 42, no. 2-3, pp. 213-261, 1990.
25. L. Cholvy, C. Garion, and C. Saurel, "Ability in a multi-agent context: A model in the situation calculus," in Sixth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VI), City University London, UK, 27-29 June 2005.
26. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about knowledge. Cambridge, MA: The MIT Press, 2003.
27. J. Y. Halpern and M. Tuttle, "Knowledge, probability and adversaries," Journal of the Association for Computing Machinery, vol. 40, no. 4, pp. 917-962, 1993.
28. N. Friedman and J. Y. Halpern, "Plausibility measures: A user's guide," in Proceedings of the Eleventh Conference on Uncertainty in AI, 1995, pp. 175-184.
29. J. Y. Halpern and L. C. Rêgo, "Extensive games with possibly unaware players," in Proceedings of the AAMAS'06, Hakodate, Hokkaido, Japan, May 8-12 2006.
30. R. W. Pew, "The state of situation awareness measurement; heading toward the next century," in Situation Awareness Analysis and Measurement, M. Endsley and D. Garland, Eds. Mahwah, New Jersey: Lawrence, Erlbaum Associates, 2000, pp. 33-50.
31. J. Y. Halpern, Y. Moses, and M. Y. Vardi, "Algorithmic knowledge," in Proc. of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'94). Morgan Kaufmann, 1994, pp. 255-266.
32. R. Reiter, "The situation calculus ontology," Electronic News Journal on Reasoning about Actions and Change - Published by Link̈oping University Electronic Press, and available at www.ep.liu.se/ej/enrac/1997/, vol. 2, pp. -, 1998.
33. J. Y. Halpern and R. Fagin, "Modeling knowledge and actions in distributed systems," Distributed computing, vol. 3, no. 3, pp. 159-177, 1989.
34. R. B. Scherl, "Reasoning about the interaction of knowledge, time and concurrent actions in the situation calculus," in Proceedings of the Eighteenth International Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, August 9-15 2003, pp. 1091-1096.
35. B. van Linder, W. van der Hoek, and J.-J. C. Meyer, "Tests as epistemic updates - Pursuit of knowledge," Institute of Information and Computing Sciences, Utrecht University, Tech. Rep. UU-CS-1994-08, 1994.