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

Combustion process, Combustion process: Air from the engine compressor ...

Combustion process: Air from the engine compressor enters the combustion chamber at a velocity up to 500 feet per second, but because at this velocity the air speed is far too

Use of a microprocessor and a microcontroller, Question: a) Differenti...

Question: a) Differentiate between the prime use of a microprocessor and a microcontroller. b) Describe why the design approach of the microcontroller must mirror that of t

Analysis of the energy intensity, Analysis of the energy intensity and CO 2...

Analysis of the energy intensity and CO 2 emissions of a State a . From DOE/Energy Information Agency Florida profile is given by the following numbers (2009): What is

Inner rooms - means of escape, Inner rooms - means of escape: I nner...

Inner rooms - means of escape: I nner rooms are rooms from which the means of escape require people to travel through another room (called the access room).  These are comm

Router, how does the Ip message finally reassemble?

how does the Ip message finally reassemble?

Engineering signals, Engineering Signals A signal is a variation of a m...

Engineering Signals A signal is a variation of a measurable quantity that conveys information about the behaviour of a system. • A signal can depend upon a single variable o

Spectrum of data pulses, Spectrum of Data Pulses As the waveform period...

Spectrum of Data Pulses As the waveform period increases, the fundamental frequency of the spectrum decreases and the harmonics become more closely spaced. In the limit, as

Engineering Mechanics-Statics, http://www.cramster.com/answers-apr-12/mecha...

http://www.cramster.com/answers-apr-12/mechanical-engineering/engineering-mechanics-static_2386217.aspx?rec=0

Aeroengine - velocity trinagle, If radial velocity is neglected, for a stat...

If radial velocity is neglected, for a stat or there is no change from the cascade analysis. For a rotor this vectorial For a rotor this vectorial addition gives rise to graphical

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