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

2002 ◽  
pp. 160-176 ◽  
Author(s):  
Esra Erdem ◽  
Vladimir Lifschitz ◽  
Luay Nakhleh ◽  
Donald Ringe
Keyword(s):  
Evolutionary History ◽  
Answer Set Programming ◽  
European Languages ◽  
History Of ◽  
Answer Set

scholarly journals Temporal phylogenetic networks and logic programming

2006 ◽  
Vol 6 (5) ◽  
pp. 539-558 ◽  
Author(s):  
ESRA ERDEM ◽  
VLADIMIR LIFSCHITZ ◽  
DON RINGE
Keyword(s):  
Mathematical Model ◽  
Logic Programming ◽  
Evolutionary History ◽  
Phylogenetic Network ◽  
Answer Set Programming ◽  
Phylogenetic Networks ◽  
Natural Languages ◽  
European Languages ◽  
History Of ◽  
Linguistic Communities

The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their characteristics with each other when linguistic communities are in contact, and also that a contact is only possible when the languages are spoken at the same time. We show how computational methods of answer set programming and constraint logic programming can be used to generate plausible conjectures about contacts between prehistoric linguistic communities, and illustrate our approach by applying it to the evolutionary history of Indo-European languages.

Systems, Engineering Environments, and Competitions

AI Magazine ◽  
2016 ◽  
Vol 37 (3) ◽  
pp. 45-52 ◽  
Author(s):  
Yuliya Lierler ◽  
Marco Maratea ◽  
Francesco Ricca
Keyword(s):  
Systems Engineering ◽  
Answer Set Programming ◽  
Practical Applications ◽  
Development Tools ◽  
History Of ◽  
Answer Set

The goal of this article is threefold. First, we trace the history of the development of answer set solvers, by accounting for more than a dozen of them. Second, we discuss development tools and environments that facilitate the use of answer set programming technology in practical applications. Last, we present the evolution of the answer set programming competitions, prime venues for tracking advances in answer set solving technology.

scholarly journals Evaluation Techniques and Systems for Answer Set Programming: a Survey

2018 ◽  
Author(s):  
Martin Gebser ◽  
Nicola Leone ◽  
Marco Maratea ◽  
Simona Perri ◽  
Francesco Ricca ◽  
...  
Keyword(s):  
Knowledge Representation ◽  
Answer Set Programming ◽  
Knowledge Representation And Reasoning ◽  
Modeling Language ◽  
Scientific Applications ◽  
Two Factors ◽  
History Of ◽  
Evaluation Techniques ◽  
Answer Set

Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications. The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations. In this paper we trace the history of ASP systems, describing the key evaluation techniques and their implementation in actual tools.

scholarly journals Finding similar/diverse solutions in answer set programming

2011 ◽  
Vol 13 (3) ◽  
pp. 303-359 ◽  
Author(s):  
THOMAS EITER ◽  
ESRA ERDEM ◽  
HALIT ERDOGAN ◽  
MICHAEL FINK
Keyword(s):  
Distance Function ◽  
Search Algorithm ◽  
Answer Set Programming ◽  
Distance Measures ◽  
Product Configuration ◽  
Clustering Methods ◽  
Mathematical Functions ◽  
European Languages ◽  
Online Methods ◽  
Answer Set

AbstractFor some computational problems (e.g., product configuration, planning, diagnosis, query answering, phylogeny reconstruction), computing a set of similar/diverse solutions may be desirable for better decision-making. With this motivation, we have studied several decision/optimization versions of this problem in the context of Answer set programming (ASP), analyzed their computational complexity, and introduced offline/online methods to compute similar/diverse solutions of such computational problems with respect to a given distance function. All these methods rely on the idea of computing solutions to a problem by means of finding the answer sets for an ASP program that describes the problem. The offline methods compute all solutions of a problem in advance using the ASP formulation of the problem with an existing ASP solver, like clasp, and then identify similar/diverse solutions using some clustering methods (possibly in ASP as well). The online methods compute similar/diverse solutions of a problem following one of the three approaches: by reformulating the ASP representation of the problem to compute similar/diverse solutions at once using an existing ASP solver; by computing similar/diverse solutions iteratively (one after the other) using an existing ASP solver; by modifying the search algorithm of an ASP solver to compute similar/diverse solutions incrementally. All these methods are sound; the offline method and the first online method are complete whereas the others are not. We have modified clasp to implement the last online method and called it clasp-nk. In the first two online methods, the given distance function is represented in ASP; in the last one, however, it is implemented in C++. We have shown the applicability and the effectiveness of these methods using clasp or clasp-nk on two sorts of problems with different distance measures: on a real-world problem in phylogenetics (i.e., reconstruction of similar/diverse phylogenies for Indo-European languages), and on several planning problems in a well-known domain (i.e., Blocks World). We have observed that in terms of computational efficiency (both time and space), the last online method outperforms the others; also, it allows us to compute similar/diverse solutions when the distance function cannot be represented in ASP (e.g., due to some mathematical functions not supported by the ASP solvers) but can be easily implemented in C++.

