Home//Concepts/Forward chaining forward chaining search

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Concept

Forward chaining forward chaining search

Modified just now

JourneyProgramming Language Theory Statuslearning

A proof technique for Judgment forms that starts with an Axiom and tries to derive the desired judgment.

Previous in ConceptsForward chaining backward chaining Next in Concepts Forward chaining search

JourneyProgramming Language Theory

Statuslearning