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.
KeywordsLogic Program Internal Vertex Stable Model Semantic Bidirectional Edge Perfect Network
Unable to display preview. Download preview PDF.
- 1.Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert Kowalski and Kenneth Bowen, editors, Logic Programming: Proc. Fifth Int’l Conf. and Symp., pages 1070–1080, 1988.Google Scholar
- 2.Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David Warren and Peter Szeredi, editors, Logic Programming: Proc. Seventh Int’l Conf., pages 579–597, 1990.Google Scholar
- 4.V.H. Mair, editor. The Bronze Age and Early Iron Age Peoples of Eastern Central Asia. Institute for the Study of Man, Washington, 1998.Google Scholar
- 5.J.P. Mallory. In Search of the Indo-Europeans. Thames and Hudson, London, 1989.Google Scholar
- 6.Victor Marek and Miroslaw Truszczyński. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375–398. Springer Verlag, 1999.Google Scholar
- 7.L. Nakhleh, D. Ringe, and T. Warnow. Perfect phylogenetic networks: A new methodology for reconstructing the evolutionary history of natural languages. Unpublished manuscript, 2002.Google Scholar
- 9.Ilkka Niemelä and Patrik Simons. Extending the Smodel system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Arti.cial Intelligence.Kluwer, 2000.Google Scholar
- 11.R.G. Roberts, R. Jones, and M.A. Smith. Thermoluminescence dating of a 50,000-year-old human occupation site in Northern Australia. Science, 345:153–156, 1990.Google Scholar
- 13.Tommi Syrjänen. Omega-restricted logic programs. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2001.Google Scholar
- 14.Tommi Syrjänen. Lparse 1.0 user’s manual,5 2002.Google Scholar
- 15.J.P. White and J.F. O’Connell. A Prehistory of Australia, New Guinea, and Sahul. Academic Press, New York, 1982.Google Scholar