让我们演绎一下!
摘要
建议
让我们演绎一下! IJCAI'97:第十五届人工智能国际联合会议记录-第2卷 本文描述了一种转换逻辑TL及其演绎形式,并说明了如何在TL中建模规划中涉及的各个重要方面(如分支、限定、特殊性、同时性、不确定性等)。。。 Otter-Lambda中的数学归纳法 Otter-lambda经过Otter修改,添加了代码来实现lambda统一的算法。 Otter是一个基于分辨率的小句语言一级证明语,它积累了推导出的小句,并使用策略来控制推导和保留。。。
评论
信息和贡献者
问询处
发布于
出版商
出版历史
作者标记
限定符
第条
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
其他指标
引文
引用人
蒂尔舍尔M (2019) 资格问题 人工智能 10.1016/S0004-3702(01)00131-X 131 :1-2 (1-37) 在线发布日期:2019年1月4日 Chang H公司 苏V (2009) 具有社会后果的计划行动 代理计算和多代理系统 10.1007/978-3-642-01639-4_7 (74-85) 在线发布日期:2009年4月21日 施密德·U 米勒·M Wysotzki F公司 (2002) 状态规划中的集成功能应用 第25届德国人工智能年会论文集:人工智能进展 10.5555/647621.732240 (144-162) 在线发布日期:2002年9月16日 蒂尔舍尔M (2001) 利用感知动作推断隐含状态知识和计划 德国/奥地利人工智能联合会议记录:人工智能进展 10.5555/647620.732080 (366-380) 在线发布日期:2001年9月19日 蒂尔舍尔M (2001) 用嘈杂的行动进行规划 第十四届澳大利亚人工智能联合会议记录:人工智能进展 10.5555/646078.678544 (495-506) 在线发布日期:2001年12月10日 霍尔多布勒S 库斯克D (2000) 流畅演算的可判定片段和不可判定片段之间的边界 第七届程序设计和自动推理逻辑国际会议记录 10.5555/1765236.1765275 (436-450) 在线发布日期:2000年11月6日