白硕
- 作品数：5 被引量：16H指数：2
- 供职机构：国家智能计算机研究开发中心更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 不完全知识下的概念聚类被引量：9
- 1995年
- 概念聚类通常使用统计的或基于距离的方法．至于逻辑方法，在不完全知识下往往需要引入非单调性．众所周知，在知识“太不完全”时使用非单调方法，将导致“多扩张”问题．本文提出了一种不完全知识下的交互式逻辑聚类方法，该方法在语言学上的应用已取得令人满意的效果．
- 白硕
- 关键词：概念聚类非单调推理
- 非单调逻辑十五年被引量：1
- 1995年
- 本文综述非单调逻辑十五年来的主要成果.分析非单调逻辑的理论实质、现有困难和应用前景.作者认为,非单调逻辑的理论实质是演绎推理同某种优先序的结合;非单调逻辑的现有困难主要是实现效率;非单调逻辑的发展和应用前景不容乐观.
- 白硕李国杰
- 关键词：非单调逻辑常识推理人工智能
- 3-SAT问题相变现象的统计描述被引量：2
- 1997年
- 3SAT问题有一个非常奇妙的相变现象.对于固定的变量数N,合取范式的可满足概率随着子句数K的变化而发生剧烈的变化,当K≈4.3*N时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设计有着非常重要的意义. 在文献中,我们着重从宏观的角度,用回归分析的方法逼近相变曲线,进而求得两个重要的参数α和β.本文从统计的角度对3SAT问题的相变现象进行描述,更深刻地揭示出相变的实质.
- 卜东波白硕邓晶
- 关键词：约束满足问题组合优化
- 2-3-SAT问题相变现象剖析及其应用被引量：3
- 1998年
- ３－ＳＡＴ问题有一个非常奇妙的相变现象．对于固定的变量数Ｎ，合取范式的可满足概率随着子句个数Ｋ的变化而发生剧烈的变化；当Ｋ≈４．３＊Ｎ时，可满足概率急剧地从１变为０．相变现象决定了问题的难易分布，对于快速求解算法的设计有着非常重要的意义．文章着重讨论了ＳＡＴ问题的更一般形式，即２－３－ＳＡＴ问题的相变现象．研究了相变点处的２－子句和３－子句个数的关系，发现了２－子句和３－子句在约束能力意义下的当量关系。
- 白硕卜东波
- 关键词：NP完全问题SAT问题计算机
- 认知硬度与默认分层理论被引量：1
- 1993年
- 一、引言信念是缺乏充分理性基础的判断,是知识不足、资源不足条件下适应环境、指导行为所不可缺少的认知手段。一个能对信念进行表示和推理的系统,应包括下述三个要素:(1) 信念的逻辑内容;(2) 对信念的评价及其随推理过程的传播;(3) 对相互冲突的信念的选择。根据对信念之组成的这种认识,我们来看一看传统上对信念进行逻辑刻画的几个主要途径。
- 白硕
