Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual differences | Personality | Philosophy | Social |
Methods | Statistics | Clinical | Educational | Industrial | Professional items | World psychology |

Philosophy Index: Aesthetics · Epistemology · Ethics · Logic · Metaphysics · Consciousness · Philosophy of Language · Philosophy of Mind · Philosophy of Science · Social and Political philosophy · Philosophies · Philosophers · List of lists

An inference procedure is a key component of the knowledge engineering process, sometimes known as abduction. After all preliminary information gathering and modeling is completed, queries are passed to the inference procedure to get answers. In this step, we let the inference procedure operate on the axioms and problem-specific facts to derive the information we are interested in knowing.

During this process, abduction is used to seek out assumptions which, when combined with a theory, can achieve some desired goal for the system without contradicting known facts. By seeking out more and more assumptions, worlds are generated with consistent (non-contradicting) knowledge.

For a formal description of abduction, go to abductive reasoning.

See also[edit | edit source]

This page uses Creative Commons Licensed content from Wikipedia (view authors).
Community content is available under CC-BY-SA unless otherwise noted.