Personalized Reasoner Based on Belief Strengths of Information Sources

Shu-Bin Cai, MING Zhong, LI Shi-Xian

BLDL is proposed by combining DL with annotated logic. The personalized reasoner, BLDL reasoner can produce different answers to the same satisfiability problem asked by different questioners in a practical time cost, by annotated formulas with different belief strengths, which are calculated from the semantic distance between information providers and questioners.

Subjects: 11.1 Description Logics; 3. Automated Reasoning

Submitted: Apr 8, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.