A LINEAR FORWARD REASONING ALGORITHM BASED ON KNOWLEDGE SORTING
吴信东 · 中国科学通报：英文版 · 1991
In the basic forward reasoning algorithm, each 3-phase matching—conflict resolution—action cycle deals with the matching problem of every piece of knowledge in a knowledge base with context or database. But the successful matching of a piece of knowledge with context does not always mean its immediate action. A piece of knowledge may fail to