模式识别与人工智能
模式識彆與人工智能
모식식별여인공지능
Moshi Shibie yu Rengong Zhineng
2009年
4期
532-540
,共9页
古华茂%高济%王勋%吴海燕
古華茂%高濟%王勛%吳海燕
고화무%고제%왕훈%오해연
增强Tableau%描述逻辑推理%可满足性%合取子句
增彊Tableau%描述邏輯推理%可滿足性%閤取子句
증강Tableau%묘술라집추리%가만족성%합취자구
利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值.
利用非循環定義的概唸可展開的特性,提齣一箇基于子句重構的增彊Tableau算法.採用最簡潔的概唸閤取子句代替原來的子概唸集對完整樹/圖上的結點進行標記,併設計一組推理規則以構建這樣的完整樹/圖,從而消除傳統Tableau算法中的∩-規則、∪-規則所帶來的概唸描述重複.因而在非循環定義概唸可滿足性判定問題上,空間性能有明顯提高.此外,雖然文中隻提供針對SI語言的規則和證明,可是這種處理思路同樣適用于其它描述邏輯語言,因而具有一定的推廣價值.
이용비순배정의적개념가전개적특성,제출일개기우자구중구적증강Tableau산법.채용최간길적개념합취자구대체원래적자개념집대완정수/도상적결점진행표기,병설계일조추리규칙이구건저양적완정수/도,종이소제전통Tableau산법중적∩-규칙、∪-규칙소대래적개념묘술중복.인이재비순배정의개념가만족성판정문제상,공간성능유명현제고.차외,수연문중지제공침대SI어언적규칙화증명,가시저충처리사로동양괄용우기타묘술라집어언,인이구유일정적추엄개치.