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

European vanilla Call option with strike price, Let C(K) denote a European ...

Let C(K) denote a European vanilla Call option with strike price K. Assume that all options are identical except for strike price, and strike prices satisfy K1 Question 1: What ar

Corporate finance, An investment project provides cash inflows of $730 per ...

An investment project provides cash inflows of $730 per year for eight years. What is the project payback period if the initial cost is $3,500? What if the initial cost is $5,000?

Propeller shafts, PROPELLER SHAFTS Most modern engines, both reciprocat...

PROPELLER SHAFTS Most modern engines, both reciprocating and turbine, have flanged propeller shafts. Some of these flanges have integral internally threaded bushings that fit

Show down any banking products and services offered, Question: a) E-b...

Question: a) E-banking is defined as the automated delivery of new and traditional banking products and services directly to customers through electronic, interactive commun

Diffuser action-aircraft maintance, Diffuser action: The flare, which i...

Diffuser action: The flare, which increases the area of the duct, is known as a diffuser and its shape determines the rate of compression and the amount by which the air is com

Oscilloscope, connecting probe in CRO causes

connecting probe in CRO causes

Quality engineering and management, Describe the principle parts of a quali...

Describe the principle parts of a quality function deployment matrix

Effects of temperature and altitude on engine, Effects of Temperature and A...

Effects of Temperature and Altitude. Cold and/or Low On cold days the air density will increase. If the engine has a ‘part throttle rating' and the throttle is advanced to

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