-
Knowledge Base: Represents facts about the world.
-
Inference Engine: An automated reasoning system.
-
Theorem: A statement that can be demonstrated to be true by accepted mathematical operations and arguments.
-
Axiom: A statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.
-
Antecedent: Left hand side of a rule.
-
Consequent: right hand side of a rule.
-
Backward Chaining: In backward chaining the system looks at possible conclusions and works backward to see if they might be true.
-
Notifications
You must be signed in to change notification settings - Fork 0
Eathox/expert-system
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published