ACtE09 · Chapter 9AI & Neural Networks🏛️ Past Licensure QuestionID: 64a72d39
In formal logic and knowledge representation, which systematic computational mechanism or process is used to derive and prove new valid sentences from an existing knowledge base of axioms?
In formal logic and knowledge representation, which systematic computational mechanism or process is used to derive and prove new valid sentences from an existing knowledge base of axioms?
Multiple Choice Options
- A
Symbol table
- B
Semantics
- C
Syntax parser
- D✓ Correct Option
Inference procedure (Inference engine)
Detailed Technical Solution & Explanation
An Inference Procedure (or Inference Engine) applies sound formal logical deduction rules (such as Modus Ponens, Resolution refutation, or Forward/Backward Chaining) to derive new true sentences and entailments from a Knowledge Base ().
Option Analysis:
•
Option A (Symbol table): Compiler data structure for identifiers.
•
Option B (Semantics): The study of meaning and truth interpretations.
•
Option C (Syntax parser): Validates formal grammar rules.
•
Option D (Inference procedure): Correct; algorithm for deriving new facts from existing axioms.
Reference: Mock Test 01NEC Licensure Syllabus