×
丹尼尔·布鲁克斯（Daniel R.Brooks）。;埃斯拉·埃尔登;塞利姆·T·埃尔多安。;詹姆斯·米内特（James W.Minett）。;唐·林奇

使用答案集编程推断系统发育树。 （英语） Zbl 1132.68676号

J.汽车。推理 39，第4号，471-511（2007）.
摘要：我们描述了一组分类群的系统发育重建，采用基于特征的分支分类学方法，采用声明性知识表示形式，并展示了如何使用答案集编程的计算方法生成关于给定分类群进化的猜测。我们将这种计算方法应用于两个领域：语言的历史分析和准现场宿主系统的历史分析。特别是，使用这种方法，我们计算了中国方言、印欧语族和阿尔卡他尼亚语族的一些似是而非的系统发育。其中一些看似合理的系统发育与其他软件计算的系统发育不同。使用这种方法，我们可以很容易地描述特定领域的信息（例如，时间和地理限制），从而阻止一些不合理的系统发育重建。

引用于9文件

MSC公司：

第68页第15页 定理证明（演绎、解析等）（MSC2010）
68N17号 逻辑编程
91层20 语言学
92D15型 与进化有关的问题
68立方英尺 知识表示

关键词：

答案集编程;系统发育;分支分类学

软件：

菲律宾;PAUP公司*;糠
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Brooks}等人，J.Autom。推理39，第4期，471-511（2007年；Zbl 1132.68676）
全文： 内政部

参考文献：

