Deductive Reasoning System

A Deductive Reasoning System is a reasoning system that can solve a deductive reasoning task (by implementing a deductive reasoning algorithm)

• Example(s):
  • It can be an Expert System, that can solve a deduction task.
  • …
• Counter-Example(s):
  • a Inductive Reasoning System.
  • a Abductive Reasoning System.
• See: Introspecting System, Exact Reasoning, Logical Reasoning.

---