基本介紹
- 中文名：自動演繹
- 位置：計算機
- 對象：證明數學定理和生活中的演繹推理
- 別名：自動定理證明和機械定理證明
定義
自動演繹，是把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術，又稱自動定理證明和機械定理證明。
定義 自動演繹,是把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術,又稱自動定理證明和機械定理證明。 ...
非標準邏輯中的自動演繹是指許多複雜的常識推理問題如能直接用高階邏輯或非經典邏輯來處理最為自然,然而這種技術還不夠成熟。已出現一些運用非單調邏輯的自動演繹...
自動推理機,即在目標引擎設定目標對象後,使用外部信息作為輸入, 使用演繹歸納等邏輯運算方法根據已建立的模式匹配,針對目標對象進行演算生成結論的引擎。目標對象可以是...
把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術,又稱自動定理證明和自動演繹。...