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

  • Esra Erdem
  • Vladimir Lifschitz
  • Luay Nakhleh
  • Donald Ringe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2562)


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.


Logic Program Internal Vertex Stable Model Semantic Bidirectional Edge Perfect Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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
  3. 3.
    Vladimir Lifschitz. Answer set programming and plan generation. Artificial Intelligence, 138:39–54, 2002.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 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. 5.
    J.P. Mallory. In Search of the Indo-Europeans. Thames and Hudson, London, 1989.Google Scholar
  6. 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. 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
  8. 8.
    Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Arti.cial Intelligence, 25:241–273, 1999.zbMATHCrossRefGoogle Scholar
  9. 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
  10. 10.
    D. Ringe, T. Warnow, and A. Taylor. Indo-European and computational cladistics. Transactions of the Philological Society, 100(1):59–129, 2002.CrossRefGoogle Scholar
  11. 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
  12. 12.
    Patrik Simons, Ilkka Niemelä, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138:181–234, 2002.zbMATHCrossRefMathSciNetGoogle Scholar
  13. 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. 14.
    Tommi Syrjänen. Lparse 1.0 user’s manual,5 2002.Google Scholar
  15. 15.
    J.P. White and J.F. O’Connell. A Prehistory of Australia, New Guinea, and Sahul. Academic Press, New York, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Esra Erdem
    • 1
  • Vladimir Lifschitz
    • 2
  • Luay Nakhleh
    • 2
  • Donald Ringe
    • 3
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada
  2. 2.Department of Computer SciencesUniversity of Texas at AustinAustinUSA
  3. 3.Department of LinguisticsUniversity of PennsylvaniaPhiladelphiaUSA

Personalised recommendations