Numerical Modeling for Software Based on Extended Fuzzy Description Logic
Li Li · 2012
How to present complex numerical relations is difficult in software modeling,since accurate complex numerical relations representation always leads to high complexity in software model reasoning.This paper pointed out an extended fuzzy description logic based framework to approximately represent numerical relations by comparisons over fuzzy functions,which contains three core modules:fuzzification from software numerical domain to fuzzy domain,construction of software numerical knowledge bases(SNKBs) and reasoning with SNKBs.This paper gave some common fuzzification functions and two fuzzification principles to guarantee sufficiency,talked about construction steps and procedures of cut concepts,assertions and inclusions in SNKBs,and discussed some implementation mechanisms in design,optimization and segmentation of reasoning algorithms.