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

A project having of a set of jobs and a set of precedences, where precedence (i; j) show that job j cannot begin before job i is completed. Let c i be the duration of job i. We wi

Discuss in detail the subscriber loop systems. Subscriber Loop System: Every subscriber in a telephone network is linked usually to the nearest switching office by means of w

Q. What is Missing offset? The xxxx in machine language for instruction at line 0010 is there since the assembler doesn't know DATA segment location which will be determined at

Define the PUBLIC and EXTRN directives- Assembler directives PUBLIC and EXTRN directives are very significant to modular programming. PUBLIC used to declare that labels of data

Polymorphism in C++ is the idea that a base class can be inherited by various classes. A base class pointer can point to its child class and a base class array can store dissimilar


The integer n = 3,510,593 has hexadecimal representation 0x00359141 (check this with your d2h program), while the double precision, floating-point number 3510593.0 has hexadecimal

What is the draw back of assigning one bit position to each control signals? Assigning individual bits to every control signal results in long microinstructions due to the numb

Define Encapsulation- object-oriented technology Encapsulation also called as information hiding, is the characteristic of separating the external aspects of an object, from t