模糊系统与数学
模糊繫統與數學
모호계통여수학
FUZZY SYSTEMS AND MATHEMATICS
2009年
1期
1-5
,共5页
格蕴涵代数%格值命题逻辑%归结%滤子
格蘊涵代數%格值命題邏輯%歸結%濾子
격온함대수%격치명제라집%귀결%려자
给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.
給齣瞭格值命題邏輯繫統中子句的極簡規則型範式,定義瞭MP歸結.結閤格蘊涵代數中濾子的性質,對格值命題邏輯繫統中基于濾予的MP歸結縯繹及其語義與語法性質進行瞭研究,證明瞭歸結縯繹的可靠性與完備性定理.為進一步研究格值邏輯的自動歸結推理奠定瞭理論基礎.
급출료격치명제라집계통중자구적겁간규칙형범식,정의료MP귀결.결합격온함대수중려자적성질,대격치명제라집계통중기우려여적MP귀결연역급기어의여어법성질진행료연구,증명료귀결연역적가고성여완비성정리.위진일보연구격치라집적자동귀결추리전정료이론기출.