首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9篇
  免费   4篇
  国内免费   4篇
自动化技术   17篇
  2005年   2篇
  2004年   2篇
  2003年   5篇
  2002年   2篇
  2001年   1篇
  1999年   2篇
  1997年   1篇
  1995年   1篇
  1992年   1篇
排序方式: 共有17条查询结果,搜索用时 15 毫秒
1.
交互技术在手写公式编辑中的应用   总被引:3,自引:1,他引:3  
遵循泛化计算理论,设计实现了一个联机手写公式编辑系统,以提高识别率和交互(效)率.该系统采用上下文感知技术来辅助切分、解决符号的二义性;采用备选择优、直接指定技术来修正字符的识别结果;采用局部放大解决笔画交叉时的分割问题;最后还给出一个补笔算法.实验表明,这些技术的应用使得数学公式的识别率和系统交互(效)率得到有效的提高,同时使该系统具有自然、隐式交互的特点。  相似文献   
2.
In this paper, the computational complexity of prepositional clause set counterfactuals is discussed. It is shown that the computational complexity of prepositional clause set counterfactuals is at the second level of the polynomial hierarchy, and that the computational complexity of prepositional Horn clause set counterfactuals is at the first level of the polynomial hierarchy. Furthermore, some polynomial algorithms are presented for some special prepositional clause set, such as the unique satisfiable clause set and the clause set of which only one subset is minimally inconsistent with the input clause whose inconsistency check can be solved in polynomial time.  相似文献   
3.
栾尚敏  戴国忠 《计算机科学》2004,31(12):100-102
本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作。  相似文献   
4.
信念修正的各种方法之比较   总被引:4,自引:2,他引:2  
自从1956年提出了“人工智能”以来,人们已在这一领域做了大量的工作,很多专家系统已经非常成功地得到了应用。当前哲学和人工智能领域的热点之一就是信念修正(belief revision),下面我们用文中的例子来说明信念修正的意义。假设有如下的四个命题  相似文献   
5.
危辉  栾尚敏 《软件学报》2004,15(11):1616-1628
根据认知的计算神经科学的观点,提出了一种基于神经系统动力学理论和连通图的信息的直接表达方式.它首先定义了知觉信息直接表达的神经结构和动力学模式,然后提出一个双层的网络计算模型,分别用于记录外界刺激的特征信息和连通对应的特定神经回路的连接模式,这是通过结构学习来实现的.在两层神经元间建立起来的连通结构同时起到联想记忆的作用,记忆的可靠程度由神经回路的连通度来决定.这种直接表达方式对于人工智能中关于语义表达和基于语义的推理研究具有重要意义.  相似文献   
6.
In this paper,we present a programmable method of revising a finite clause set.We first present a procedure whose formal parameters are a consistent clause set Γand a clause A and whose output is a set of minimal subsets of Γwhich are inconsistent with A.The maximal consistent subsets can be generated from all minimal inconsistent subsets.We develop a prototype system based on the above procedure,and discuss the implementation of knowledge base maintenance.At last,we compare the approach presented in this paper with other related approaches,The main characteristic of the approach is that it can be implemented by a computer program.  相似文献   
7.
栾尚敏  李未  马绍汉 《软件学报》1999,10(7):679-684
算法框架是实现算法重定位的一种可操作的方法.文章给出了算法重定位的定义,讨论了如何通过选择操作和组合操作来设计算法框架.然后给出了定义选择操作和组合操作的一种方法.由文章所定义的算法框架得到求解某一问题的算法模式,从该算法模式就可以生成求解该问题的算法.文章最后讨论了算法框架和算法模式以及模块化算法之间的关系.研究算法重定位及其可操作的方法对软件自动化和机器学习有着重要的意义.  相似文献   
8.
一类问题的描述方式及其算法   总被引:3,自引:0,他引:3  
栾尚敏  马绍汉 《计算机学报》1995,18(10):755-762
本文给出了一类问题的一种描述方式,这类问题包括有向图的最短路问题、赫夫曼问题、矩阵链问题、汉密顿回路问题等等。在这种描述方式的基础上,给出了一个算法模式,并讨论了如何通过该算法模式得到回溯算法、动态规划算法、分枝限界算法、贪心算法以及启发式搜索算法等等,只要对这个算法模式中的变量给出不同的定义就可以得到求解这类问题中某一具体问题的算法,最后还给出了SIMD模型上的一个并行算法模式,通过该并行算法模  相似文献   
9.
李未  栾尚敏 《软件学报》2002,13(1):59-64
给出了命题逻辑上信念修正的两种可操作的完全方法.首先对R-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到.然后,给出了求得所有的极小不协调子集的一组规则.最后,给出一个过程,该过程能求得所有的极大协调子集.因为这两种方法都能求得所有的极大协调子集,所以把它们称为完全的.  相似文献   
10.
有限信念集上修正的一种方法   总被引:3,自引:0,他引:3  
栾尚敏  戴国忠 《软件学报》2003,14(5):911-917
讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号