標題: The consistency of rule-bases in lattice-valued first-order logic LF(X)
作者: Lee, TT
Xu, Y
電控工程研究所
Institute of Electrical and Control Engineering
關鍵字: rule-base;consistency;uncertainty;lattice-valued first-order logic;alpha-automated simplification
公開日期: 2003
摘要: The consistency of the rule-base is an essential basis for the rule-based intelligent information processing. In the framework of first-order lattice-valued logic system LF(X) which is in the attempt of handling fuzziness and incomparability, the present work focus on how to verify and increase the consistency degree of the rule-base in the intelligent information process system for handling fuzziness and incomparability. An alpha -automated simplification algorithm in LF(X) is proposed, the alpha -consistency and the alpha -simplification theory of the rule-base are formulated As such, the verification of the alpha -consistency of the rule-base, often an infinity problem which is difficult to be achieved, can be transformed into a finite and achievable alpha -simplification problem. Based on the theory, an alpha -simplification stepwise search algorithm for verifying the consistency of the rule-base as well as a kind of filtering algorithm for increasing the consistency degree of the rule-base are proposed.
URI: http://hdl.handle.net/11536/18538
ISBN: 0-7803-7952-7
ISSN: 1062-922X
期刊: 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS
起始頁: 4968
結束頁: 4973
Appears in Collections:Conferences Paper