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

Ask an Expert

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

Write your message here..

Related Questions

Differentiate between EPROM and EEPROM, Differentiate between EPROM and EEP... Differentiate between EPROM and EEPROM. EPROM: The meaning of this term is Erasable PROM. This can be reprogrammed through first erasing the existing program. EPROM uses N-MO

Desirable characteristics of an electronic market place, What are the desir... What are the desirable characteristics of an Electronic Market Place?  Characteristics of an Electronic Market Place:  a. Its electronic, the business center is not a phys

Explain the paging unit, Explain the Paging Unit Paging mechanism funct... Explain the Paging Unit Paging mechanism functions with 4K - byte memory pages or with a new extension available to Pentium with 4M byte-memory pages. In Pentium, with new 4M-b

What is linked list, Q. What is Linked List? A linked list is a data st... Q. What is Linked List? A linked list is a data structure formed by zero or more nodes linked by pointers. Every node has two parts as shown in Figure below. One of them is inf

System engineering hierarcy, develop system engineering hirarcy for public ... develop system engineering hirarcy for public health care?

Speed up factor, Remember, the value of α is between 0 and 1. Now, let us p... Remember, the value of α is between 0 and 1. Now, let us put some values of α and compute the speed up factor for increasing values of number of processors.  We get that the S(N) k

Determine the uses of programming language interface, Determine the uses of... Determine the uses of Programming Language Interface PLI  is  used  for  implementing  system  calls  that would  have  been  hard  to  do  otherwise  (or impossible) using Ve

Compare single bus structure and multiple bus structure, Compare single bus... Compare single bus structure and multiple bus structure? A system that having only one bus(i.e only one transfer at a time) is known as a single bus structure. A system is know

With what symbolic names can be associated, Symbolic names can be associate... Symbolic names can be associated with? Ans. With data or instruction symbolic names associated.

Explain pointers, Explain pointers We can have a pointer pointing to a ... Explain pointers We can have a pointer pointing to a structure just the same way a pointer pointing to an int, such pointers are called as structure pointers