文章免费访问 在上共享 让我们进行演绎式计划吧！ 作者： W.比贝尔 德国达姆施塔特科技大学 德国达姆施塔特科技大学查看配置文件 作者信息和声明 人工智能第103卷第1-2期1998年8月第183–208页https://doi.org/10.1016/S0004-3702(98)00064-2出版：1998年8月1日出版历史 人工智能第103卷第1-2期 上一个第条下一步第条 摘要没有可用的摘要。 引用人查看全部 索引术语 让我们演绎一下！计算方法人工智能知识表示和推理计划和调度符号和代数操作符号和代数算法定理证明算法计算理论逻辑计算模型可计算性 建议 让我们演绎一下！IJCAI'97：第十五届人工智能国际联合会议记录-第2卷 本文描述了一种转换逻辑TL及其演绎形式，并说明了如何在TL中建模规划中涉及的各个重要方面（如分支、限定、特殊性、同时性、不确定性等）。。。阅读更多信息Otter-Lambda中的数学归纳法 Otter-lambda经过Otter修改，添加了代码来实现lambda统一的算法。Otter是一个基于分辨率的小句语言一级证明语，它积累了推导出的小句，并使用策略来控制推导和保留。。。阅读更多信息用理论进行一阶自动推理：当演绎模理论符合实践时摘要我们讨论了基于演绎模理论的第一代自动定理证明器所获得的实际结果。特别地，我们证明了这种框架可以为一阶定理证明器带来具体的改进，并具有。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此文章 问询处贡献者发布于 人工智能 第103卷第1-2期专题：40年后的人工智能1998年8月350页ISSN公司：0004-3702编辑：丹尼尔·博布罗施乐公司，加利福尼亚州帕洛阿尔托问题目录 发起人合作中出版商爱思唯尔科学出版有限公司。英国 出版历史 出版：1998年8月1日 作者标记自动演绎框架问题线性连接法规划资格鉴定分支关于行为和因果关系的推理转换逻辑限定符文章会议资金来源 其他指标查看文章指标文献计量学引文6文章指标6引文总数查看引文0总下载次数下载次数（过去12个月）0下载次数（最近6周）0其他指标查看作者指标引用人查看全部数字版在数字版中查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.1016/S0004-3702(98)00064-2复制链接在社交媒体上分享 在上共享 0工具书类