Elaborating the role of reflection and individual differences in the study of folk-economic beliefs

2018 ◽  
Vol 41 ◽  
Author(s):  
Kevin Arceneaux
Keyword(s):  
Decision Making ◽  
Individual Differences ◽  
Cognitive Processes ◽  
Evolutionary History ◽  
Behavioral Responses ◽  
History Of ◽  
Economic Beliefs

AbstractIntuitions guide decision-making, and looking to the evolutionary history of humans illuminates why some behavioral responses are more intuitive than others. Yet a place remains for cognitive processes to second-guess intuitive responses – that is, to be reflective – and individual differences abound in automatic, intuitive processing as well.

Modern Greek V V dvandva compounds: A linguistic innovation in the history of the Indo-European languages

2009 ◽  
Vol 2 (1) ◽  
pp. 48-68 ◽  
Author(s):  
Angela Ralli
Keyword(s):  
Language Contact ◽  
High Rate ◽  
Compound Formation ◽  
Modern Greek ◽  
Late Medieval Period ◽  
European Languages ◽  
History Of ◽  
Internal Change ◽  
Contact Situation ◽  
Asian Languages

This paper deals with [V V] dvandva compounds, which are frequently used in East and Southeast Asian languages but also in Greek and its dialects: Greek is in this respect uncommon among Indo-European languages. It examines the appearance of this type of compounding in Greek by tracing its development in the late Medieval period, and detects a high rate of productivity in most Modern Greek dialects. It argues that the emergence of the [V V] dvandva pattern is not due to areal pressure or to a language-contact situation, but it is induced by a language internal change. It associates this change with the rise of productivity of compounding in general, and the expansion of verbal compounds in particular. It also suggests that the change contributes to making the compound-formation patterns of the language more uniform and systematic. Claims and proposals are illustrated with data from Standard Modern Greek and its dialects. It is shown that dialectal evidence is crucial for the study of the rise and productivity of [V V] dvandva compounds, since changes are not usually portrayed in the standard language.

N. V. Kyuner (1877-1955): ‘Korea in the Second Half of the 18th Century.’ The Unpublished Typescript

2018 ◽  
pp. 24-37
Author(s):  
Nataliya A. Chesnokova ◽  
Keyword(s):  
18Th Century ◽  
Far East ◽  
Development Stage ◽  
State University ◽  
Korean Society ◽  
European Languages ◽  
Foreign Policies ◽  
History Of ◽  
Crown Prince ◽  
Eastern Institute

Nikolai Vasilievich Kyuner (1877-1955) was a Russian Orientalist. Having graduated with merit from the St. Petersburg State University, he was sent to the Far East and spent there two years. Having returned, he was appointed head of the department of historical and geographical sciences at the Eastern Institute (Vladivostok) in 1904. Kyuner was one of the first Orientalists to teach courses in history, geography, and ethnography. His works number over 400. The article studies a typescript of his unpublished study ‘Korea in the second half of the 18th century’ now stored in the Archive of the Institute of Oriental Manuscripts of the Russian Academy of Sciences (St. Petersburg). Little known to Russian Koreanists, it nevertheless retains its scientific significance as one of the earliest attempts to study the history of the ‘golden age’ of Korea. The date of the typescript is not known, though analysis of the citations places its completion between 1931 and 1940. The article is to introduce the typescript into scientific use and to verify some facts and terms. N. V. Kuyner’s typescript consists of 8 sections: (1) ‘Introduction. Sources review’; (2) ‘General characteristics of the social development stage of Korea in the second half of the 18th century’; (3) ‘Great impoverishment of the country’; (4) ‘Peasantry’; (5) ‘Cities’; (6) ‘Popular revolts’; (7) ‘Military bureaucratic regime’; (8) ‘The Great Collection of Laws’ (a legal code). There are excerpts from foreign and national publications of the 19th - early 20th century, and there’s also some valuable information on Korean legal codes and encyclopedias of the 18th century, which have not yet been translated into any European languages. The typescript addresses socio-economic situation in Korea in the 18th century; struggles of the court cliques of the 16th-18th centuries and their role in inner and foreign policies of the country; social structure of the society and problems of the peasantry; role of trade in the development of the Middle Korean society; legal proceedings and legislation, etc. One of the first among Russian Koreanistics, N. V. Kyuner examined causes of sasaek (Korean ‘parties’) formation and the following events, linking together unstable situation in the country, national isolation, and execution of Crown Prince Sado (1735-1762).

Sign in / Sign up

Export Citation Format

Share Document