概念圖表

概念圖表是計算機科學家和邏輯學家薩瓦( John Sowa)在皮爾斯存在圖表的基礎上發展的一種可用於計算機設計的圖表系統。該系統具有邏輯學的全部表現力，但更直觀和易讀，可以輕鬆轉換為自然語言。

1984年在《概念圖表：心靈和機器中的信息處理》一書中，薩瓦根據概念圖表給出了命題和謂詞演算邏輯。概念圖表作為一種表現語言，被全世界的研究者用於完成各種各樣的任務。