Consider the problem of learning the target concept "pairs of people who live in the same house," denoted by the predicate HouseMates(x, y). Below is a positive example of the concept. Person(Joe) Person (Sue) HouseMates (Joe, Sue) Sex (Joe, Male) Sex (Sue, Female) Hair Color (Joe, Black) Haircolor (Sue, Brown) Height (Joe, Short) Height (Sue, Short) Nationality (Joe, US) Nationality (Sue, US) Mother (Joe, Mary) Mother (Sue, Mary) Age (Joe, 8) Age (Sue, 6) The following domain theory is helpful for acquiring the HouseMates concept: HouseMates(x, y) t InSameFamily(x, y) HouseMates(x, y) t FraternityBrothers (x, y). InSame Family(x, y) t Married (x, y) InSameFamily (x, y) t Youngster (x) A Youngster ( y ) A SameMother (x, y) SameMother(x, y) t Mother(x, z) AMother (y, z) Youngster (x) t Age(x, a) A Less Than (a, 10) Apply the PROLOG-EBGalgorithm to the task of generalizing from the above instance, using the above domain theory. In particular, (a) Show a hand-trace of the PROLOG-EBGalgorithm applied to this problem; that is, show the explanation generated for the training instance, show the result of regressing the target concept through this explanation, and show the resulting Horn clause rule. (b) Suppose that the target concept is "people who live with Joe" instead of "pairs of people who live together." Write down this target concept in terms of the above formalism. Assuming the same training instance and domain theory as before, what Horn clause rule will PROLOG-EBGproduce for this new target concept?
Consider the problem of learning the target concept "pairs of people who live in the same house," denoted by the predicate HouseMates(x, y). Below is a positive example of the concept. Person(Joe) Person (Sue) HouseMates (Joe, Sue) Sex (Joe, Male) Sex (Sue, Female) Hair Color (Joe, Black) Haircolor (Sue, Brown) Height (Joe, Short) Height (Sue, Short) Nationality (Joe, US) Nationality (Sue, US) Mother (Joe, Mary) Mother (Sue, Mary) Age (Joe, 8) Age (Sue, 6) The following domain theory is helpful for acquiring the HouseMates concept: HouseMates(x, y) t InSameFamily(x, y) HouseMates(x, y) t FraternityBrothers (x, y). InSame Family(x, y) t Married (x, y) InSameFamily (x, y) t Youngster (x) A Youngster ( y ) A SameMother (x, y) SameMother(x, y) t Mother(x, z) AMother (y, z) Youngster (x) t Age(x, a) A Less Than (a, 10) Apply the PROLOG-EBGalgorithm to the task of generalizing from the above instance, using the above domain theory. In particular, (a) Show a hand-trace of the PROLOG-EBGalgorithm applied to this problem; that is, show the explanation generated for the training instance, show the result of regressing the target concept through this explanation, and show the resulting Horn clause rule. (b) Suppose that the target concept is "people who live with Joe" instead of "pairs of people who live together." Write down this target concept in terms of the above formalism. Assuming the same training instance and domain theory as before, what Horn clause rule will PROLOG-EBGproduce for this new target concept?
Related questions
Question
Transcribed Image Text:Consider the problem of learning the target concept "pairs of people who live in the same house," denoted by the predicate HouseMates(x, y). Below is a positive example of the concept.
HouseMates (Joe, Sue)
Person(Joe) Person(Sue)
Sex(Joe, Male) Sex(Sue, Female)
Hair Color (Joe, Black) Haircolor (Sue, Brown)
Height ( Joe, Short) Height (Sue, Short)
Nationality (Joe, US) Nationality (Sue, US)
Mother(Joe, Mary) Mother (Sue, Mary)
Age (Joe, 8) Age (Sue, 6)
The following domain theory is helpful for acquiring the HouseMates concept:
HouseMates(x, y) t InSameFamily(x, y)
HouseMates(x, y) t FraternityBrothers (x, y)
InSameFamily(x, y) t Married(x, y)
InSame Family ( x y) t Youngster (x) A Youngster ( y ) A SameMother ( x, y )
و
SameMother(x, y ) t Mother (x, z) A Mother (y, z )
Youngster (x) t Age(x, a ) A LessThan(a, 10)
Apply the PROLOG-EBGalgorithm to the task of generalizing from the above instance, using the above domain theory. In particular,
(a) Show a hand-trace of the PROLOG-EBGalgorithm applied to this problem; that is, show the explanation generated for the training instance, show the result of
regressing the target concept through this explanation, and show the resulting Horn clause rule.
(b) Suppose that the target concept is "people who live with Joe" instead of "pairs of people who live together." Write down this target concept in terms of the
above formalism. Assuming the same training instance and domain theory as before, what Horn clause rule will PROLOG-EBGproduce for this new target concept?
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
Step by step
Solved in 4 steps
