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

Accelerated Slipstream, Does the accelerated slipstream create more lift on...

Does the accelerated slipstream create more lift on part of a wing behind the propeller of a multa-engine aircraft? If so, about how much % for an Air King b200? Also the V-22 O

Switching, name the switching schemes used in a digital exchange. how call ...

name the switching schemes used in a digital exchange. how call processing takes place?

Fuel distribution in aircraft design, Fuel Distribution During operatio...

Fuel Distribution During operation, fuel flows from the aircraft fuel tank to the fuel-pump boost-stage inlet. The pressurised fuel from the boost stage of the engine-driven fu

Strength of materials, a rectangular beam of size 40mm*60mm is subjected to...

a rectangular beam of size 40mm*60mm is subjected to bending. the maximum bending stress is limited to 75N/mm^2. find the moment of resistance of beam section.

Homework, name the functions of the CIPM

name the functions of the CIPM

GSM BASED MOTOR ON AND OFF, in this project i want to start my motor by giv...

in this project i want to start my motor by giving a miscall so how can i decode that miscall in micro controller?

Surveying, Write short notes on the overcoming the following obstucal with ...

Write short notes on the overcoming the following obstucal with good leblel diagram 1 RIVER 2.BUILDING 3.DAM

Risk Decomposition, Analyze two stocks from an industry of your choice in t...

Analyze two stocks from an industry of your choice in terms of risk decomposition, specifically portfolio variance eq. You should pick 2 firms that you have a certain degree of fam

Mechanical pulverization, Mechanical pulverization method is applicable to...

Mechanical pulverization method is applicable to brittle metals like antimony. Many varieties of mechanical pulverizers are in use; some of these have counter rotating plates or r

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