Formal systems ∧ agent-based social simulation = ⊥?

JASSS

Volumn 7, Issue 4, 2004, Pages

  Fasli, Maria ^a  

^a NONE

Author keywords

Commitments; Formal Systems; Obligations; Roles; Social Agents; Social Interactions

Indexed keywords

EID: 8844286130     PISSN: 14607425     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (38)

1. BELL, J. and Huang, Z. (1997), "Dynamic goal hierarchies". In Cavedon, A.R. L. and Wobcke W., (Eds) Intelligent Agent Systems: Theoretical and Practical Issues, Springer-Verlag. pp. 88-103.
2. CASTELFRANCHI, C. (1995), "Commitments: From individual intentions to groups and organizations". In Proceedings of the First ICMAS Conference. pp. 41-48.
3. CAVEDON, L. and Sonenberg, L. (1998), "On social commitments, roles and preferred goals". In Proceedings of the Third ICMAS Conference. pp. 80-87.
4. COHEN, P. R. and Levesque, H. J. (1991), Teamwork. Nous, 25. pp.485-512.
5. COHEN, P. R. and Levesque, H. J. (1990), Intention is choice with commitment. Artificial Intelligence, 42. pp. 213-261.
6. DENNETT, D. C. (1987), The Intentional Stance. The MIT Press.
7. DIGNUM, F., Kinny D. and Sonenberg L. (2002), "Motivational attitudes of agents: On desires, obligations and norms". In From Theory to Practice in Multi-Agent Systems, Proceedings of the Second International CEEMAS Workshop, Springer-Verlag. pp. 83-92.
8. DIGNUM, F., and Sonenberg, L. (2003), "A dialogical argument for the usefulness of logic in MAS". Available at:http://cfpm.org/logic-in-abss/ papers/Dignum&Sonenberg-reply.pdf
9. DIGNUM, V., Meyer, J.-J. Ch., and Weigand, H. (2002), "Towards an organizational model for agent societies using contracts". In Proceedings of the First AAMAS Conference. pp. 694-695.
10. DUNIN-KEPLICZ, B. and Verbrugge R. (1999), "Collective motivational attitudes in cooperative problem solving". In Proceedings of the First International CEEMAS Workshop. pp. 22-41.
11. EDMONDS, B. (2003), "How formal logic can fail to be useful for modelling or designing MAS". http://cfpm.org/logic-in-abss/papers/Edmonds. pdf
12. EDMONDS, B. (2002), "The purpose and place of formal systems in the development of science". http://cfpm.org/cpmrep75.html
13. FAGIN, R., Halpern, J. Y., Moses, Y. and Vardi, M.Y. (1995), Reasoning about Knowledge, MIT Press, Cambridge, MA.
14. FASLI, M. (2000), Commodious Logics of Agents, PhD thesis, University of Essex, UK.
15. FASLI, M. (2003a), Heterogeneous BDI agents. Cognitive Systems Research, 4(1), pp.1-22.
16. FASLI, M. (2003b), Reasoning about knowledge and belief: A syntactical treatment. Logic Journal of the IGPL, 11(2), pp. 245-282.
17. FASLI, M. (2003c), "From social agents to multi-agent systems: Preliminary report". In Proceedings of the 2003 CEEMAS Conference. pp.111-121.
18. FASLI, M. (2003d), "Reasoning about the dynamics of social behaviour". In Proceedings of the AAMAS 2003 Conference. pp. 988-989.
19. FASLI, M. (2003e), "Social interactions in multi-agent systems: A formal approach". In Proceedings of the IEEE/WIC 2003 Intelligent Agent Technology Conference, pp. 240-246.
20. FERBER, J. and Gutknecht, O. (1998), "A meta-model for the analysis and design of organizations in multi-agent systems". In Proceedings of the Third ICMAS Conference, pp. 128-135.
21. HUGHES, G.E. and Cresswell M.J. (1968), An Introduction to Modal Logic. Methew & Co Ltd.
22. GROSZ, B. and Kraus, S. (1996) Collaborative plans for complex group action. Artificial Intelligence, 86(2). pp. 269-357.
23. KRAUS, S. and Lehmann, D. (1988), Knowledge, belief and time. Theoretical Computer Science, 58, pp.155-174.
24. MA, G. and Shi, C. (2000), "Modelling social agents in BDO logic". In Proceedings of the Fourth ICMAS Conference. pp. 411-412.
25. MCCARTHY, J. (1979), "Ascribing mental qualities to machines". In Ringle M. (Ed), Philosophical Perspectives in Artificial Intelligence. The Harvester Press Limited. pp. 161-195.
26. MONTAGUE, R. (1973), "The proper treatment of quantification in ordinary English". In Thomason R. (Ed), Formal Philosophy, Selected Papers of Richard Montague, Yale University Press. pp. 247-270.
27. RAO, A. and Georgeff, M. (1998), Decision procedures for BDI logics. Journal of Logic and Computation, 8(3). pp. 293-343.
28. RAO, A., Georgeff, M. and Sonenberg, E. (1992), "Social plans: A preliminary report". In Decentralised A.I.-3. pp. 57-76.
29. ROYAKKERS, L. and Dignum, F. (2000), "Organisations and collective obligations". In Proceedings of the Database and Expert Systems Applications Conference. pp. 302-311.
30. SALMON, N. and Soames, S. (1988), Propositions and Attitudes. Oxford University Press.
31. THOMASON, R. (1980). A note on syntactical treatments of modality. Synthese, 44. pp. 391-395.
32. van der HOEK, W. (1990), "Systems for knowledge and beliefs". In Proceedings of the European Workshop in Logics in Artificial Intelligence (JELIA '90), volume LNAI: 478, Springer-Verlag. pp. 267-281.
33. van der HOEK, W., van Linder, B. and Meyer, J.-J.Ch. (1998), "An integrated modal approach to rational agents. In Wooldridge M. and Rao A. (Eds), Foundations of Rational Agency, Applied Logic Series 14, Kluwer. pp. 133-168.
34. van LINDER, B., van der Hoek, W., and Meyer, J.-J.Ch. (1996), "Formalising motivational attitudes of agents: On preference, goals and commitments". In Wooldridge M., Muller J.P. and Tambe M. (Eds), Intelligent Agents II - Agent Theories, Architectures and Languages, LNAI: 1037, Springer-Verlag. pp. 17-32.
35. van der TORRE, L. and Tan Y.-H. (1999), "Rights, duties and commitments between agents". In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'99). pp.1239-1244.
36. von WRIGHT G.H. (1963),The Logic of Preference. Edinburgh University Press, Edinburgh.
37. WOOLDRIDGE, M., Jennings, N.R. and Kinny, D. (2000), The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3. pp.285-312.
38. ZAMBONELLI, F., Jennings, N.R. and Wooldridge, M. (2001) "Organisational abstractions for the analysis and design of multi-agent systems". In Cinacarini P. and Wooldridge M. (Eds),Agent-Oriented Software Engineering. pp. 127-141.