Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

3a Consider the following two ASP programs: P(X):-q(X, Y), not p(Y). q(1,2). q(2,1). s(1,a). s(2, b). t1(1). t1(2). t2(a). t2(b). B = H =

3a Consider the following two ASP programs: P(X):-q(X, Y), not p(Y). q(1,2). q(2, 1). s(1,a). s(2, b). t1 

3a Consider the following two ASP programs: P(X):-q(X, Y), not p(Y). q(1,2). q(2,1). s(1,a). s(2, b). t1(1). t1(2). t2(a). t2(b). B = H = [ r(Y) :-t1 (X), t2 (Y), p(x), s(X,Y). ] i) Write down the answer sets of BUH (no proof required). ii) Consider the learning task Ty, with background knowledge B and examples E = {r(a)} and E= {r(b)}. Using your answer to part (1), explain why H is a brave inductive solution of Tb. iii) Consider the learning task T, with background knowledge B and examples E+ = {r(a)} and E= = {r(b)}. Is H a cautious inductive solution of Te? Explain why using your answer to part (i). 3a Consider the following two ASP programs: P(X):-q(X, Y), not p(Y). q(1,2). q(2,1). s(1,a). s(2, b). t1(1). t1(2). t2(a). t2(b). B = H = [ r(Y) :-t1 (X), t2 (Y), p(x), s(X,Y). ] i) Write down the answer sets of BUH (no proof required). ii) Consider the learning task T, with background knowledge B and examples E = {r(a)} and E= {r(b)}. Using your answer to part (i), explain why H is a brave inductive solution of Tb. iii) Consider the learning task T, with background knowledge B and examples E+ = {r(a)} and E= = {r(b)}. Is H a cautious inductive solution of Te? Explain why using your answer to part (i).

Step by Step Solution

There are 3 Steps involved in it

Step: 1

The image depicts a question about Answer Set Programming ASP which is a form of declarative programming oriented towards difficult search problems Th... blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Fundamentals of Engineering Economics

Authors: Chan S. Park

3rd edition

132775425, 132775427, 978-0132775427

More Books

Students also viewed these Algorithms questions