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

Developing the optics and imaging components of a mi, I have senior design ...

I have senior design this semester and my professor give my this project. could you help me

Instruction set, compare zero- one- two- and three-address machines by writ...

compare zero- one- two- and three-address machines by writing programs to compute X=(A+B*C)/(D-E*F)

Mpmc, .What is MASM? Explain its features

.What is MASM? Explain its features

Base case NPV analysis , How base case NPV analysis is applied in financial...

How base case NPV analysis is applied in financial risk management

Turbine engines cooling , Turbine engines cooling : Turbine engines are...

Turbine engines cooling : Turbine engines are designed to convert heat energy into mechanical energy. The combustion process is continuous and, therefore, heat is produced. On

Hot and cold working, advantages and disadvantages of cold and hot working

advantages and disadvantages of cold and hot working

Determine the log mean temperature, A tubular heat exchanger is being used ...

A tubular heat exchanger is being used for heating a liquid food from 30 o C to 70 o C. The temperature of the heating medium decreases from 90 o to 60 o C. a) Is the flow conf

Rake angle, the effect when side relief angle is too much

the effect when side relief angle is too much

Solve problems using dc electrical principles, Electronics Engineering Assi...

Electronics Engineering Assignment# Solve problems using DC electrical principles 1.3 A 220 F capacitor is required to store 11mJ of energy. What voltage needs to appear

Pn junction diode, Solving Poisson''s equation find out electric field in t...

Solving Poisson''s equation find out electric field in the transition region and show that electric field is maximum at the junction of p-n diode

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