L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法

将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基础上,给出了L3*中对称逻辑公式的构造方法.

管理信息系统面向对象分析智能化支持工具的知识表达

本文探讨了管理信息系统面向对象分析智能化支持工具 (0 0AIST)的知识表达问题。总结0 0A方法知识、综合知识和应用领域知识三类知识 ,采用基于面向对象 (0 0 )思想的多知识表达范式 ,包括基于规则的范式 ,基于框架的范式等。