By Ribeiro, J.; Abelha, A.; Machado, J.; Marques, A.; Neves, J.
Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010
Intelligent Systems require the ability to reason with incomplete information, because in the real world complete information is hard to obtain, even in the most controlled situation. In recent years, many formalisms have been proposed tacking the matter of uncertain, incomplete in logic programs and databases. However, qualitative models and qualitative reasoning have been around in Artificial Intelligence research for some time, in particular due the growing need to offer support in decision-making processes. The evaluation of knowledge that stems out from logic programs becomes a point of research. The Quality-of- Information concept demonstrated their applicability in many dynamic environments and for decision making purposes. In this paper we present an illustrative example of the inference process in decisions in healthcare environments. Under the Extended Logic Programming paradigm to knowledge representation and reasoning, we present the evolutive perspective of the inference process to achieve logical programs (or theories) corresponding to the best theorems to solve a problem or take a decision. For the evaluation of the best theories we use a quantification of the quality-of- information that stems out from a logic program.