ACtE09 · Chapter 9AI & Neural Networks🏛️ Past Licensure QuestionID: ae69f8d3
In logic, an ________ derives new sentences from existing sentences.
In logic, an ________ derives new sentences from existing sentences.
Multiple Choice Options
- A
Symbol
- B
Semantics
- C
Syntax
- D✓ Correct Option
Inference procedure
Detailed Technical Solution & Explanation
An inference procedure (or inference engine) implements logical derivation rules to generate or deduce new valid sentences from an existing knowledge base of premises.
Option Analysis:
•
Option A (Symbol): Atomic token in logic syntax.
•
Option B (Semantics): Rules assigning truth values and meaning to sentences.
•
Option C (Syntax): Rules governing grammatical formation of well-formed formulas.
•
Option D (Inference procedure): Correct. The operational mechanism that derives new sentences from existing sentences.
Reference: Mock Test 06NEC Licensure Syllabus