Chains of inference, Other Engineering

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).

Posted Date: 10/2/2012 8:24:29 AM | Location : United States







Related Discussions:- Chains of inference, Assignment Help, Ask Question on Chains of inference, Get Answer, Expert's Help, Chains of inference Discussions

Write discussion on Chains of inference
Your posts are moderated
Related Questions
#questionYour search - design a trapezoidal retaining wall(assume dimensions) ,bulk density 15kN per metre cube ,coefficient of friction of 0.7,angle of internal friction 15degres

Full-authority digital electronic control: The supervisory control was a step toward the full-authority, fully redundant EEC. It controls all engine functions and eliminates th

Summing amplifier: As the title implies, this is an adding device.  The circuit can take any number of voltage inputs, and the output voltage is simply the sum of these inputs.

Variable magnetic coupling transducers A transducer of this type relies on variable coupling between magnetic coils. An example is a Linear Variable Differential Transformer (L

Question: (a) What are the criteria that a frequency planner and a network engineer need to consider during cellular planning and design. (b) Assuming that you work as a c

With the help of circuit diagram and the waveforms,explain the working of a negative clipper with positive biasing voltage.also explain the Same concept in series clipper circuit

How to design heat exchanger project from aromatics from shale gas transport phenomena, CHE 306

(a)  Explain briefly any five roadway elements. Include function and current practices used in the design of these elements. (b)  Discuss any three emerging (i.e. 'Intelligent T

Engine Vibration Indication The engine vibration monitoring (EVM) system shows the out of balance force for the N1 and N2 shaft. High engine vibration shows engine damage or

hey, i am doing b.e in chemical engineering but by aggregate is 55%. i would like to know what courses and preparation i have to do to get a good job. pls reply as soon as possible