基于时序逻辑的Resolution自动定理证明方法
全新正版现货
￥ 38.5 7.0折 ￥ 55 全新
仅1件
作者章岚
出版社首都经济贸易大学出版社
ISBN9787563832668
出版时间2021-09
装帧平装
开本16开
纸张胶版纸
定价55元
货号29301771
上书时间2024-07-12
- 在售商品 暂无
- 平均发货时间 18小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 正版全新
- 商品描述
-
【内容简介】:
时序逻辑是人工智能和计算机科学领域中的重要建模工具。随着时序逻辑的广泛使用，应用时序逻辑来对复杂系统进行推理和验证的算法也应运而生。其中成功的方法之一就是Resolution算法，这也是本书的主题。
1965年美国数理逻辑专家鲁滨逊（J. A. Robinson）提出了一条Resolution推理规则，这标志着Resolution算法的起点。因其简洁性（整个推理过程中只使用一条推理规则）和便于机械操作的特点，Resolution算法得到了各国学者的重视，并且在各国学者的推动下发展得非常迅速。经过几十年的发展和持续的改进，到目前为止，Resolution算法在经典逻辑中已经趋于成熟。
本书主要聚焦Resolution算法在时序逻辑领域的研究，详细介绍了把Resolution算法从表达能力较弱的时序逻辑逐渐向表达能力较强的时序逻辑进行拓展和优化的研究成果。主要涉及以下几种时序逻辑：
（1）线性时序逻辑（Propositional Linear-Time Temporal Logic）
（2）计算树逻辑（Computation Tree Logic）和其扩展（Extended Computation Tree Logic）
（3）交互时序逻辑（Alternating-Time Temporal Logic）
【作者简介】:
章岚，2011年毕业于英国利物浦大学，并获得博士学位（专业方向：计算机科学）。
主要研究方向为人工智能，计算机逻辑，形式化验证（Formal Verification,Theoremproving）。
主讲课程为《电子商务系统分析》、《数据库应用》、《专业外语》等。
相关推荐
-
基于时序逻辑的Resolution自动定理证明方法
全新广州
￥ 40.43
-
基于时序逻辑的Resolutin自动定理证明方法
全新廊坊
￥ 40.20
-
基于时序逻辑的Resolution自动定理证明方法
九五品北京
￥ 35.75
-
基于时序逻辑的Resolution自动定理证明方法(英文版)
全新威海
￥ 37.82
-
反应式和并发系统的时序逻辑！
全新北京
￥ 54.01
-
反应式和并发系统的时序逻辑
全新广州
￥ 50.17
-
反应式和并发系统的时序逻辑
全新武汉
￥ 60.04
-
反应式和并发系统的时序逻辑
全新保定
￥ 47.30
-
反应式和并发系统的时序逻辑
全新无锡
￥ 60.04
-
反应式和并发系统的时序逻辑
全新保定
￥ 53.60
— 没有更多了 —
以下为对购买帮助不大的评价