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
The conversation speed of an analog to digital converter is maximum with which technique? Ans. With parallel comparator AD converter technique the conversation speed of an ana

What is Parallel Sections Construct? The parallel sections construct is a shortcut for specifying a parallel construct comprising one sections construct however no other statem

Matlab already handles naturally easy LaTeX encodings that permit introducing Greek lettters or modifying the font size and appearance in plots.

Q. Example on Passing Parameters through Stack? PROGRAM: Version 3 DATA_SEG               SEGMENT                         BCD DB 25h; Storage for BCD test value BIN

Give the truth table of S-R and D-flipflops. Ans: The Truth Table for S-R Flip-Flop is illustrated in Fig.(a) and truth table of D Flip-Flop is illustrated in Fig.(b)

SHOW THAT AVERAGE NUMBER OF UNIT IN A (M/M/1) QUELING SYTEM IS EQUAL TO P/(1-p). NOTE:P=ROW

Q. What is interrupt? How it is useful in controlling I/O operations. Q. Explain function of Color Graphics Adopter card and Diskette Drive Adopter Card.

What is Expansion swap? At the time when any process needs more memory than it is currently allocated, the Kernel performs Expansion swap. To do this Kernel reserves enough spa

List the properties which a hashing function should possess to ensure a good search performance. What approaches are adopted to handle collision? A hashing function h must poss

The major domains of AI research and development. AI applications can be grouped under three major areas cognitive science robotics and natural interfaces though these class