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

Exhaust jet mixing - aircraft design, Exhaust Jet Mixing: Figure shows ...

Exhaust Jet Mixing: Figure shows that the noise from the exhaust jet is the main contributor to the total noise generated by a low by-pass ratio turbo-fan. For a turbo-jet the

Liquid crystal display (lcd), Liquid crystal display (lcd): Liquid Crys...

Liquid crystal display (lcd): Liquid Crystal Displays (LCD) are not actually light sources - they generate no light, merely filtering incident light, in a controlled manner.  T

Tabular method, Ask question #Minimumsolve the following convolution in tab...

Ask question #Minimumsolve the following convolution in tabular form X(n)={1 2 -3 4 } h(n)={1 2 3 4 } 100 words accepted#

Econometrics coursework, Hello this is Lee, I have an Econometrics coursewo...

Hello this is Lee, I have an Econometrics coursework to be helped by some experts from your company. Please send me your reply asap Lee

Jfet operation - junction, JFET OPERATION Figure shows the operati...

JFET OPERATION Figure shows the operation of a JFET. The JUGFET has a physical structure that can be represented by the diagram shown in Figure. In Figure, if the N-Ty

Energy bands, variation of energy bands with alloy composition

variation of energy bands with alloy composition

KK-3 system coding, how to write code for any particle shape using KK-3 sys...

how to write code for any particle shape using KK-3 system coding in grope technology

Vibration analysis of aircraft, Vibration Analysis Gas turbine engines ...

Vibration Analysis Gas turbine engines have extremely low levels of vibration compared to piston engines. Changes in vibration levels could occur therefore without being notic

Electronic , how to work ever moll models

how to work ever moll models

Biomediacl instrumentation, Design a dc-coupled one op amp circuit that wil...

Design a dc-coupled one op amp circuit that will amplify the 100uV EOG to have the maximal gain possible without exceeding the ttypical guarenteed linear outpt range.

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