考试周刊
攷試週刊
고시주간
KAOSHI ZHOUKAN
2007年
10期
126-127
,共2页
自然语言%形式化%真值表
自然語言%形式化%真值錶
자연어언%형식화%진치표
逻辑科学、语言科学和计算机科学日益发展,对自然语言进行精密的逻辑分析的要求越来越高.对复杂的自然语言语句采用直观的形式化方法面临着困境.本文在自然语言形式化过程中引入真值表法,在实例运用、可行性与必要性、运用步骤等方面作了探讨,以期对自然语言作出更为精确可靠的形式化.
邏輯科學、語言科學和計算機科學日益髮展,對自然語言進行精密的邏輯分析的要求越來越高.對複雜的自然語言語句採用直觀的形式化方法麵臨著睏境.本文在自然語言形式化過程中引入真值錶法,在實例運用、可行性與必要性、運用步驟等方麵作瞭探討,以期對自然語言作齣更為精確可靠的形式化.
라집과학、어언과학화계산궤과학일익발전,대자연어언진행정밀적라집분석적요구월래월고.대복잡적자연어언어구채용직관적형식화방법면림착곤경.본문재자연어언형식화과정중인입진치표법,재실례운용、가행성여필요성、운용보취등방면작료탐토,이기대자연어언작출경위정학가고적형식화.
