中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
约束满足系统研究
作者: 廖乐健
答辩日期: 1994
专业: 计算机科学理论
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
关键词: 约束 ; 约束满足 ; 约束传播 ; 约束网络 ; 默认约束 ; 类型层次
摘要: 本论文的贡献主要在以下几个方面:在默认约束推理方面,将默认逻辑应用于约束满足问题,提出了默认约束满足的概念,并进一步探讨了优先默认约束及带类型的默认约束表示的语义问题,并提出了相应的求解算法。关于类型层次上的默认约束推理的研究解决了不同类的属性间约束关系相互情形下的广义默认继承问题。除了给出默认约束满足的树搜索算法之外,我们还提出了用修正法搜索实现默认约束推理的思想。
英文摘要: The contributions of the paper include the following points: in default constraint reasoning, the authors apply default logic to constraint representation, and propose the idea of default constraint satisfaction. Further more they investigate the more general representation: prioritized default constraint satisfaction and sorted default constraint satisfaction. Algorithms for such representations are proposed. In the research of constraint satisfaction techniques, aimed at the problem of comprising the conflicting goals of reducing search space and reducing the computational cost to do it, the authors designed a integrated CSP algorithm that combines intelligent back-tracking, constraint propagation and variable rearrangement.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6230
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
N90449.pdf(2186KB)----限制开放-- 联系获取全文

Recommended Citation:
廖乐健. 约束满足系统研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1994-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[廖乐健]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[廖乐健]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace