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
I am preparing for a seminar ... but I am searching for a very good topic. Can you help me to get a topic in wireless communication . i want to know what are the latest technologie

critically analyses the system design process of a project for a light railway link for a city

Hi, I require a service which involves finite element modelling on commercial software package "ABAQUS". I am personally not sure how to model this on ABAQUS and thats why I have

Steam enters in the turbine at 6 MPa and 450 deg C and expands at some intermediate pressure 60 % of steam is extracted and remainder expands to 10 kPa at this Investigate the effe

characteristic equation The characteristic equation (C.E.) corresponding to the linear state space equations comprising the state equation? x = Ax + Bu and output equatio

What is the difference between real money & nominal money?  Moderate cash is relevant to the evaluate of keeping track of. nominal figure is what is published on the expenses. w

Noise Suppression in Aircraft Design: It has been seen that the first step towards noise suppression is at the design stage of the rotating and static parts of the engine. The

Continuity equation If we consider the machine to be an open-ended duct, we find that the mass flow per second will depend on the density of the fluid and the volume flowing