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

Design of casting, Design of Casting : The important factors to keep in mi...

Design of Casting : The important factors to keep in mind when designing a casting to obtain maximum strength and minimum casting includes :             1. Design for direction

GSM BASED MOTOR ON AND OFF, in this project i want to start my motor by giv...

in this project i want to start my motor by giving a miscall so how can i decode that miscall in micro controller?

Derivative Securities, Let C(K) denote a European vanilla Call option with ...

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) What are the no-

Aeroengine - linear blade cascade, A blade cascade is a row of evenly space...

A blade cascade is a row of evenly space yp dentical blades. Approximates to a turbomachinery rotor or stator if the radius the annulus is large compared with the bl the annulus is

Public health eng, Design a sewer collection system incorporating flow rate...

Design a sewer collection system incorporating flow rates, pipe sizes and pipe slopes for the proposed residential development shown in the attached drawing. In your design, locat

Burners - aircraft engine , BURNERS :  ATOMISER BURNERS This ...

BURNERS :  ATOMISER BURNERS This type of burner presents the fuel in a finely atomised spray by forcing the fuel to pass through a small orifice. The size of the orifi

Cost of debt, A company issues 15-year, $1,000 par-value bonds, with a coup...

A company issues 15-year, $1,000 par-value bonds, with a coupon rate of 5%. The bonds are sold for $619.70. The tax rate is 30%. Compute the cost of debt before taxes and after tax

Casting alloys, Casting Alloys are -             (i) Permanent moulds...

Casting Alloys are -             (i) Permanent moulds are commonly used for the casting of grey iron, aluminum alloys and magnesium alloys.             (ii) Slush Casting

sweep effects, In the previous discussion, we investigated the static aero...

In the previous discussion, we investigated the static aeroelastic behaviour of straight (unswept) wings. These wings are characterised by an effective decoupling of wing bending a

DPC IN CIVIL ENGINEERING, I WANT TO KNOW WHAT IS DPC TERM MEANING IN CIVIL...

I WANT TO KNOW WHAT IS DPC TERM MEANING IN CIVIL ENGINEERING

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