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

Linear programming, Gandhi Textile company produces shirts and pants.The sh...

Gandhi Textile company produces shirts and pants.The shirts demands for the following two months are 10 and 12 units,whereas the demand for pants are 14 and 15.The capacity for fab

Auto cad, Do you provide help with Autocad assignments?

Do you provide help with Autocad assignments?

Petroleum Production.., 1. . Using the graph of pore/fracture pressure for ...

1. . Using the graph of pore/fracture pressure for the Holly Field propose a casing scheme for the well using the graphical approach. Discuss the suitability of the selected casing

Basic instrumentation system, A basic instrumentation system consists of a ...

A basic instrumentation system consists of a transducer, conditioning amplifier, and analog digital converter connected (in general) by analog and digital transmission lines.

Meer, write drawback of linear array

write drawback of linear array

Tig and mig welding techniques, Q. Explain the TIG and MIG systems of arc w...

Q. Explain the TIG and MIG systems of arc welding Give the applications of each.                                                         OR         Explain briefly

Calculate the heat transfer coefficient , Water is flowing at 0.5 ms-1 acro...

Water is flowing at 0.5 ms-1 across a 7.5 cm diameter sausage at 80°C. If the bulk water temperature is 15°C, estimate the heat-transfer coefficient. a) What type of heat tranfe

Logic gate - nand gate, NAND Gate; When constructing a NAND gate using ...

NAND Gate; When constructing a NAND gate using transistors as the switching devices, the output often represents the 'inversion' of the "AND" gate. Figure 4 shows an example o

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