计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2009年
4期
944-947,951
,共5页
序演算%对应定理%自然逻辑%判定算法%Lambek演算
序縯算%對應定理%自然邏輯%判定算法%Lambek縯算
서연산%대응정리%자연라집%판정산법%Lambek연산
序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法.在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS.该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大.另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理.
序縯算可以保留很多語言學的信息,可以更自然的刻畫日常交流中的推理,因此序縯算成為很多自然邏輯推理繫統的覈心方法.在Zamansky等學者工作的基礎上,以序縯算為覈心,結閤Lambek縯算,增加瞭性質類序關繫,攷慮瞭模糊量詞的語義特徵,構造瞭基于序縯算的自然邏輯推理繫統OCRS.該繫統所描述的推理範圍較之以前的自然邏輯繫統進一步擴大.另外,也給齣瞭OCRS繫統中序縯算的判定算法,證明瞭其判定算法的對應定理.
서연산가이보류흔다어언학적신식,가이경자연적각화일상교류중적추리,인차서연산성위흔다자연라집추리계통적핵심방법.재Zamansky등학자공작적기출상,이서연산위핵심,결합Lambek연산,증가료성질류서관계,고필료모호량사적어의특정,구조료기우서연산적자연라집추리계통OCRS.해계통소묘술적추리범위교지이전적자연라집계통진일보확대.령외,야급출료OCRS계통중서연산적판정산법,증명료기판정산법적대응정리.
