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