Chains of inference, Other Engineering

Assignment Help:

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).


Related Discussions:- Chains of inference

Forgin exchange, The following exchange rates are available to you. (You ca...

The following exchange rates are available to you. (You can buy or sell at the stated rates.) Mt. Fuji Bank ¥85.00/$ Mt. Rushmore Bank SF1.356/$ Mt. Blanc Bank ¥64.74/SF Assume t

Maintenance of aircraft under “b” conditions, Maintenance of Aircraft under...

Maintenance of Aircraft under “B” conditions:   The maintenance of aircraft flying under "B" conditions must be adequate in relation to the number and duration of the flight

Rapid Prototyping, Give justification towards the development of Rapid Prot...

Give justification towards the development of Rapid Prototyping?

Liquidity ratios, Liquidity Ratios: The liquidity ratios of the company hel...

Liquidity Ratios: The liquidity ratios of the company help in determining the ability of the company to convert its current or liquid assets readily into cash. Higher the ratios be

Retaining wall design, #questionYour search - design a trapezoidal retainin...

#questionYour search - design a trapezoidal retaining wall(assume dimensions) ,bulk density 15kN per metre cube ,coefficient of friction of 0.7,angle of internal friction 15degres

Aerofoil aerodynamics , We now have some idea about what models are availab...

We now have some idea about what models are available to simulate the flow over an aerofoil, and also how to use the Hanley package to apply these methods. Keep referring to you

Duty cycle, how to modulate duty cycles

how to modulate duty cycles

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd