Getting Rid of Derivational Redundancy or How to Solve Kuhn’s Problem

This paper deals with the problem of derivational redundancy in scientific explanation, i.e. the problem that there can be extremely many different explanatory derivations for a natural phenomenon while students and experts mostly come up with one and the same derivation for a phenomenon (modulo the order of applying laws). Given this agreement among humans, we need to have a story of how to select from the space of possible derivations of a phenomenon the derivation that humans come up with. In this paper we argue that the problem of derivational redundancy can be solved by a new notion of “shortest derivation”, by which we mean the derivation that can be constructed by the fewest (and therefore largest) partial derivations of previously derived phenomena that function as “exemplars”. We show how the exemplar-based framework known as “Data-Oriented Parsing” or “DOP” can be employed to select the shortest derivation in scientific explanation. DOP’s shortest derivation of a phenomenon maximizes what is called the “derivational similarity” between a phenomenon and a corpus of exemplars. A preliminary investigation with exemplars from classical and fluid mechanics shows that the shortest derivation closely corresponds to the derivations that humans construct. Our approach also proposes a concrete solution to Kuhn’s problem of how we know on which exemplar a phenomenon can be modeled. We argue that humans model a phenomenon on the exemplar that is derivationally most similar to the phenomenon, i.e. the exemplar from which the largest subtree(s) can be used to derive the phenomenon.

[1]  Rens Bod,et al.  Beyond Grammar: An Experience-Based Theory of Language , 1998 .

[2]  M. Friedman Explanation and Scientific Understanding , 1974 .

[3]  Stephan Hartmann,et al.  Models and Stories in Hadron Physics , 1999 .

[4]  Khalil Sima'an,et al.  A memory-based model of syntactic analysis: data-oriented parsing , 1999, J. Exp. Theor. Artif. Intell..

[5]  N. Cartwright The dappled world : a study of the boundaries of science , 1999 .

[6]  Eddie Norman Advanced Design and Technology , 1990 .

[7]  Jaime G. Carbonell,et al.  Derivational analogy: a theory of reconstructive problem solving and expertise acquisition , 1993 .

[8]  T. Kuhn The Structure of Scientific Revolutions 2nd edition , 1970 .

[9]  Kurt VanLehn,et al.  Analogy Events: How Examples are Used During Problem Solving , 1998, Cogn. Sci..

[10]  C. Hempel,et al.  Studies in the Logic of Explanation , 1948, Philosophy of Science.

[11]  Brian Falkenhainer,et al.  The Structure-Mapping Engine: Algorithm and Examples , 1989, Artif. Intell..

[12]  Rens Bod,et al.  Towards a General Model of Applying Science , 2006 .

[13]  Chang Liu,et al.  Term rewriting and all that , 2000, SOEN.

[14]  Tobias J. Hagge,et al.  Physics , 1929, Nature.

[15]  Margaret Morrison,et al.  Models as Mediators: Models as autonomous agents , 1999 .

[16]  S. Schweber Science Without Laws , 2009, Perspectives in biology and medicine.

[17]  Jaime G. Carbonell,et al.  Derivational Analogy in PRODIGY: Automating Case Acquisition, Storage, and Utilization , 1993, Machine Learning.

[18]  Thomas Bartelborth,et al.  Explanatory Unification , 2004, Synthese.

[19]  Michael Collins,et al.  Review of Beyond grammar: an experience-based theory of language by Rens Bod. CSLI Publications 1998. , 1999 .

[20]  A. Fine,et al.  The Dappled World , 2000 .

[21]  Hinrich Schütze,et al.  Book Reviews: Foundations of Statistical Natural Language Processing , 1999, CL.

[22]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[23]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[24]  W. Salmon Four decades of scientific explanation , 1989 .

[25]  P. Kitcher Explanatory unification and the causal structure of the world , 1989 .

[26]  H. Kyburg,et al.  How the laws of physics lie , 1984 .

[27]  T. N. Stevenson,et al.  Fluid Mechanics , 2021, Nature.

[28]  Rens Bod,et al.  Parsing with the Shortest Derivation , 2000, COLING.

[29]  Khalil Sima'an,et al.  Data-Oriented Parsing , 2003 .

[30]  Thomas Nickles,et al.  Thomas Kuhn: Normal Science: From Logic to Case-Based and Model-Based Reasoning , 2002 .