Title :
Research of uncertain reasoning based on resolution principle for constrained logics
Author :
Yang, Feng ; Ren, Jingjuan ; Jin, Hemin
Author_Institution :
Coll. of Inf. Technol., Henan Univ. of TCM, Zhengzhou, China
Abstract :
On the study of knowledge representation and reasoning, there is certain of limitations that one of Description Logic and Horn Rule is used merely. It can solve the Uncertain Reasoning problem that Description Logic is used as the constraint condition of Horn rule reasoning process, which can realize a combined reasoning of Description Logic and Horn Rule. Probability uncertain reasoning algorithm is introduced to Horn rule and the fact part of reasoning system, by using probabilistic logic, by using the resolution result produced by Resolution Principle of Constrain Logic, which can be transformed into solving the corresponding linear optimization equation. The Uncertain Reasoning has the properties of rationality, completeness and decidability.
Keywords :
constraint handling; inference mechanisms; knowledge representation; optimisation; probabilistic logic; probability; uncertainty handling; Horn rule reasoning process; constrain logic; description logic; knowledge representation; linear optimization equation; probabilistic logic; probability uncertain reasoning algorithm; resolution principle; Cognition; Equations; Knowledge based systems; Mathematical model; Optimization; Probabilistic logic; Uncertainty; Description Logic; Horn rule; Probabilistic Logic; Semantic Web; Uncertain Reasoning;
Conference_Titel :
Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC), 2011 2nd International Conference on
Conference_Location :
Deng Leng
Print_ISBN :
978-1-4577-0535-9
DOI :
10.1109/AIMSEC.2011.6011132
