Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming

The evolutionary history of languages can be modeled as a tree, called a phylogeny, where the leaves represent the extant languages, the internal vertices represent the ancestral languages, and the edges represent the genetic relations between the languages. Languages not only inherit characteristics from their ancestors but also sometimes borrow them from other languages. Such borrowings can be represented by additional non-tree edges. This paper addresses the problem of computing a small number of additional edges that turn a phylogeny into a "perfect phylogenetic network". To solve this problem, we use answer set programming, which represents a given computational problem as a logic program whose answer sets correspond to solutions. Using the answer set solver smodels, with some heuristics and optimization techniques, we have generated a few conjectures regarding the evolution of Indo-European languages.

[1]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[2]  Tandy Warnow,et al.  Indo‐European and Computational Cladistics , 2002 .

[3]  James F. O'Connell,et al.  A prehistory of Australia, New Guinea, and Sahul , 1982 .

[4]  Lothar von Falkenhausen,et al.  The Bronze Age and Early Iron Age Peoples of Eastern Central Asia: Volume II: Genetics and Physical Anthropology, Metallurgy, Textiles, Geography and Climatology, History, and Mythology and Ethnology , 1999 .

[5]  J. Mallory,et al.  In Search of the Indo-Europeans , 1989 .

[6]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[7]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[8]  Tommi Syrjänen.  Omega-Restricted Logic Programs , 2001, LPNMR.

[9]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[10]  T. Warnow,et al.  Perfect Phylogenetic Networks: A New Methodology for Reconstructing the Evolutionary History of Natural Languages , 2005 .

[11]  Rhys Jones,et al.  Thermoluminescence dating of a 50,000-year-old human occupation site in northern Australia , 1990, Nature.

[12]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[13]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[14]  I. Niemelä,et al.  Extending the Smodels system with cardinality and weight constraints , 2001 .