Partial Deductive Closure: Logical Simulation and Management Science

This research is part of a larger effort to build machine-based tools for developing scientific theories. In analogy with the research process in empirical research, we describe a logical cycle of theory development: (1) starting with an informal version of a theory, (2) then moving to its formal representation, (3) applying formal logic to investigate this representation, and (4) using the results as feedback for the update/revision of the original theory. A central aspect of the logical cycle is the detection of the (hidden) implications of a theory (called “partial deductive closure”). In this paper, we present an algorithm that performs the partial deductive closure for a relevant class of theorems, while filtering out trivial results. The algorithm is applied to an important organization theory, Organizational Ecology, and is shown to generate new theorems of interest.

• 저널Management Science · 43(9) · 1229–1245
• 토픽Logic, Reasoning, and Knowledge · Artificial Intelligence
• DOI10.1287/mnsc.43.9.1229
• 저자Jaap Kamps, Michael Masuch