论文部分内容阅读
为彻底解决在Internet环境下因管理信息本体需求更为多样、动态和不确定所导致的管理信息系统开发成本高、效率低、周期长等问题，运用集合空间运算和数理逻辑推导的方法，给出了管理信息系统“知识-表-谓词”三元组构架，将管理信息本体需求中的功能和业务相分离，建立了一套针对管理需求的语义描述体系和语用实现机制，通过有限的谓词演算序列对管理信息系统状态集进行推演，达到用户满意的程度．该语义描述体系和谓词演算有限集基于二维关系表集，与具体的领域业务无关．