计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2013年
2期
48-52
,共5页
张维%余泉%王驹%蒋运承
張維%餘泉%王駒%蔣運承
장유%여천%왕구%장운승
描述逻辑%概念模式%匹配
描述邏輯%概唸模式%匹配
묘술라집%개념모식%필배
分析了描述逻辑非标准推理的重要性,总结了描述逻辑中概念的匹配推理研究现状和存在的问题,针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统εLN中概念的匹配推理.将概念变量引入描述语言εLN,定义出了εLN中概念模式,进而给出了εLN中概念的匹配算法,证明了算法的可靠性并指出该算法计算出的匹配极小完全集的基数是随着匹配问题的大小(size)呈指数增长的.
分析瞭描述邏輯非標準推理的重要性,總結瞭描述邏輯中概唸的匹配推理研究現狀和存在的問題,針對匹配推理在處理數量限製和存在量詞的不足研究瞭描述邏輯繫統εLN中概唸的匹配推理.將概唸變量引入描述語言εLN,定義齣瞭εLN中概唸模式,進而給齣瞭εLN中概唸的匹配算法,證明瞭算法的可靠性併指齣該算法計算齣的匹配極小完全集的基數是隨著匹配問題的大小(size)呈指數增長的.
분석료묘술라집비표준추리적중요성,총결료묘술라집중개념적필배추리연구현상화존재적문제,침대필배추리재처리수량한제화존재량사적불족연구료묘술라집계통εLN중개념적필배추리.장개념변량인입묘술어언εLN,정의출료εLN중개념모식,진이급출료εLN중개념적필배산법,증명료산법적가고성병지출해산법계산출적필배겁소완전집적기수시수착필배문제적대소(size)정지수증장적.
