Partial deductive closure: Logical simulation and management science

Management Science

Volumn 43, Issue 9, 1997, Pages 1229-1245

  Kamps, Jaap ^a   Masuch, Michael ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Artificial Intelligence; Automated Deduction; Logic Modeling; Organizational Ecology; Theory Building

Indexed keywords

ALGORITHMIC LANGUAGES; ARTIFICIAL INTELLIGENCE; FEEDBACK CONTROL; FORMAL LOGIC; MANAGEMENT SCIENCE; THEOREM PROVING;

AUTOMATED DEDUCTION; MACHINE BASED TOOLS; ORGANIZATIONAL ECOLOGY; PARTIAL DEDUCTIVE CLOSURE;

COMPUTER SIMULATION;

EID: 0031235186     PISSN: 00251909     EISSN: None     Source Type: Journal    
DOI: 10.1287/mnsc.43.9.1229     Document Type: Article

References (36)

1. Ayer, A. J., editor, Logical Positivism, The Library of Philosophical Movements, The Free Press, New York, 1959.
2. Baligh, H. H., R. M. Burton, and B. Obel, "Devising Expert Systems in Organization Theory: The Organizational Consultant," in Masuch 1990, Chapter 2, 35-58.
3. Bhargava, H. K. and S. O. Kimbrough, (Eds.), Special Issue on Logic Modeling, Volume 11(2) of Decision Support Systems, Elsevier Science Publishers, North-Holland, 1994.
4. Blanning, R. W., "Knowledge, Metaknowledge, and Explanation in Intelligent Organizational Models," in Masuch and Warglien (1992), Chapter 3, 65-86.
5. Brachman, R. J. and H. J. Levesque, (Eds.), Readings in Knowledge Representation, Morgan Kaufmann Inc., Los Altos, CA, 1985.
6. Bruggeman, J., "Niche Width Theory Reappraised," J. Mathematical Sociology, 22, (1997).
7. Burton, R. M. and B. Obel, Designing Efficient Organizations, Modeling and Experimentation, North Holland, New York, 1984.
8. Carley, K. M. and M. J. Prietula, (Eds.), Computational Organization Theory, Lawrence Erlbaum Associates, Hillsdale, NJ, 1994.
9. Cohen, M. D., J. G. March, and J. P. Olsen, "A Garbage Can Model of Organizational Choice," Administrative Sci. Quarterly, 17 (1972), 1-25.
10. Forrester, J. W., Industrial Dynamics, MIT Press, Cambridge, MA, 1961.
11. Gabbay, D. and F. Guenthner, (Eds.), 1984-1989 Handbook of Philosophical Logic, D. Reidel Publishing Company, Dordrecht, 1989.
12. Gamut, L. T. F., Logic, Language, and Meaning, Volume 1, 2, The University of Chicago Press, Chicago, 1991.
13. Glorie, J. C., M. Masuch, and M. Marx, "Formalizing Organizational Theory: A Knowledge-based Approach," in Organization, Management, and Expert Systems, 1990, Chapter 4, 79-81.
14. Hannan, M. T. and J. Freeman, "Structural Inertia and Organizational Change," American Sociological Review, 49 (1984), 149-164.
15. _ and _, Organizational Ecology, Harvard University Press, Cambridge, MA, 1989.
16. Huang, Z., M. Masuch, and L. Polos, "ALX, an Action Logic for Agents with Bounded Rationality," Artificial Intelligence, 82, 1-2 (1996), 75-127.
17. Jeffrey, R. C., Formal Logic: Its Scope and Limits, McGraw-Hill, New York, 1967.
18. Kamps, J. and G. Péli, "Qualitative Reasoning Beyond the Physics Domain: The Density Dependence Theory of Organizational Ecology," in B. Bredeweg (Ed.), Ninth International Workshop on Qualitative Reasoning, 114-122, University of Amsterdam, Amsterdam, The Netherlands, 1995.
19. Kimbrough, S. O. (Ed.), Special Issue on Logic Modeling, Volume 6(2) of Decision Support Systems, Elsevier Science Publishers, NorthHolland, 1990.
20. _ and R. M. Lee, "Logical Modeling: A Tool for Management Science," Decision Support Systems, 4, 1 (1988a), 3-16.
21. _ and _, (Eds.), Special Issue on Logic Modeling, Volume 4(1) of Decision Support Systems, Elsevier Science Publishers, NorthHolland, 1988b.
22. Lakatos, I. and A. Musgrave (Eds.), Criticism and the Growth of Knowledge, Cambridge University Press, Cambridge, England, 1970.
23. Masuch, M. (Ed.), Organization, Management, and Expert Systems: Models of Automated Reasoning, De Gruyter, Berlin, New York, 1990.
24. _, "Introduction: Artificial Intelligence in Organization and Management Theory," in Artificial Intelligence in Organization and Management Theory, (1992), 1-19.
25. _ and Z. Huang, "A Case Study in Logical Deconstruction: Formalizing J. D. Thompson's Organizations in Action in a MultiAgent Action Logic," Computational and Math. Organization Theory, 2, 2 (1996), 71-114.
26. _ and M. Warglien, (Eds.), Artificial Intelligence in Organization and Management Theory: Models of Distributed Activity, North-Holland, Amsterdam, 1992.
27. Mintzberg, H., The Structuring of Organizations, Prentice-Hall, Englewood Cliffs, NJ, 1979.
28. Newell, A. and H.A. Simon, Human Problem Solving, Prentice-Hall Inc., Englewood Cliffs, NJ, 1972.
29. Ó Nualláin, B., "Mixing Metafor: A System Description of the Metafor Theorem Proving System," in A. Voronkov (Ed.), Logic Programming and Automated Reasoning, St. Petersburg, Russia, Volume 698 of Lecture Notes in Artificial Intelligence, 357-359, Springer-Verlag, 1993.
30. Péli, G., J. Bruggeman, M. Masuch, and B. Ó Nualláin, "A Logical Approach to Formalizing Organizational Ecology," American Sociological Review, 59, 4 (1994), 571-593.
31. _, and M. Masuch, "The Logic of Propagation Strategies: Axiomatizing a Fragment of Organizational Ecology in First-Order Logic," Organization Sci., 8, 3 (1997), 310-331.
32. Polos, L. and M. Masuch (Eds.), Applied Logic: How, What, and Why: Logical Approaches to Natural Language, Volume 247 of Synthese Library, Kluwer Academic Publishers, Dordrecht, 1995.
33. Robinson, J. A., "A Machine-Oriented Logic Based on the Resolution Principle," J. Association of Computing Machinery, 12, 1 (1965), 23-41.
34. Salmon, W. C., Four Decades of Scientific Explanation, University of Minnesota Press, Minneapolis, 1989.
35. Tarski, A., Logic, Semantics, Metamathematics, Oxford University Press, New York, 1956.
36. Thompson, J. D., Organizations in Action, McGraw-Hill, New York, 1967.