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

Fire safety log book, Fire safety log book: The occupier's fire safety...

Fire safety log book: The occupier's fire safety log book should be checked during an inspection to see that the system is being tested regularly and serviced and maintained a

Engineering machnics, a part of machine has a reciprocating motion which is...

a part of machine has a reciprocating motion which is simple harmonic making 200 complete oscillations in a minute.the part weight 45 N.determine the accelerating force upon it

Write a program to find the area under the curve y =, #questiWrite a progra...

#questiWrite a program to find the area under the curve y = f(x) between x = a and x = b, integrate y = f(x) between the limits of a and b. The area under a curve between two point

Microprocessor, software development cycle for 8086

software development cycle for 8086

Bjt, why we use h for bjt

why we use h for bjt

LAVOISIER LAPLACE''S LAW, GIVE EXPLANATION HOW THIS IS USEFUL IN APPLICATIO...

GIVE EXPLANATION HOW THIS IS USEFUL IN APPLICATION OF THERMODYNAMICS TOWARDS CHEMICAL PROCESS

Assignment, I paid for and attached module 16 for answers this morning but ...

I paid for and attached module 16 for answers this morning but received answers for module 15. How can I get the correct set of answers for module 16 please

Digital electronics, Design 2:1 MUX with strobe input using NAND gates

Design 2:1 MUX with strobe input using NAND gates

Flight dynamics-trim tabs, Trim tabs are small flaps attached to the rear o...

Trim tabs are small flaps attached to the rear of the main control surfaces. They can be adjusted the pilot to reduce the force required to hold the control surface in its deflecte

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