首页> 中文期刊> 《软件学报》 >一阶逻辑中约束求解的局部搜索法

一阶逻辑中约束求解的局部搜索法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

以一阶谓词逻辑为基础，讨论约束满足问题．着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较．以皇后问题和哈密顿回路问题为例，说明基于一阶逻辑的方法能处理较大的问题实例．

著录项

来源
《软件学报》 |1998年第8期|598-600|共3页
作者
张健;
展开▼
作者单位

中国科学院软件研究所计算机科学实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
约束满足问题; 一阶谓词逻辑; 局部搜索; 人工智能;

相似文献

中文文献
外文文献
专利

1. 求解带平衡约束圆形Packing问题的快速局部搜索算法 [J] . 刘建 ,黄文奇 . 中国图象图形学报 . 2008,第005期
2. 用改进的散射搜索法求解带平衡约束的圆形Packing问题 [J] . 王奕首 ,史彦军 ,滕弘飞 . 计算机学报 . 2009,第006期
3. 用约束构件快速搜索法求解高级杆组的位置问题 [J] . 张青 ,邹慧君 ,郭为忠 . 上海交通大学学报 . 2005,第1期
4. 约束直接搜索法求解螺旋桨参数优化设计问题 [J] . 魏东 ,张圣坤 . 上海交通大学学报 . 1997,第11期
5. 基于单纯形法进行局部优化的人群搜索算法求解绝对值方程 [J] . 封京梅 ,刘三阳 . 吉林大学学报（理学版） . 2019,第005期
6. 基于相容和搜索结合的并行约束求解方法 [C] . CAO Yan ,曹琰 ,WANG Qingxian . 2013年中国智能自动化会议 . 2013
7. 基于局部搜索的分布式约束优化问题求解算法研究 [A] . 余浙鹏 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号