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

What is the internal rate of return (irr) of eurekaforbes?, What is the int...

What is the internal rate of return (IRR) of eurekaforbes? Inner Amount of Come back is that rate of Come back at which the net provide value is similar to Zero or it is the Amo

Airflow through divergent and convergent ducts, DIVERGENT DUCT A divergen...

DIVERGENT DUCT A divergent duct widens out as the airflow progresses through it. At subsonic speeds the effect of this kind of duct is to decrease the velocity and increase the p

Air-system in aircraft engine, Air-System in Aircraft Engine: In the wo...

Air-System in Aircraft Engine: In the working cycle and airflow section we discussed the main airflow and working cycle of a gas turbine engine and found that a major function

Crystal imperfection, Q.   What is crystal imperfection? Briefly discuss ...

Q.   What is crystal imperfection? Briefly discuss all types of point defects in crystals. Ans. The various type of crystal imperfection are as follows: (1)   Point de

Propeller spinners, PROPELLER SPINNERS All modern propeller-driven aero...

PROPELLER SPINNERS All modern propeller-driven aeroplanes have spinners over their propeller hubs. These spinners have the dual aerodynamic function of streamlining the engine

High rise buildings - fire protection engineering, High rise buildings: ...

High rise buildings: High rise buildings have their own particular requirements for fire safety and for fire fighting.  Means of escape rely on most people descending the stai

Thermodynamics, calculate the workdone by a system which contains 10kg of t...

calculate the workdone by a system which contains 10kg of this gas expanding from 1m^3 at temperature of 293k, use the values a=15.7*10Nm^4, b=1.07*10^-2m^3 , R=0.278KJ/Kg-k.

Enhancing finance revenue.., Enhancing finance revenue In Corporate Fin...

Enhancing finance revenue In Corporate Finance and Business financial is the area of financial that promotion with financial options of organizations. Its main objective is to

Guidance systems , The design and implementation of an autonomous guidance ...

The design and implementation of an autonomous guidance system requires knowledge and an understanding of a wide range of technologies, from the physical dynamics of the vehicle (i

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