用特定的邏輯公式來表示知識的一種知識表示方式,符號邏輯公式是形式邏輯語言的合法語句,形式邏輯語言具有嚴(yán)格的語法規(guī)則和唯一性的形式語義,即對合法語句的形式解釋,可以避免自然語言的歧義性,不明確性等計算機難以處理的......（本文共 472 字）     [閱讀本文] >>