约束满足系统研究
文献类型：学位论文
| 作者 | 廖乐健 |
| 学位类别 | 博士 |
| 答辩日期 | 1994 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 约束 约束满足 约束传播 约束网络 默认约束 类型层次 |
| 学位专业 | 计算机科学理论 |
| 中文摘要 | 本论文的贡献主要在以下几个方面：在默认约束推理方面，将默认逻辑应用于约束满足问题，提出了默认约束满足的概念，并进一步探讨了优先默认约束及带类型的默认约束表示的语义问题，并提出了相应的求解算法。关于类型层次上的默认约束推理的研究解决了不同类的属性间约束关系相互情形下的广义默认继承问题。除了给出默认约束满足的树搜索算法之外，我们还提出了用修正法搜索实现默认约束推理的思想。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 89 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6230]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 廖乐健. 约束满足系统研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1994. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。