We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Learn more about funding links in repositories.
Report abuse
There was an error while loading. Please reload this page.
1 parent 6f6113d commit e717439Copy full SHA for e717439
inference_engine_algorithms/forward_chaining.py
@@ -2,7 +2,6 @@
2
The forward-chaining algorithm PL-FC-ENTAILS? (KB, q) determines if a single proposition
3
symbol q—the query—is entailed by a knowledge base of definite clauses. It begins from
4
known facts (positive literals) in the knowledge base.
5
-known facts (positive literals) in the knowledge base.
6
7
Reference: https://dl.ebooksworld.ir/books/Artificial.Intelligence.A.Modern.Approach.4th.Edition.Peter.Norvig.%20Stuart.Russell.Pearson.9780134610993.EBooksWorld.ir.pdf
8
0 commit comments