The specific path that an automatic deduction system chooses to derive a statement is the ____ for a logic programming system.
A) axiom
B) theorem
C) control problem
D) deductive database

Question

Quizplus · Accepted Answer

The specific path that an automatic deduction system chooses to derive a statement is known as the control problem in a logic programming system. The control problem relates to the selection and application of rules or axioms in a knowledge base to derive a specific conclusion. Axioms are the basic assumptions or assertions in a logical system, whereas theorems are the propositions that can be derived from these axioms using logical inference rules. A deductive database is a database system that supports logical inference and querying based on a set of rules or axioms.

The Specific Path That an Automatic Deduction System Chooses to Derive