ACtE09 · Chapter 9AI & Neural Networks🏛️ Past Licensure QuestionID: 622a9291

In default logic, which of the following inference rules of the form is allowed?

Multiple Choice Options

A
(A : B) / C
✓ Correct Option
B
A / (B : C)
C
A / B
D
A / B : C

Detailed Technical Solution & Explanation

In Ray Reiter's non-monotonic Default Logic (1980), a default rule is formally expressed in the schema $\frac{A : B}{C}$ (written as (A : B) / C), where $A$ is the prerequisite, $B$ is the justification (consistent with current beliefs), and $C$ is the default conclusion inferred.

Option Analysis:

•

Option A ((A : B) / C): Correct. The canonical mathematical syntax for default logic inference rules.

•

Option B (A / (B : C)): Malformed syntax.

•

Option C (A / B): Standard deductive inference rule schema, not default logic.

•

Option D (A / B : C): Malformed syntax.

Reference: Mock Test 05NEC Licensure Syllabus

Want to practice this topic interactively?

Test your knowledge with timed mock exams, instant answer evaluation, and score tracking.

Practice Chapter 9 Now →

Loading view...