Constraint based and hypothetical reasoning for human and molecular biology languages

人类和分子生物学语言的基于约束和假设的推理

• 批准号: 2436-2006
• 负责人: Dahl, Veronica
• 金额: $ 2.19万
• 依托单位: Simon Fraser University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2006
• 资助国家: 加拿大
• 起止时间: 2006-01-01 至 2007-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=338340
• 关键词: Constraint; based; hypothetical; reasoning; human

Recent advances in the computational study of language grammars and rules, a branch of Artificial Intelligence, have the potential for practical, real-world applications. Most notably, the discovery of the human genome, partly through methodologies I helped develop (logic grammars), has highlighted the potential benefits of viewing molecular biology problems as specialized linguistic problems: DNA can be seen as a language with an alphabet of four letters (the nucleotides A, C, T and G), and  the genome can be viewed as the 'book of life'.      The proposed research aims at extending our understanding of not only human languages, but the language of life, by further interleaving these fields. I will explore the potential of promising methodologies for language processing, in particular HYPROLOG, our novel logic programming language which extends the possibilities of classical logic by allowing the user to explore "what if" scenarios, and to hypothesize possible explanations using abduction (the unsound but useful inference of p as a possible explanation for q given that p implies q).      I will also further explore a promising new linguistic paradigm, that of Property Grammars, which allows incomplete and even incorrect input to be parsed. Research will continue on my recently developed parser that invisibly endows descriptions made by non-computer specialists (e.g. linguists) with direct and automatic, while efficient, executability. Semantic aspects, and relation to current computational linguistic theories, will be examined in the medium term. In the long term, this research is expected to result in industrially useful expert systems for linguists, and perhaps even to have an impact on linguistic theory itself.      Finally, I will continue cross-fertilizing the natural language processing field with that of knowledge based systems, focussing on knowledge discovery. My recent research has uncovered the usefulness of my methodology for parsing property grammars as applied to knowledge discovery, in particular, for extracting concepts from arbitrary text found in the internet. This has many interesting short-term potential spin-offs, e.g. applications to phylogenetic classification.

语言语法和规则的计算研究是人工智能的一个分支，最近取得的进展具有实际应用的潜力。最值得注意的是，人类基因组的发现，部分是通过我帮助开发的方法论(逻辑语法)，突显了将分子生物学问题视为专门的语言问题的潜在好处：DNA可以被视为一种由四个字母组成的语言(核苷酸A、C、T和G)，以及基因组可以被视为“生命之书”。他说，拟议的研究旨在通过进一步交错这些领域，不仅扩大我们对人类语言的理解，而且扩大我们对生活语言的理解。我将探索语言处理的有前途的方法的潜力，特别是HYPROLOG，这是我们的新型逻辑编程语言，它通过允许用户探索“假设”场景来扩展经典逻辑的可能性，并使用推导假设可能的解释(假设p意味着Q，p作为对q的可能解释，p是不合理但有用的推理)。接下来，我还将进一步探索一种很有前途的新语言范式，即属性语法，它允许解析不完整甚至不正确的输入。我将继续研究我最近开发的解析器，它无形地赋予非计算机专家(例如语言学家)所做的描述直接和自动的，同时也是高效的可执行性。语义方面，以及与当前计算语言学理论的关系，将在中期进行审查。从长远来看，这项研究有望为语言学家带来工业上有用的专家系统，甚至可能对语言理论本身产生影响。最后，我将继续将自然语言处理领域与基于知识的系统领域交叉肥沃，专注于知识发现。我最近的研究揭示了我的方法在分析属性语法时的用处，将其应用于知识发现，特别是从互联网上发现的任意文本中提取概念。这有许多有趣的短期潜在副产品，例如在系统发育分类方面的应用。