Ken'ichi Hatanaka

  • Citations Per Year
Learn More
Given a partially defined Boolean function (pdBf) (T, F ), we investigate in this paper how to find a Horn extension f : {0, 1}n 7→ {0, 1}, which is consistent with (T, F ), where T ⊆ {0, 1}n denotes a set of true Boolean vectors (or positive examples) and F ⊆ {0, 1}n denotes a set of false Boolean vectors (or negative examples). Given a pdBf (T, F ), it is(More)
  • 1