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
need solution in Financial econometric, Do you have an expert in Financial econometric

What is Demit Account? What is the use of it? Demit indicates Dematerialization of reveal, in easy it is an account with which a individual can business in protection industry w

Magnetic Detector Plug Debris Analysis of aircraft : The magnetic chip detectors (MCDs), are small, permanent magnets installed in the scavenge/return lines of the engine oil s

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

the royal canadian hillies plan to locate a brandy carryout in the Yukan.A number of saint Bernard dogs ,trained by sergeant preston ,will be used to rescue lost tourists looking f

External air tappings: Engines vary as to the number of external air tappings and their usage. The following notes are taken from the Pratt and Whitney JT9D but have been simp

USE OF MULTICYLINDER ENGINE If, in a multi cylinder engine, power strokes are staggered, the limitation of flywheel can be overcome to a large extent. Torque diagram for 2 cyli

Techniques of capital budgeting There are a number of capital budgeting techniques used in the evaluation of a project. They are broadly classified under two categories: 1] Discoun

What is Tact? Tact is nothing but a situational score energy. Once I had gone to a Govt workplace for getting documentation. There I was informed to provide unwanted fee more th

1.defination 2.explain the mechanisms of each process. 3. explain in detail how many types of each process 4. advantages 5. disadvantages