[1] Ben Hamed，M.：邻里网络描绘了中国方言的连续体和中国民间历史的语言遗产。程序。英国皇家学会。，B 272（1567），1015–1022（2005）·doi:10.1098/rspb.2004.3015
[2] Bodlaender，H.L.，Fellows，M.R.，Hallett，M.T.，Wareham，H.T.，Warnow，T.J.：薄色图上完美系统发育的困难，可行的寄存器分配和其他问题。西奥。公司。科学。244(1–2), 167–188 (2000) ·Zbl 0945.68145号 ·doi:10.1016/S0304-3975（98）00342-9
[3] Brooks，D.R.，Erdem，E.，Minett，J.W.，Ringe，D.：基于特征的分支系统学和答案集编程。摘自：第七届声明性语言实践方面国际研讨会论文集，第37-51页（2005年）
[4] Brooks，D.R.、Mayden，R.L.、McLennan，D.A.：系统发育和生物多样性：保护我们的进化遗产。经济趋势。进化。7, 55–59 (1992) ·doi:10.1016/0169-5347（92）90107-M
[5] Brooks，D.R.，McLennan，D.A.：系统发育、生态学和行为：比较生物学研究项目。芝加哥大学出版社，伊利诺伊州芝加哥（1991）
[6] Camin，J.H.，Sokal，R.R.：一种推导系统发育中分支序列的方法。进化19，311–326（1965）·doi:10.2307/2406441
[7] Chandler，R.M.：阿尔奇德的系统发育分析。堪萨斯大学博士论文（1990年）
[8] Day，W.H.E.，Sankoff，D.：通过相容性推断系统发育的计算复杂性。系统。Zool（动物园）。35（2），224–229（1986）·Zbl 0607.92002 ·doi:10.2307/2413432
[9] Dyen，I.，Kruskal，J.B.，Black，P.：印欧分类：词汇统计实验。事务处理。美国菲洛斯。《社会分类》第82卷第1-132页（1992年）·doi:10.2307/1006517
[10] Edwards，A.W.F.，Cavalli-Sforza，L.L.：进化树的重建。摘自：《表型和系统发育分类》，第67-76页（1964年）
[11] Erdem，E.，Lifschitz，V.：严密逻辑程序。西奥。实际。日志。掠夺。3(4–5), 499–518 (2003) ·Zbl 1079.68014号 ·文件编号：10.1017/S1471068403001765
[12] Erdem，E.，Lifschitz，V.，Nakhleh，L.，Ringe，D.：使用答案集编程重建印欧语言的进化历史。摘自：第五届声明性语言实践方面国际研讨会论文集，第160–176页（2003年）·Zbl 1026.68772号
[13] Erdem，E.，Lifschitz，V.，Ringe，D.：时间系统发育网络和逻辑编程。理论与实践。日志。程序。6(5), 539–558 (2006) ·Zbl 1122.68026号 ·doi:10.1017/S1471068406002729
[14] 埃尔多安，S.T.，利夫希茨，V.：答案集编程中的定义。摘自：《第七届逻辑程序设计和非单调推理国际会议论文集》，第114-126页（2004）·Zbl 1121.68330号
[15] Felsenstein，J.：推断进化树的数值方法。Q.生物评论。57, 379–404 (1982) ·数字对象标识代码：10.1086/412935
[16] Felsenstein，J.:PHYLIP（系统发育推断包）3.6版（2004）（由作者分发）
[17] Ferraris，P.，Lifschitz，V.：答案集编程的数学基础。我们将向他们展示！Dov Gabbay荣誉论文，第1卷，学院出版物，第615-664页（2005）·Zbl 1220.68035号
[18] Ferraris，P.，Lifschitz，V.：权重约束作为嵌套表达式。西奥。实际。日志。掠夺。5, 45–74 (2005) ·兹比尔1093.68017 ·文件编号：10.1017/S1471068403001923
[19] Fitch，W.M.：关于定义进化过程：特定树拓扑的最小变化。系统。Zool（动物园）。20(4), 406–416 (1971) ·doi:10.2307/2412116
[20] Foulds，L.R.，Graham，R.L.：系统发育史中的Steiner树问题是NP完全的。高级应用程序。数学。3，43–49（1982年）·Zbl 0489.92002号 ·doi:10.1016/S0196-8858（82）80004-3
[21] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：Kowalski，R.，Bowen，K.（编辑）《逻辑编程：第五届国际会议和研讨会论文集》，第1070–1080页（1988）
[22] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代。计算。9, 365–385 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[23] Hennig，W.：Grundzuege-einer系统发育理论。德国Zentralverlag（1950）
[24] Hennig，W.：系统发育系统学。每年。昆虫学评论。10, 97–116 (1965) ·doi:10.1146/annurev.en.10.010165.000525
[25] Hennig，W.：系统发育系统学。伊利诺伊大学出版社（1966），由D.D.Davis和R.Zangerl从Grundzuege-einer Theorye der syntheetischen Systematik（1950）翻译而来
[26] Hoberg，E.P.：寄生虫-宿主组合的进化和历史生物地理学：水蚤科（Chradiformes）中的水蚤属。可以。J.佐尔。64, 2576–2589 (1986) ·doi:10.1139/z86-378
[27] Hoberg，E.P.：海鸟、鳍足类和绦虫生物地理学和物种形成的一致和同步模式。《寄生虫学杂志》。78(4), 601–615 (1992) ·数字对象标识代码：10.2307/3283535
[28] Lifschitz，V.：答案集编程和计划生成。Artif公司。智力。138, 39–54 (2002) ·Zbl 0995.68020号 ·doi:10.1016/S0004-3702（02）00186-8
[29] Lifschitz，V.，Tang，L.R.，Turner，H.：逻辑程序中的嵌套表达式。安。数学。Artif公司。智力。25, 369–389 (1999) ·Zbl 0940.68075号 ·doi:10.1023/A:1018978005636
[30] Lloyd，J.：逻辑编程基础。施普林格，柏林-海德堡-纽约（1984）·Zbl 0547.68005号
[31] Mair，V.H.（编辑）：青铜时代和早期铁器时代的东亚民族。华盛顿人的研究所（1998年）
[32] J.P.马洛里：《寻找印欧人》。泰晤士河和哈德逊河，伦敦（1989年）
[33] Marek，V.，Truszczynski，M.：稳定模型和替代逻辑编程范式。《逻辑编程范式：25年视角》，第375–398页。施普林格，柏林-海德堡-纽约（1999）·Zbl 0979.68524号
[34] Minett，J.W.，Wang，W.S.-Y.：关于检测借词：基于距离和基于字符的方法。Diachronia 20（2），289–330（2003）·doi:10.1075/dia.20.2.04分钟
[35] Moskewicz，M.W.，Madigan，C.F.，Zhao，Y.，Zhang，L.，Malik，S.：Chaff：设计一个高效的SAT求解器。In:设计自动化会议记录（DAC2001）（2001）
[36] Nakhleh，L.，Ringe，D.，Warnow，T.：完美的系统发育网络：重建自然语言进化历史的新方法。语言81（2），382–420（2005）·doi:10.1353/lan.2005.0078
[37] Rexova，K.，Frynta，D.，Zrzaví，J.：语言的分支分析：基于词汇统计数据的印欧分类。分支分类学19，120–127（2003）·doi:10.1111/j.1096-0031.2003.tb00299.x
[38] Ringe，D.，Warnow，T.，Taylor，A.：印欧分支学和计算分支学。事务处理。菲尔。Soc.100（1），59–129（2002年）·doi:10.1111/1467-968X.00091
[39] Roberts，R.G.，Jones，R.M.，Smith，M.A.：澳大利亚北部一处50000年人类居住遗址的热释光年代测定。《科学》345153-156（1990）
[40] Simons，P.，Niemelä，I.，Soininen，T.：扩展和实现稳定模型语义。Artif公司。智力。138, 181–234 (2002) ·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[41] Swofford，D.L.:PAUP*：简约（和其他方法）下的系统发育分析，版本4.0。西诺协会，马萨诸塞州桑德兰（2003年）
[42] 怀特，J.P.，奥康奈尔，J.F.：澳大利亚、新几内亚和萨赫勒的史前史。加州圣地亚哥学术出版社（1982年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。