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.
See also
- Logical reasoning
- Abductive validation
- Knowledge level modeling
This entry was posted
on Sunday, June 29th, 2008 at 4:50 pm and is filed under Uncategorized.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.
Leave a Comment
You must be logged in to post a comment.