前面讨论了形式逻辑中对于概念的研究结果,如果我们要开发一个“概念处理系统”,首先要实现以下基本功能:
1. 概念表示,也可以说是概念的“领域模型(Domain Model)”。如下图:

其中,对概念要支持如下图的分类:

这里面,由于计算机很难识别和处理“属性概念”(比如,计算机难以识别一点,大量,非常等概念),所以这部分可以先不实现。实体概念里面区分“名概念”和“动概念”,分别对应软件领域的“实体”与过程,“名概念”和“动概念”之间的关系又分为“施动”和“被动”关系。
2. 概念的处理
建立上述模型后,还要能够对模型进行处理,下面列出对概念要进行的操作(图):

具体的操作实现,要等到详细设计时再给出。
本人的最新博客迁移到http://thinkinside.tk,使用GitHub Pages建立。我会陆续将所写的文章迁移过去,并进行补充和修正,
欢迎过来围观。