CHR作为语法形式主义。第一次报告
CHR as grammar formalism. A first report
摘要：
作为约束处理规则（Constraint Handling Rules，简写为CLR）编写的语法可以作为高效和健壮的自底向上解析器来执行，它提供了一种直接的、非回溯的歧义处理方法。具有完整性约束的溯因推理以及其他动态假设生成技术自然地适合于这种语法，并被举例用于回指解析、协调和文本解释。
英文摘要：
Grammars written as Constraint Handling Rules (CHR) can be executed as efficient and robust bottom-up parsers that provide a straightforward, non-backtracking treatment of ambiguity. Abduction with integrity constraints as well as other dynamic hypothesis generation techniques fit naturally into such grammars and are exemplified for anaphora resolution, coordination and text interpretation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
