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)