#specificity

Question 1: Single choice

mediumAI-checkedKnowledge Representation & Reasoning

A production system has two rules:

R1: (thread ^name ⟨x⟩) → make (process ^name ⟨x⟩ ^isAlive yes)
R2: (thread ^name ⟨x⟩), (killed ^name ⟨x⟩) → make (process ^name ⟨x⟩ ^isAlive no)

Working memory holds, in timestamp order: 1 (thread ^name t1), 2 (thread ^name t2), 3 (killed ^name t2). Which conclusion is made first under the conflict-resolution strategy specificity, and which under recency?

Both strategies fire R2 on WMEs 2 and 3, making process t2 not alive1
Specificity fires R2 on WMEs 2 and 3, while recency fires R1 on WME 22
Specificity fires R1 on WME 1, while recency fires R2 on WMEs 2 and 33
Both strategies fire R1 on WME 1, making process t1 alive4

Timed test