Forward chaining, Computer Engineering

Forward Chaining:

Now we have suppose we have a set of axioms that we know are true statements about the world. Whether we set these to each be an initial state of the segoal state to be our theorem statement there that this is a simple approach that can be used to prove theorems. Now we need call this approach forward chaining, this means that the agent employing the search constructs chains of reasoning and from the axiom and hopefully to the goal. If once a path has been found from the axioms to the theorem than this path constitutes a proof and the problem has been solved. 

Moreover, the problem with forward chaining in generally in which it cannot easily use the goal (theorem of statement) to drive the search. Thus it really must just explore the search space until it comes across the solution. Just to goal-directed searches are often more effective than non-goal directed ones as like forward chaining.

Posted Date: 1/11/2013 6:06:57 AM | Location : United States







Related Discussions:- Forward chaining, Assignment Help, Ask Question on Forward chaining, Get Answer, Expert's Help, Forward chaining Discussions

Write discussion on Forward chaining
Your posts are moderated
Related Questions
Consider one versus the rest voting used for classifier with three classes {a, b, c}. Given a row of data denoted as x0 suppose that the classifier for a versus the rest predicts t

What is a matchcode? A match code is an aid to finding records keeps in the system whenever an object key is needed in an input field but the user only knows other (non-key) in

write algorithm and draw flowchart for exchange the values of two variables.

KK manufacturing company is faced with demand for its product in each of the next four periods as shown in Table 1.  It must decide upon a production schedule to meet these demands

Greedy Search - artificial intelligence: If we have a heuristic function for states, defined as above, so we can simply measure each state with respect to this measure and ord

Q. Design a 3-bit counter using sequential logic with following counting sequence using JK- flip-flops which counts the sequence 0, 3, 2, 7, 5 and repeat.

The current 32 and 64 bit machines can represent integers of around 9 digits and 30 digits respectively, while various scientific and mathematical applications have to represent in

Q. Describe _blank, _self, _parent and _top tags? These all are attributes of tag. The below example describes each of these attributes. <

Define Step by Step Procedure in Computer Programming? The Computer programming is the skill and art of creating a computer program a defined set of instructions in source code

Difference between static and dynamic RAM. Draw the circuits of one cell of each and explain its working. Ans: Differentiation among Static RAM and Dynamic RAM: Static