def test_generate_admissible_venice_framework(self): admissible_sets = Semantics.admissible(venice_baba) self.assertIn(Semantics.SemanticSet([]), admissible_sets) self.assertIn(Semantics.SemanticSet([a, c, e]), admissible_sets) self.assertIn(Semantics.SemanticSet([c, e]), admissible_sets) self.assertIn(Semantics.SemanticSet([e]), admissible_sets) self.assertIn(Semantics.SemanticSet([b, d]), admissible_sets) self.assertIn(Semantics.SemanticSet([d]), admissible_sets) self.assertEqual(6, len(admissible_sets))
def compute_semantics(framework_string): framework = create_framework(framework_string) admissible = Semantics.admissible(framework) stable_ext = Semantics.stable(framework, admissibles=admissible) grounded_ext = Semantics.grounded(framework, admissibles=admissible) complete_ext = Semantics.complete(framework, admissibles=admissible) preferred_ext = Semantics.preferred(framework, admissibles=admissible) ideal_ext = Semantics.stable(framework, admissibles=admissible) return stable_ext, grounded_ext, complete_ext, preferred_ext, ideal_ext
def test_generate_admissible_s_framework(self): admissible_sets = Semantics.admissible(s_baba) self.assertEqual(18, len(admissible_sets))
def test_generate_admissible_larger_framework(self): baba = ExampleFrameworks.larger_framework() admissible_sets = Semantics.admissible(baba) self.assertIn(Semantics.SemanticSet([b, e, i]), admissible_sets) self.assertIn(Semantics.SemanticSet([b, e, g, h]), admissible_sets) self.assertIn(Semantics.SemanticSet([b, f, g, h, i]), admissible_sets)
def compute_admissible(framework_string): framework = create_framework(framework_string) return Semantics.admissible(framework)