ユーザ用ツール

サイト用ツール


記号処理

symbolic computation

 計算機による非数値的な処理をさし,AI技術における主たる処理法である.定理の自動証明,言語の構文解析などに代表される知識工学や,数式処理などにみられる数式の代数的(非数値的)演算,さらにはシステム設計や信頼性解析における知識表現および推論に用いられる.数値処理が定量的解析に適するのに対し,記号処理は定性的解析に威力を発揮する.記号処理に適する言語としてはLISP,PROLOGなどがある.