Forward chaining - artificial intelligence, Computer Engineering

Forward Chaining - Artificial intelligence:

Imagine we have a set of axioms which we know are true statements regarding the world. If we set these to each be a starting state of the search space and we set the aim state to be our theorem statement, then it is a simple approach which may be used to prove theorems. We call this approach forward chaining approach because the agent employing the search constructs chains of reasoning from the axioms, positively to the goal. Once a path has been found from the axioms to the theorem, this is the path to constitutes a proof and the problem has been solved.

However,in general, the problem with forward chaining is that it cannot easily use the goal (theorem statement) to drive the search. Hence it actually might just explore the search space until it comes across the solution. Goal-directed searches are frequently more effective than non-goal directed ones like forward chaining.

 

Posted Date: 10/2/2012 8:25:48 AM | Location : United States







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

Write discussion on Forward chaining - artificial intelligence
Your posts are moderated
Related Questions
Can the operand expression in an ORG statement contains forward references? If so, outline how the statement can be processed in a two-pass assembly scheme. ORG that is origin

What does the c$ command do from command mode using Vi Editor? Ans) C$ will start from the character under the curser till the finish of line. So when you use this command it wi

VBA is licensed to Microsoft and this compatible with and only Microsoft products. Code written is compiled by an intermediate language known as P-code and this is stored in hostin

Define entry section and exit section. The critical section problem is to design a protocol that the processes can use to cooperate. Every process must request permission to e


Prove the equations using the Boolean algebraic theorems that is given below A‾BC + AB‾C + ABC‾+ ABC = AB + BC + AC Ans. The equation given is A‾BC + AB‾C + ABC‾+ ABC = AB + BC +

What are the server specific middle wares? Server specific middle wares. Their role in e-commerce. Additional features needed by e-commerce server. Middleware is the term of

An HTML document can be created by using any HTML editor or text editor such as notepad etc. STEPS FOR CREATING A SIMPLE HTMLPROGRAM   1. Go to Start -> Programs->A

Q. Diffrence between CD-R vs CD RW? A CD-R disc looks same as a CD. Though all pressed CDs are silver, CD-R discs are gold or silver on their label side and a deep cyan or gree

Determine the synchronization of bits The synchronization provided by use of start and stop bits, an extra bit known as a parity bit may optionally be transmitted along with th