首页> 外文学位 >Natural language explanation of natural deduction proofs.

【24h】

Natural language explanation of natural deduction proofs.

机译：自然语言解释的自然演绎证明。

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Edgar, Andrew.;
展开▼
作者单位

University of Alberta (Canada).;

展开▼
授予单位 University of Alberta (Canada).;
学科 Computer science.
学位 M.Sc.
年度 1991
页码 111 p.
总页数 111
原文格式 PDF
正文语种 eng
中图分类老年病学;
关键词
入库时间 2022-08-17 11:50:33

相似文献

外文文献
中文文献
专利

1. Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity [J] . Bartosz Wieckowski Journal of logic, language and information . 2016,第2期

机译：具有非原始身份的自然主义一阶语言的亚原子自然演绎
2. Hyper Natural Deduction for Godel Logic-A natural deduction system for parallel reasoning [J] . Beckmann Arnold, Preining Norbert Journal of logic and computation . 2018,第6期

机译：Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
3. Applying Automated Deduction To Natural Language Understanding [J] . Johan Bos Journal of Applied Logic . 2009,第1期

机译：将自动演绎应用于自然语言理解
4. Precisiated natural language (PNL) - toward an enlargement of the role of natural languages in computation, deduction, definition and decision [C] . Zadeh, L.A. . 2003

机译：预设自然语言（PNL）-扩大自然语言在计算，演绎，定义和决策中的作用
5. Language and the Existence of God: The Tension between Nativism and Naturalism in the Linguistic Theories of Noam Chomsky and Jerry Fodor, Together with an Inference to the Best Explanation for Theistic Non-naturalism [D] . Holloway, Ben. 2020

机译：语言与上帝的存在：Noam Chomsky和Jerry Fodor语言理论中的生命主义与自然主义的紧张，以及对神学非自然主义的最佳解释的推论
6. Generating patient-specific interactive natural language explanations. [O] . G. Carenini, V. O. Mittal, J. D. Moore 1994

机译：生成特定于患者的交互式自然语言说明。
7. ASPIC-END: Structured Argumentation with Explanations and Natural Deduction [O] . Dauphin, Jérémie, Cramer, Marcos 2018

机译：aspIC-END：结构化论证与解释和自然演绎

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号