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
Means of escape from trains - railway inspections: The means of  escape from  trains is also considered  in  NFPA130.     Some  of  the considerations are: At least two eme

FUEL FLOW METERING: Fuel flowmeters are fitted in aircraft to give an accurate indication of the rate at which fuel is being used and the total amount of fuel that has been use

application of schmitt trigger

Q.   Differentiate crystalline and amorphous materials? (a)Crystalline solids:  Those solids in which the, ions atoms or molecules in a definite regular repeated

Double Cantilever Beam In the double cantilever configuration, the ends of the sample are pulled apart, forcing a crack to propagate down the beam from one end. The figure belo

Air Operator's Certificate (AOC) A Company operating an aircraft for the purpose of Public Transportation, within the UK, must have an AOC granted to the company, in accordance

What could be application of linear programming in software development?


Series of Cash Flows Most engineering economic analysis involve more than a single return occurring after the investment is made. In such cases, the present worth or the futur

Comparator A comparator is a device, which compares two input voltages and indicates at the output, which of the two is the larger.  Basically, the circuits use a differential