推理规则集相关论文
在网络数据交换日益增多的今天，XML作为一种半结构化数据以其简单易标记和跨平台等优点被越来越广泛的应用到数据存储和数据传输领......
学位
对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便.现在中介命题系统MP推理规则集S的简化等价集S1已经建立,......
