基于广义规则的知识表示方法

大型AI系统的知识表示方法是人工智能应用的难点．在提高知识表示能力和降低系统复杂性之间，提出基于广义规则的知识表示模式以及该模式知识的存储策略，统一了确定性知识和不确定性知识的表示模式．实验分析表明该方法具有较强的实际应用价值．     

Datalog线性递归程序的自动编译

基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法，研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式。     

一种新的一次性口令认证方案

口令安全是身份认证中的关键性因素。文中提出了一种新的基于单向哈希函数的一次性口令认证方案，同传统的认证方案相比，该方案具有安全性高，额外开支小等优点。     

任意时间算法的性能描述

任意时间算法能够折衷解的质量和计算时间,被广泛用在实时系统与人工智能技术结合的系统中。为了保证任意时间算法在截止期到来之际得到的解的质量是可以接受的,有必要对任意时间算法的性能进行描述。本文阐述了任意时间算法性能描述的类型以有如何获得和表示性能描述。