LOGIC PARADIGM Flashcards
Variables
Placeholders for values that are not yet known (e.g. X, Y, Z).
Rules
A rule is a condition that a fact fulfils (e.g. birds have feathers).
Facts
A fact is something that is stated and known (e.g. Dinosaurs probably had feathers)
Heuristics
A rule of thumb often based on experience to determine a fact. It usually results in one or more possible solutions.
If a patient displays symptoms for a common cold, the doctor won’t complete every possible medical test, and then diagnose.
The doctor will use heuristics, or a rule of thumb, to determine a disease.
Goals
To test/request to see if a rule is true for given facts, we use Goals.
Inference Engine
A software which interrogates the knowledge base to resolve queries and goals and return a value/s.
Forward Chaining
Starts by asking a question and apply facts and rules to find an answer. Start off with observations and compare them to known rules until a conclusion is made.
Backward Chaining
Starts by assuming a known fact and attempt to prove it using the facts and rules until it is proven or disproven. we know it is green and makes a croaking. noise what animal is it? eliminate possibilities until one is left.