18 Intelligent agents and common sense reasoning

Studies in Logic and Practical Reasoning

Volumn 3, Issue , 2007, Pages 991-1029

  Meyer, John Jules ^a   Veltman, Frank ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 40849135940     PISSN: 15702464     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-2464(07)80021-8     Document Type: Article

References (94)

1. Alchourrón C., Gärdenfors P., and Makinson D. On the logic of theory change: Partial meet con- traction functions and their associated revision functions. Journal of Symbolic Logic 50 (1985) 510-530
2. Aldewereld H.M., van der Hoek W., and Meyer J.-J.Ch. Rational teams: Logical aspects of multi- agent systems. In: Dunin-Keplicz B., and Verbrugge R. (Eds). Proc. of the 1st Int. workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03) (2003), ACM Press, Warsaw 35-52
3. Anderson A.R. A reduction of deontic logic to alethic modal logic. Mind 67 (1958) 100-103
4. Asher N. Commonsense entailment: A conditional logic for some generics. In: Crocco G., Farinas del Cerro L., and Herzig A. (Eds). Conditionals: From Philosophy to Computer Science (1995), Oxford University Press, Oxford 103-145
5. Bennett B., Dixon C., Fisher M., Franconi E., Horrocks I., Hustadt U., and de Rijke M. Combinations of modal logics. Artificial Intelligence Review 17 1 (2002) 1-20
6. Blutner R. Normality in update semantics. In: Simons M., and Galloway T. (Eds). Proceedings from Semantics and Linguistic Theory V (1995), Cornell University, Ithaca, New York 19-36
7. Bordini R.H., Fisher M., Pardavila C., and Wooldridge M.J. Modelchecking agentspeak. Proc. 2nd Int. Joint Conf. on Autonomous Agents and Multi Agent Systems (AAMAS'03) (2003), ACM Press 409-416
8. Bratman M.E. Intentions, Plans and Practical Reason (1987), Harvard University Press
9. Broersen J. Action negation and alternative reductions for dynamic deontic logics. J. of Applied Logic 2 1 (2004) 153-168
10. Broersen J., Dastani M., Huang Z., Hulstijn J., and van der Torre L. Goal generation in the boid architecture. Cognitive Science Quarterly 2 3-4 (2002) 428-447
11. Broersen J., Dastani M., Hulstijn J., and van der Torre L. The boid architecture: Conflicts between beliefs, obligations, intentions and desires. Proc. 5th Int. Conf. on Autonomous Agents (AA2001) (2001), ACM Press, New York 9-16
12. Broersen J., Dastani M., and van der Torre L. Resolving conflicts between beliefs, obligations, intentions and desires. In: Benferhat S., and Besnard Ph. (Eds). Proc. ECSQARU'01 (1997), Springer, Berlin 568-579
13. Broersen J., Wieringa R.J., and Meyer J.-J.Ch. A fixed-point characterization of a deontic logic of regular action. Fundamenta Informaticae 48 2-3 (2001) 107-128
14. Burgess J.P. Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic 22 1 (1981) 76-84
15. Carmo J., and Jones A.J.I. Deontic logic and contrary-to-duties. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic (2nd edition) vol. 8 (2003), Kluwer, Dordrecht 203-279
16. Castaneda H.-N. The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop. In: Hilpinen R. (Ed). New Studies in Deontic Logic (1981), Reidel, Dordrecht 37-85
17. Chellas B.F. Modal Logic: An Introduction (1980), Cambridge University Press, Cambridge, England
18. Cohen P.R., and Levesque H.J. Intention is choice with commitment. Artificial Intelligence 42 3 (1990) 213-261
19. Cohen P.R., and Levesque H.J. Teamwork. Nous 24 4 (1991) 487-512
20. de Rijke M., and de Rijke M. A system of dynamic modal logic. J. of Philosophical Logic 27 (1998) 109-142
21. Delgrande J.P. Conditional logics for defeasible logics. In: Besnard P., and Hunter A. (Eds). Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 2: Reasoning with Actual and Potential Contradictions (1998), Kluwer Academic Publishers, Dordrecht 135-174
22. Dignum F.P.M., Kinny D., and Sonenberg E. From desires, obligations and norms to goals. Cognitive Science Quarterly 2 3-4 (2002) 407-430
23. Dignum F.P.M., Meyer J.-J.Ch., and Wieringa R.J. Contextual permission: A solution to the free choice paradox. In: Jones A.J., and Sergot M. (Eds). Proc. 2nd Int. Workshop on Deontic Logic in Computer Science (DEON'94) (1994), Oslo 107-135
24. Amsterdam. Dignum F.P.M., Meyer J.-J.Ch., and Wieringa R.J. A dynamic logic for reasoning about sub-ideal states. In: Breuker J. (Ed). Proc. ECAI'94 Workshop "Artificial Normative Reasoning") (1994) 79-92
25. Dignum F.P.M., Meyer J.-J.Ch., and Wieringa R.J. Free choice and contextually permitted actions. Studia Logica 57 1 (1996) 193-220
26. Dignum F.P.M., and Meyer J.-J.Ch. Negations of transactions and their use in the specification of dynamic and deontic integrity constraints. In: Kwiatkowska M.Z., Shields M.W., and Thomas R.M. (Eds). Semantics for Concurrency, Leicester 1990 (1990), Springer-Verlag, London/Berlin 61-80
27. Boston, MA. Dignum F.P.M., Morley D., Sonenberg E.A., and Cavedon L. Towards socially sophisticated bdi agents. In: Tokoro M. (Ed). Proc. 4th Int. Conf. on Multi-Agent Systems (ICMAS-2000) (1996) 111-118
28. Dignum F.P.M., and van Linder B. Modelling social agents: Communication as actions. In: Wooldridge M., Müller J., and Jennings N. (Eds). Intelligent Agents III: Agents Theories, Ar- chitectures, and Languages (ATAL-96) (1997), Springer, Berlin 205-218
29. Dunin-Kceplicz B., and Verbrugge R. Collective intentions. Fundamenta Informaticae 51 3 (1902) 271-295
30. Esteva M., Padget J.A., and Sierra C. Formalizing a language for institutions and norms. In: Ch. Meyer J.-J., and Tambe M. (Eds). Intelligent Agents VIII (1984), Springer, Berlin 348-366
31. Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1995), The MIT Press, Cambridge MA
32. Fine K. Critical review of D. Lewis's 'Counterfactuals'. Mind 84 (1975) 451-458
33. Fischer M. A survey of concurrent metatem - the language and its applications. In: Gabbay D.M., and Ohlbach H.J. (Eds). Temporal Logic - Proceedings of the First International Conference (1994), Springer-Verlag, Berlin 480-505
34. Gabbay D. Theoretical foundations for non-monotonic reasoning in expert systems. In: Apt K. (Ed). Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1994), Springer-Verlag 439-457
35. Gärdenfors P. Knowledge in Flux (1988), The MIT Press, Cambridge, Massachusetts
36. Gärdenfors P., and Rott H. Belief revision. In: Robinson J.A., Gabbay D., and Hogger C.J. (Eds). Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4 (1996), Oxford UNiversity Press 35-132
37. Gargov G., and Passy S. A note on boolean modal logic. In: Petkov P. (Ed). Mathematical Logic, Proc. of Heyting'88 (2001), Plenum Press 311-321
38. Ginsberg M.L. Counterfactuals. Artificial Intelligence 30 (1986) 35-79
39. Grossi D., Meyer J.-J.Ch., and Dignum F.P.M. Modal logic investigations in the semantics of counts-as. Proc. 10th Int. Conf. on AI & Law (ICAIL'05) (2005), ACM 1-9
40. Grove A. Two modellings for theory change. Journal of Philosophical Logic 17 (1988) 157-170
41. Halpern J., Friedman N., and Koller D. First-order conditional logic for default reasoning revisited. ACM Transactions on Programming Languages and Systems 1 2 (2000) 175-207
42. Harel D. First-Order Dynamic Logic (1979), Springer, Berlin
43. Harel D. Dynamic logic. In: Gabbay D., and Guenther F. (Eds). Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logic (1984), D. Reidel Publishing Co., Dordrecht 497-604
44. Hemaspaandra E. Complexity transfer for modal logic. Proc. IEEE Symp. on Logic in Computer Science (LICS'94) (1994), IEEE Computer Society Press, Los Alamitos 164-173
45. Hindriks K.V., de Boer F.S., van der Hoek W., and Ch. Meyer J.-J. Agent programming in 3apl. Int. J. of Autonomous Agents and Multi-Agent Systems 2 4 (1999) 357-401
46. Hustadt U., Dixon C., Schmidt R.A., Fisher M., Meyer J.-J.Ch., and van der Hoek W. Verification within the karo agent theory. In: Rash J.L., Rouff C.A., Truszkowski W., Gordon D., and Hinchey M.G. (Eds). (Proc. First Goddard Workshop on) Formal Approaches to Agent-Based Systems (FAABS 2000) (2001), Springer, Berlin 33-47
47. Jones A.J.I., and Sergot M. A formal characterization of-institutional power. Journal of the IGPL 3 (1996) 429-445
48. Kratzer A. Partition and revision: the semantics of counterfactuals. Journal of Philosophical Logic 10 (1981) 242-258
49. Kratzer A. An investigation of the lumps of thought. Linguistics and Philosophy 87 1 (1989) 3-27
50. Kraus S., and Lehmann D. Knowledge, belief, and time. Theoretical Computer Science 58 (1988) 155-274
51. Kraus S., Lehmann D., and Magidor M. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 14 1 (1990) 167-207
52. Lewis D. Counterfactuals (1973), Basil Blackwell, Oxford
53. Lewis D. Counterfactual dependence and time's arrow. Noûs 13 (1979) 455-476
54. Ch. Meyer J.-J. Modal epistemic and doxastic logic. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic (2nd edition), vol. 10 (2003), Kluwer, Dordrecht 1-38
55. Ch. Meyer J.-J. Reasoning about emotional agents. In: de Mántaras R.L., and Saitta L. (Eds). Proc. 16th Eur. Conf. on Artif. Intell. (ECAI'04)) (2004), IOS Press 303-307
56. Meyer J.-J.Ch., and van der Hoek W. Epistemic Logic for AI and Computer Science (1995), Cambridge University Press, Cambridge
57. Ch. Meyer J.-J., van der Hoek W., and van Linder B. A logical approach to the dynamics of commitments. Artificial Intelligence 113 (1999) 1-40
58. Meyer J.-J.Ch., Wieringa R.J., and Dignum F.P.M. The role of deontic logic in the specification of information systems. In: Chomicki J., and Saake G. (Eds). Logics for Databases and Information Systems (1998), Kluwer, Boston/Dordrecht 71-115
59. Meyer J.-J.Ch. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame J. of Formal Logic 29 1 (1988) 109-136
60. Nute D. Defeasible Deontic Logic (1997), Kluwer, Dordrecht
61. Pollock J. Subjunctive Reasoning (1976), Reidel, Dordrecht
62. Rao A.S., and Georgeff M.P. Modeling rational agents within a BDI-architecture. In: Allen J.F., Fikes R., and Sandewall E. (Eds). KR'91: Principles of Knowledge Representation and Reasoning (1991), Morgan Kaufmann, San Mateo, California 473-484
63. Rao A.S. Agentspeak(l): Bdi agents speak out in a logical computable language. In: van der Velde W., and Perram J. (Eds). Agents Breaking Away (1996), Springer, Berlin 42-55
64. Rao A.S., and Georgeff M.P. Decision procedures for bdi logics. J. of Logic and Computation 8 3 (1998) 293-344
65. Reiter R. A logic for default reasoning. Artificial Intelligence 13 1-2 (1980) 81-132
66. Rott H. Moody conditionals: Hamburgers, switches, and the tragic death of an american president. In: Gerbrandy J., Marx M., de Rijke M., and Venema Y. (Eds). JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday (1999), Amsterdam University Press, Amsterdam 98-112
67. Sandewall E., and Shoham Y. Nonmonotonic temporal reasoning. In: Gabbay D., Hogger C.J., and Robinson J.A. (Eds). Handbook of Logic in Artificial Intelligence and Logic Programming Vol.4 (Epistemic and Temporal Reasoning (1994), Oxford University Press, Oxford 439-498
68. Segerberg K. Belief revision from the point of view of doxastic logic. Bulletin of the IGPL 3 4 (1995) 535-553
69. Segerberg K. The basic dynamic doxastic logic of agm. In: Williams M.-A., and Rott H. (Eds). Frontiers in belief revision (2001), Kluwer, Dordrecht 57-84
70. Shoham Y. Agent-oriented programming. Artificial Intelligence 60 1 (1993) 51-92
71. Singh M.P. The intentions of teams: Team structure, endodeixis, and exodeixis. In: Prade H. (Ed). Proc. 13th Eur. Conf. on Artif. Intell. (ECAI'98)) (1998), Wiley, Chichester 303-307
72. Stalnaker R. A theory of conditionals. In: Rescher N. (Ed). Studies in Logical Theory (1968), Basil Blackwell, Oxford 98-112
73. Tichy P. A counterexample to the stalnaker-lewis analysis of counterfactuals. Philosophical Studies 29 (1976) 271-273
74. van Benthem J. Semantic parallels in natural language and computation. In: Ebbinghaus H.-D. (Ed). Logic Colloquium '87 (1989), North Holland, Amsterdam 331-375
75. van der Hoek W. Systems for knowledge and belief. Journal of Logic and Computation 33 (1993) 173-195
76. van der Hoek W., Meyer J.-J.Ch., and van Schagen J.W. Formalizing potential of agents: The karo framework revisited. In: Kaufmann S., Faller M., and Pauly M. (Eds). Formalizing the Dynamics of Information (2000), CSLI Publications, Stanford CA 51-67
77. van der Hoek W., van Linder B., and Meyer J.-J.Ch. An integrated modal approach to rational agents. In: Wooldridge M., and Rao A. (Eds). Foundations of Rational Agency (1998), Kluwer, Dordrecht 133-168
78. van der Meyden R. The dynamic logic of permission. J. of Logic and Computation 6 3 (1996) 465-479
79. van Linder B. Modal Logics for Rational agents. D.phil thesis. (1996), Utrecht University, Utrecht
80. van Linder B., van der Hoek W., and Meyer J.-J.Ch. Actions that make you change your mind: Belief revision in an agent-oriented setting. In: Wansing H. (Ed). Knowledge and Belief in Philosophy and Artificial Intelligence (1995), Akademie Verlag, Berlin 103-146
81. van Linder B., van der Hoek W., and Ch. Meyer J.-J. Seeing is believing (and so are hearing and jumping). Journal of Logic, Language and Information 6 (1997) 33-61
82. van Riemsdijk M.B., de Boer F.S., and Meyer J.-J.Ch. Dynamic logic for plan revision in intel- ligent agents. In: Leite J., and Torroni P. (Eds). Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems) (2001) 196-211
83. Veltman F. Prejudices, presuppositions, and the theory of counterfactuals. In: Groenendijk J., and Stokhof M. (Eds). Amsterdam Papers in Formal Grammar. Proceedings of the 1st Amsterdam Colloquium (1976), University of Amsterdam 248-281
84. Veltman F. Logics for Conditionals. Ph.D. dissertation (1985), University of Amsterdam, Amsterdam
85. Veltman F. Defaults in update semantics. Journal of Philosophical Logic 25 (1996) 221-261
86. Veltman F. Making counterfactual assumptions. Journal of Semantics (2005) 1880-22159
87. von Wright G.H. Deontic logic. Mind 60 237 (1951) 1-15
88. von Wright G.H. A new system of deontic logic. Danish Yearbook of Philosophy 1 (1964)
89. Voorbraak F. The logic of objective knowledge and rational belief. In: van Eijck J. (Ed). Logics in AI (Proceedings of JELIA '90) (1991), Springer, Berlin 499-516
90. Voorbraak F. As Far as I Know: Epistemic Logic and Uncertainty. Ph.D. dissertation (1993), Utrecht University, Utrecht
91. Wieringa R., Meyer J.-J.Ch., and Weigand H. Specifying dynamic and deontic constraints. Data & Knowledge Engineering 4 2 (1989) 157-190
92. Wieringa R.J., and Ch. Meyer J.-J. Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence 7 (1993) 289-346
93. Wooldridge M.J. Reasoning about Rational Agents (2000), The MIT Press, Cambridge, MA
94. Wooldridge M.J., and Ciancarini P. Agent-oriented software engineering: The state of the art. In: Ciancarini P., and Wooldridge M.J. (Eds). Agent-Oriented Software Engineering (2001), Springer, Berlin 1-28