ALX, an action logic for agents with bounded rationality

Artificial Intelligence

Volumn 82, Issue 1-2, 1996, Pages 75-127

  Huang, Zhisheng ^a   Masuch, Michael ^a   Pólos, László ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; SOCIAL SCIENCES;

ACTION LOGIC; BOUNDED RATIONALITY;

FORMAL LANGUAGES;

EID: 0030120984     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(94)00090-5     Document Type: Article

References (74)

1. H. Blumer, Symbolic Interactionism: Perspective and Methods (Englewood Cliffs, Prentice-Hall, NJ, 1969).
2. A.L. Brown, S. Mantha and T. Wakayama, Preferences as normative knowledge: towards declarative obligations, in: J.-J.C. Meyer and R.J. Wieringa, eds., Proceedings DEON'91, Amsterdam (1991) 142-163.
3. K. Carley, Efficiency in a garbage can: implications for crisis management, in: J.G. March and R. Weissinger-Baylon, eds., Ambiguity and Command (Pitman, Marshfield, MA, 1986) 165-194.
4. R. Chisholm and E. Sosa, On the logic of "intrinsically better", Amer. Philos. Q. 3 (1966) 244-249.
5. P.R. Cohen and H.J. Levesque, Persistence, intention and commitment, in: M.P. Georgeff and A.L. Lansky, eds., Proceedings 1986 Workshop on Reasoning about Actions and Plans (Morgan Kaufmann, San Mateo, CA, 1987) 297-340.
6. P.R. Cohen and H.J. Levesque, Intention is choice with commitment, Artif. Intell. 42 (1990) 213-261.
7. S. Danielsson, Preference and Obligation (Filosofischa föreningen, Uppsala, 1968).
8. T. Dean and M.P. Wellman, On the value of goals, in: Proceedings Rochester Planning Workshop, Rochester, NY (1989).
9. P.F. Drucker, The theory of business, Harvard Business Rev. (Sept.-Oct. 1994) 95-107.
10. S. French, Decision Theory, an Introduction to the Mathematics of Rationality (Ellis Horwood, Chichester, England, 1988).
11. L.T.F. Gamut, Logic, Language, and Meaning (The University of Chicago Press, Chicago, IL, 1990).
12. A. Giddens, Central Problems in Social Theory: Action, Structures, and Contradiction in Social Analysis (University of California Press, Berkeley, CA, 1979).
13. M.L. Ginsberg, Counterfactuals, Artif. Intell. 30 (1986) 35-79.
14. M.L. Ginsberg and D.E. Smith, Reasoning about action I: a possible worlds approach, Artif. Intell. 35 (1988) 165-195; also in: M. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 433-463.
15. M.L. Ginsberg and D.E. Smith, Reasoning about action I: a possible worlds approach, Artif. Intell. 35 (1988) 165-195; also in: M. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 433-463.
16. G. Grahne, Updates and Counterfactuals, in: J. Allen, R. Fikes and E. Sandewall, eds., Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (Morgan Kaufmann, San Mateo, CA, 1991) 269-276.
17. J. Habermas, The Theory of Communicative Action (Beacon Press, Boston, MA, 1984).
18. S. Halldén, On the Logic of Better, Library of Theoria 2 (Lund, 1957).
19. S. Halldén, Preference logic and theory choice, Synthese 16 (1966) 307-320.
20. S. Halldén, The Foundations of Decision Logic (CWK Gleerup, Lund, 1980).
21. J.Y. Halpern and Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artif. Intell. 54 (1992) 319-379.
22. B. Hansson, Fundamental axioms for preference relations, Synthese 18 (1968) 423-442.
23. S.O. Hansson, A new semantical approach to the logic of preference, Erkenntnis 31 (1989) 1-42.
24. S.O. Hansson, Similarity semantics and minimal changes of belief, Erkenntnis 37 (1992) 401-429.
25. D. Harel, Dynamic logic, in: D. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic, Vol. II (Reidel, Dordrecht, Netherlands, 1984) 497-604.
26. K. Hirofumi and A. Mendelzon, On the difference between updating a knowledge base and revising it, in: J. Allen, R. Fikes and E. Sandewall, eds., Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (Morgan Kaufmann, San Mateo, CA, 1991) 387-394.
27. Z. Huang, Logics for agents with bounded rationality, ILLC Dissertation series 1994-10, University of Amsterdam (1994).
28. Z. Huang and M. Masuch, Reasoning about action: a comparative survey, CCSOM Research Report 91-37 (1991).
29. Z. Huang, M. Masuch and L. Pólos, A preference logic for rational actions, in: R. Blanning and D. King, eds., Artificial Intelligence in Organization Design, Modeling and Control, Information Systems Series (IEEE Computer Society Press, forthcoming).
30. Z. Huang, M. Masuch and L. Pólos, ALX, the x'th action logic for agents with bounded rationality, CCSOM Research Report 92-70a (1992).
31. Z. Huang, M. Masuch and L. Pólos, ALX2: the quantifier ALX logic, CCSOM Research Report 93-99 (1993).
32. G.E. Hughes and M.J. Cresswell, A Companion to Modal Logic (Methuen, New York, 1984).
33. F. Jackson, ed., Conditionals (Oxford University Press, 1991).
34. P. Jackson, On the semantics of counterfactuals, in: Proceedings IJCAI-89, Detroit, MI (1989).
35. R.C. Jeffrey, The Logic of Decision (New York, 2nd ed., 1983).
36. S. Kambhampati and S. Kedar, A unified framework for explanation-based generalization of partially ordered and partially instantiated plans, Artif. Intell. 67 (1994) 29-70.
37. H. Katsuno and A.O. Mendelzon, Prepositional knowledge base revision and minimal change, Artif. Intell. 52 (1991) 263-294.
38. A. Kron and V. Milovanović, Preference and choice, Theory Decision 6 (1975) 185-196.
39. D.K. Lewis, Counterfactuals (Blackwell, Oxford, 1973).
40. N. Luhmann, The Differentiation of Society (Columbia University Press, New York, 1982).
41. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of AI, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, 1969).
42. J.G. March, The technology of foolishness, in: J.G. March and J.P. Olsen, eds., Ambiguity and Choice in Organizations (Bergen, Norway, Universitetsforlaget, 1976) 69-81.
43. J.G. March and J.P. Olsen, Garbage can models of decision making in organizations, in: J.G. March and R. Weissinger-Baylon, eds., Ambiguity and Command (Pitman, Marshfield, MA, 1986) 11-53.
44. N. Martí-Oliet and J. Meseguer, Action and change in rewriting logic, SRI-CSL Tech. Report 94-07 (1994).
45. M. Masuch, Formalization of Thompson's organization in action, CCSOM Research Report 91-32 (1991).
46. M. Masuch, Introduction, in: M. Masuch and M. Warglien, eds., Artificial Intelligence in Organization and Management, Models of Distributed Activity (Elsevier-North Holland, Amsterdam, 1992) 1-19.
47. M. Masuch and Z. Huang, A logical deconstruction of organizational action: formalizing Thompson's Organizations in Action into a multi-agent action logic, CCSOM Working Paper 94-120.
48. J.-J.C. Meyer, Using programming concepts in deontic reasoning, in: R. Bartsch, J. van Benthem and P. van Emde Boas, eds., Semantics and Contextual Expression (Foris Publications, Dordrecht, Netherlands, 1989) 117-145.
49. N.J. Moutafakis, The Logic of Preference (Reidel, Dordrecht, Netherlands, 1987).
50. J.D. Mullen, Does the logic of preference rest on a mistake, Metaphilosophy 10 (1979) 247-255.
51. D. Nute, Conditional logic, in: D. Gabby and F. Guenthner, eds., Handbook of Philosophical Logic, Vol. II (1986) 387-439.
52. J.F. Padgett, Managing garbage can hierarchies, Administrative Sci. Q. 25 (1980) 583-604.
53. T. Parsons, The Structure of Social Action (Free Press, Glencoe, IL, 1937).
54. T. Parsons, The Social System (Routledge and Kegan Paul, London, 1951).
55. M.E. Pollack, The uses of plans, Artif. Intell. 57 (1992) 43-68.
56. J.L. Pollock, Subjunctive Reasoning (Reidel, Dordrecht, Netherlands, 1976).
57. J.L. Pollock, A refined theory of counterfactuals, J. Philos. Logic 10 (1981) 239-266.
58. L. Pólos, Updated situation semantics, J. Symbolic Logic 58 (1993) 1143-1144.
59. L. Pólos and M. Masuch, Information states in situation semantics, in: L. Pólos and M. Masuch, eds., Applied Logic: How, What and Why (Kluwer Academic Publishers, Dordrecht, Netherlands, to appear) 177-218.
60. A.S. Rao and M.P. Georgeff, Modeling rational agents within a BDI-architecture, in: J. Allen, R. Fikes and E. Sandewall, eds., Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (Morgan Kaufmann, San Mateo, CA, 1991) 473-484.
61. N. Rescher, Semantic foundations for the logic of preference, in: N. Rescher, ed., The Logic of Decision and Action (University of Pittsburgh Press, Philadelphia, PA, 1967).
62. A. Schutz, The Phenomenology of the Social World (Northwestern University Press, Evanston, IL, 1967).
63. D. Scott, Towards a mathematical theory of computation, in: Proceedings Fourth Annual Princeton Conference on Information Science and Systems (1970) 169-176.
64. D. Scott, Domains for denotational semantics, in: M. Nielsen and E.T. Schmidt, eds., Lecture Notes in Computer Science 140 (Springer-Verlag, Berlin, 1982) 577-613.
65. K. Segerberg, The logic of deliberation action, J. Philos. Logic 11 (1982) 233-254.
66. H.A. Simon, A behavioral model of rational choice, Q. J. Economics 69 (1955) 99-118.
67. H.A. Simon, On the concept of organizational goal, Administrative Sci. Q. 9 (1964) 1-22.
68. H.A. Simon, Bounded rationality, in: J. Eatwell et al., eds., The New Palgrave (Macmillan, London, 1987).
69. R. Stalnaker, A theory of conditionals, in: Studies in Logical Theory, Amer. Philos. Q. 2 (1968) 98-122.
70. J.D. Thompson, Organizations in Action, Social Science Bases of Administrative Theory (McGraw-Hill, New York, 1967).
71. M.P. Wellman and J. Doyle, Preferential semantics for goals, in: Proceedings AAAI-91, Anaheim, CA (AAAI Press, 1991) 698-703.
72. M. Winslert, Reasoning about action using a possible models approach, in: Proceedings AAAI-88, St. Paul, MN (1988) 89-93.
73. G.H. von Wright, The Logic of Preference (Edinburgh, 1963).
74. G.H. von Wright, The logic of preference reconsidered, Theory Decision 3 (1972) 140-169.