计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
10期
43-46,127
,共5页
何星星%徐扬%李莹芳%张家锋
何星星%徐颺%李瑩芳%張傢鋒
하성성%서양%리형방%장가봉
格值命题逻辑%α-归结原理%广义文字%正规性%语义性质
格值命題邏輯%α-歸結原理%廣義文字%正規性%語義性質
격치명제라집%α-귀결원리%엄의문자%정규성%어의성질
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性.广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元.公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映.从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)’的真值情况.为讨论广义文字的形式及其α-可归结性提供了理论基础.
基于格蘊涵代數的格值命題邏輯繫統能定性地刻畫不可比較性和不精確性.廣義文字是該繫統中α-歸結自動推理的覈心概唸,是α-歸結中的最基本單元.公式的正規性是α-歸結原理中保持完備性的重要條件,其語義性質是公式形式的重要反映.從語義角度研究瞭廣義文字的正規性,給齣瞭兩種典型正規公式F1→F2和(F1→F2)’的真值情況.為討論廣義文字的形式及其α-可歸結性提供瞭理論基礎.
기우격온함대수적격치명제라집계통능정성지각화불가비교성화불정학성.엄의문자시해계통중α-귀결자동추리적핵심개념,시α-귀결중적최기본단원.공식적정규성시α-귀결원리중보지완비성적중요조건,기어의성질시공식형식적중요반영.종어의각도연구료엄의문자적정규성,급출료량충전형정규공식F1→F2화(F1→F2)’적진치정황.위토론엄의문자적형식급기α-가귀결성제공료이론기출.
