可視化推理

可視化推理泛指圖表化推理等具有直觀形象性價值的推理。採用看得見的直觀記法來表現邏輯推理。這種推理假定人類的思維是圖表式的，人們大腦對於命題的反映，就如一幅圖畫，而由多個命題組成的推理過程，就如“動畫”或電影一樣形象。美國皮爾斯曾在其存在圖表研究中提出，為了能與人們的正常思維過程自然相合，要使推理過程猶如圖畫一樣呈現於眼前，然後能根據觀察從眼前“讀出”推理結論。

隨著現代計算機多媒體技術的發展，美國邏輯學家兼計算機科學家巴懷斯和艾徹門迪(J. Etchemendy)設計出了“塔斯基世界”、“圖靈世界”和“超證明”三個電腦程式用於形式邏輯的教學，取得了較好效果。可視化推理通常涉及到邏輯學、心理學、認知科學和人工智慧等眾多領域。