摘要
在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。
The problem of α-triple I are given in many-valued logic system Wn.By introducing a preorder in F（S）, problems of formal reasoning about α-GMP and collective α-GMP are discussed and formal triple I solution of α-FMP is obtained.Therefore,formal reasoning system of α-triple I is provided in formal system Wn.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第25期51-53,共3页
Computer Engineering and Applications
基金
国家自然科学基金重点资助项目(批准号:10331010)
关键词
α-三I问题
多值逻辑系统Wn
形式化三I解
problem of α-triple I,many-valued logic system Wn,formal triple I solution
