Joshua Taylor 20080918 Presentation Joshua Taylor 1

Question is for the Presentation: Joshua Taylor 20080918 Presentation
Question is asked by: Joshua Taylor
The Question is: As described in Section 6 "Empirical Evaluation", in step 3 the authors "extracted the minimal locality-based module for each atomic concept". However, the only method for extracting modules seems to be Algorithm 1, about which is stated "Finally, we point out that the modules extracted using Algorithm 1 are not necessarily minimal ones. That is, if O ⊨ α, the computed module might be a strict superset of a justification for α in O, and if O ⊭ α then the module for Sig(α) might not necessarily be the empty set." Then how is a "minimal locality-based module for each atomic concept" produced?

Answer

Question asked	As described in Section 6 "Empirical Evalu … As described in Section 6 "Empirical Evaluation", in step 3 the authors "extracted the minimal locality-based module for each atomic concept". However, the only method for extracting modules seems to be Algorithm 1, about which is stated "Finally, we point out that the modules extracted using Algorithm 1 are not necessarily minimal ones. That is, if O ⊨ α, the computed module might be a strict superset of a justification for α in O, and if O ⊭ α then the module for Sig(α) might not necessarily be the empty set." Then how is a "minimal locality-based module for each atomic concept" produced? module for each atomic concept" produced?
Question asked by	Joshua Taylor +
Question for the Presentation	Joshua Taylor 20080918 Presentation +