We address a framework for the analysis of extended fuzzy logic(FLe) and elaborate mainly the key characteris-tics of FLe by proving several qualification theorems and proposing a new mathematical tool named the A-gra...We address a framework for the analysis of extended fuzzy logic(FLe) and elaborate mainly the key characteris-tics of FLe by proving several qualification theorems and proposing a new mathematical tool named the A-granule. Specifically, we reveal that within FLe a solution in the presence of incomplete information approaches the one gained by complete infor-mation. It is also proved that the answers and their validities have a structural isomorphism within the same context. This rela-tionship is then used to prove the representation theorem that addresses the rationality of FLe-based reasoning. As a conse-quence of the developed theoretical description of FLe, we assert that in order to solve a problem, having complete information is not a critical need; however, with more information, the answers achieved become more specific. Furthermore, reasoning based on FLe has the advantage of being computationally less expensive in the analysis of a given problem and is faster.展开更多
To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ...To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.展开更多
The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reas...The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reasoning algorithm is given. This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques： recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete.展开更多
文摘We address a framework for the analysis of extended fuzzy logic(FLe) and elaborate mainly the key characteris-tics of FLe by proving several qualification theorems and proposing a new mathematical tool named the A-granule. Specifically, we reveal that within FLe a solution in the presence of incomplete information approaches the one gained by complete infor-mation. It is also proved that the answers and their validities have a structural isomorphism within the same context. This rela-tionship is then used to prove the representation theorem that addresses the rationality of FLe-based reasoning. As a conse-quence of the developed theoretical description of FLe, we assert that in order to solve a problem, having complete information is not a critical need; however, with more information, the answers achieved become more specific. Furthermore, reasoning based on FLe has the advantage of being computationally less expensive in the analysis of a given problem and is faster.
基金The National Natural Science Foundation of China(No60403016)the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.
基金The National Natural Science Foundation of China(No60403016),the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reasoning algorithm is given. This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques： recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete.
