Library Computer Science

The main problem addressed by this work is how to model and combine bodies of knowledge (or evidence) while maintaining the representation of the unkowledge and of the conflict among the bodies.

This is a problem with far-reaching applications in many knowledge segments, in particular for the fields of artificial intelligence, product design, decision making, knowledge engineering and uncertain probability. It must be kept in mind that knowledge based systems depend on algorithms able to relate the inputs of a system to a correct answer coming out of the knowledge-base, and both the inputs and the knowledge-base are subject to information imperfections caused by the unknowledge and the conflict.

There are several formalism to deal with knowledge representation and combination, among them the Mathematical Theory of Evidence or Dempster-Shafer Theory.

This work extends the Mathematical Theory of Evidence through the adoption of a new rule for the combination of evidence and a companion set of concepts. This extension solves the counter-intuitive problems illustrated in the original theory, extends its power of expression and allows the representation of uncertainty in the results.

The representation of uncertainty implies the possibility of its use in decision-making and also makes explicit the relationship between the numeric results achieved and the results from classical probability theory.

Fabio Campos is a professor of product design of the Design Department at UFPE. Fabio received a PhD in computer science from the Federal University of Pernambuco – UFPE. His research interests focus on Dempster-Shafer Theory, representation and combination of knowledge, and product design methodologies. Contact him at ffcc@ieee.org