Chains of inference, Other Engineering

Chains of Inference

Now we look at how to get an agent to verify a given theorem using several search strategies. In previous lectures we have noted that, to specify a search problem, we have to describe the representation language for the artifacts being searched for, the starting state, the goal state (or some information regarding what a goal should look like?), and the operators- how to go from one state to another?.

We may state the problem of proving a given theorem from some axioms as a search problem. 3 different specifications give rise to 3 different ways to answer the problem, namely backward and forward chaining and proof by contradiction. In all of these provisions the representation language is predicate logic (not surprisingly), and operators are the rules of inference, which let us to rewrite a set of sentences as another set. We may think of each state in our search space as a sentence in first order logic.  For searching new sentences the operators will traverse this space. However, we are actually interested in searching a path from the start states to the goal state, as this path will constitute evidence. (Note that there are other ways to verify theorems such as exhausting the search for a counterexample and finding none - in this case we do not have a deductive evidence for the truth of the theorem, but we know this is true).

Posted Date: 10/2/2012 8:24:29 AM | Location : United States







Related Discussions:- Chains of inference, Assignment Help, Ask Question on Chains of inference, Get Answer, Expert's Help, Chains of inference Discussions

Write discussion on Chains of inference
Your posts are moderated
Related Questions
Electrical ice protection systems: Electrical ice protection systems are used on most turbo-props.  Resistance wire heater elements are embedded in rubber and cemented from the

BIPOLAR IC CONSTRUCTION: As mentioned earlier, the components that are commonly used in IC's are diodes, Transistors, resistors and capacitors.  Diffusing impurities into se

Q. Distinguish between Fresnel's and Fraunhofer's classes of diffraction. Show that the relative intensities of successive maxima of Fraunhofer diffraction at single slit are

It is instructive to investigate the pitching motion caused by a disturbance from trim due to a control surface deflection. We shall assume that the velocity remains constant, and

Hello, I have a chemical engineering project and I need help.

Cash flow statement is one of the three necessary reporting & measurement systems for a company. The cash flow statement gives a third perspective alongside the profit & loss accou

Design Features of Supercritical Aerofoil • Blunt nose- rapid p pressure reduction around leading edge • Flat top- Reduce the flow acceleration on upper surface toreduc

explain the fibre optic communication system with block diagram

Suppose you are managing a software-development project for which reliability is a major concern. A continual stream of anomalies is discovered in the software during the testing p