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
the real risk free rate of interest is 3 percent. Inflation is expected to be 3 percent for 2 years. What is nominal rate of interest for the 2 years bond?

AIRCRAFT WEIGHT AND BALANCE - Reference BCAR A5-4 or JAR-25.23 -29 After an aircraft has been constructed, painted and can be said to be ‘representative of its true empty (or

Aviation legislation - Certificate of Design: During the construction, the manufacturer has to provide the C.A.A. with a Certificate of Design and also a Type Record for th

applications of the subject-strength of materials

A steak which is 2.5cm thick is cooking in a frying pan which has a 4mm thick base. The electric element used to heat the pan is turned to a level such that the bottom surface of t


A diffraction grating is an optical element that diffracts light into its constituent wavelength (colors). It is an excellent device used in laboratory to study the spectra. Co

INSTALLATION OF PROPELLER The method of installation will depend on the type of propeller, and all instructions detailed in the appropriate AMM should be carefully followed; th

how to find the equation for deflection of a cantilever beam subjected to udl in terms of Airy''s stress function

what will be the methodology to calculate pitching moment damping coefficient of canrad of aircraft