前面討論了形式邏輯中對于概念的研究結果,如果我們要開發一個“概念處理系統”,首先要實現以下基本功能:
1. 概念表示,也可以說是概念的“領域模型(Domain Model)”。如下圖:
其中,對概念要支持如下圖的分類:
這里面,由于計算機很難識別和處理“屬性概念”(比如,計算機難以識別一點,大量,非常等概念),所以這部分可以先不實現。實體概念里面區分“名概念”和“動概念”,分別對應軟件領域的“實體”與過程,“名概念”和“動概念”之間的關系又分為“施動”和“被動”關系。
2. 概念的處理
建立上述模型后,還要能夠對模型進行處理,下面列出對概念要進行的操作(圖):
具體的操作實現,要等到詳細設計時再給出。
本人的最新博客遷移到http://thinkinside.tk,使用GitHub Pages建立。
我會陸續將所寫的文章遷移過去,并進行補充和修正,
歡迎過來圍觀。