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

Msor, write a note on tracing a closed loop.what are the characteristic,fea...

write a note on tracing a closed loop.what are the characteristic,features of a closed loop.

DBMS, why we study r architecture?

why we study r architecture?

Power systems, WHY VOLTAGE GENERATED IN MULTIPLES OF 11

WHY VOLTAGE GENERATED IN MULTIPLES OF 11

Wire drawing, Wire Drawing involves pulling the metal through a die by mea...

Wire Drawing involves pulling the metal through a die by means of tensile force applied to the exit side of the die.          A typical wire drawing operation is shown in fig.

Energy emissions per usage, Q. The Energy related CO 2 emissions per usage...

Q. The Energy related CO 2 emissions per usage are in Florida: What is the CO 2 emission in kg/kWh and in lb/kWh in Florida? Knowing the emissions and the total gene

Ewing’s molecular theory of magnetism, Ewing’s molecular theory of magnetis...

Ewing’s molecular theory of magnetism   Every molecule of a magnetic substance behaves as a tiny magnet called molecular magnet. In an unmagnetized state the molecular m

Market value, Calculate the market value of a firm with total assests of $1...

Calculate the market value of a firm with total assests of $105 million and $50 million of 10% perpetual debt in the capital structure. The firm''s cost of equity is 14% on the $55

Heat conduction problem in hollow cylinder, Heat conduction problem in holl...

Heat conduction problem in hollow cylinder There are a lot of researches for calculating the temperature field in various shapes using different boundary and initial cond

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