摘要
作者基于信度语义提出了算子模糊逻辑模型BAOFL,本文给出了计算BAOFL中公式(集)不可满足程度的λ-TABLEAU推理方法,并证明了其可靠性和完备性。
We have presented an associative Operator Fuzzy Logic BAOFL based on the semantical considerations of belief. In this paper, we present λ-TABLEAU method to calculate the uncertainty degrees of formulas in BAOFL and prove its soundness and completeness.
出处
《模式识别与人工智能》
EI
CSCD
北大核心
1997年第4期293-300,共8页
Pattern Recognition and Artificial Intelligence
基金
国家自然科学基金
博士后基金
博士点基金
863计划资助课题
