This work presents a query answering procedure that takes a query Q and a set of evidence E and constructs a Bayesian network to compute P(Q¦E) .Expand

The deduction method presented here contrasts with other methods whose ability to perform logical reasoning is either limited or requires finding all truth assignments consistent with the given sentences.Expand

In this analysis, the decision tree was consistently 3-12% more accurate than the Bayesian network for predicting student performance, and the maturity of open source tools was demonstrated.Expand

A network generation algorithm that, given an inference problem in the form of a query Q and a set of evidence E, generates a network to compute P(Q|E) and it is proved that the algorithm to be correct.Expand

AI planning agents are goal‐directed: success is measured in terms of whether an input goal is satisfied, and planning representations and algorithms have been designed to exploit that structure.Expand

A VR dental training simulator that provides a virtual reality (VR) environment with haptic feedback for dental students to practice dental surgical skills in the context of a crown preparation procedure and a mechanism for providing objective skill assessment and feedback is introduced.Expand

The development and validation of a Bayesian network (MammoNet) to assist in mammographic diagnosis of breast cancer is described and the methods and issues in the system's design, implementation, and evaluation are outlined.Expand

This work defines a fixpoint theory, declarative semantics, and proof procedure for the new class of probabilistic logic programs, and discusses the relationship between such programs and Bayesian networks, thus moving toward a unification of two major approaches to automated reasoning.Expand

Tenenberg’s notion of inheritance abstraction for STRIPS operators to apply to conditional probabilistic actions is extended and the intent is to formalize the notion that analogous action types can be structured together into an action class at the abstract level.Expand