文件名称：LangPro:基于Tableau的自然逻辑和语言定理证明
文件大小：15.04MB
文件格式：ZIP
更新时间：2024-06-06 09:06:15
Prolog
：天然uage定理版本 LangPro是基于表格的定理证明器，用于自然逻辑和语言。 请参阅（不是最新版本）。 给定一组前提和自然语言中的假设，LangPro试图找出它们之间的语义关系： entailment （即yes ）， contradiction （即no ）或neutral （即unknown ）。 为此，LangPro需要语言表达的CCG（组合分类语法）派生，以便通过LLFgen（LLF生成器）组件从中获得Lambda逻辑形式（LLF）。 该体系结构如下所示： ____________ ________ ___________ ________________________ __________ |Premises &| | CCG | derivations | LLF | LLFs |Tableau Th