Inference-Guiding on Bayesian Knowledge-Based Systems

Bayesian network is a robust structure for representing knowledge containing uncertainties in a knowledge-based system. In applications of expert systems and knowledge-based systems, it often happens that initial data are not sufficient to derive a conclusion of high enough certainty. Inference-guiding is in that case to identify the missing information, pursue its value, and lead inference to a conclusion. This paper presents and characterizes a criterion for effectively selecting key missing information, and thereby develops a “smart” inference approach with the inference-guiding function based on the newly developed criterion for uncertain inference in a Bayesian knowledge-based system

Mathematical programming embeddings of logic

"February 20th, 1998"--T.p. -- "June, 1998"--Cover.Includes bibliographical references (p. 21-23).Supported in part by the U.S. Army. DAAL03-92-G-0115 Supported in part by a Center for Intelligent Control Systems grant from Siemens AG.Vivek S. Borker ... [et al.