General Inference Rules
General Inference procedure
When a proposition is encountered in the input, check every inference rule for a match on the dependent proposition. If matched, search for match on remaining propositions. If matched, produce inferred element. The inferred element is added to the input list. Repeat this process until the input list is exhauted.
ODEPC - Controlling the future.
The acronym ODEPC (pronounced “oh deep sea”) stands for the five steps used to reason about behavior patterns. These five steps are: Observe, Describe, Explain, Predict, and Control. For an AI entity to emulate human reasoning about patterns of behavior it must be able to perform these functions.
The first three functions support learning by experience. The fourth supports evaluating future events. The fifth supports making behavioral choices, based on experience learned in the first three steps, to control future events.
Observe - collect data appropriate to the circiumstances.
Describe - convert and organize the data into sets for reasoning.
Explain - create causal inferences and generalizations from data.
Predict - using generalizations and conditions assess probable outcomes.
Control - change conditions to alter probable outcomes.
Definitions
Argument has three parts: 2 premises, 1 conclusion. Asks for belief.
Inference has 2 parts. Asks for conclusion.
Prove has 1 part, asks for premises.
Analyze Argument asks for soundness.
Harry: offers fact.
Tom: says prove it.
Harry: offers argument.
Tom: validates argument and accepts belief in fact.
Or Tom: invalidates argument and offers counter argument.