prove that every answer set of program(pi) is closed under(pi)
plz i need the answer
Printable View
prove that every answer set of program(pi) is closed under(pi)
plz i need the answer
If that makes any sense to you then please explain what it means to us.Quote:
Originally Posted by midosoft
I agree. "Answer set" seems to be a term from logic programming, but since this area is pretty specialized, OP should at least remind the definitions.Quote:
Originally Posted by Plato
a set x of atoms is an answer set of program if the Cn(product of this programe at x ) = x
And now, please, define Cn, "product of a program at a set" and "closed under a program".
Cn is consequence .. its the basic of logic if u don't know it u can't help me :(
Cn is a specific notation used in your particular textbook or course. I agree that a person familiar with logic should know what "logical consequence" is, but he/she does not have to know what Cn is.Quote:
Originally Posted by midosoft
Further, proof theory is one of the four main branches of mathematical logic (see "Handbook of Mathematical Logic" edited by Barwise). Logic programming (LP) is a quite small topic in proof theory. Concepts like "product of a program" and "closed under a program," which are particular to LP and possibly to a particular source about LP, are in no way basics of logic.
I've studied logic programming, but it was quite a few years ago, and I can't help with your question without being reminded of the definitions.
http://i49.tinypic.com/8y5182.jpg
here is all definitions may u need
plz help me
And when is a set closed under a program?