question in logic "answer set program" >> plz help

• Aug 28th 2012, 06:38 AM
midosoft
question in logic "answer set program" >> plz help
prove that every answer set of program(pi) is closed under(pi)

• Aug 28th 2012, 06:43 AM
Plato
Re: question in logic "answer set program" >> plz help
Quote:

Originally Posted by midosoft
prove that every answer set of program(pi) is closed under(pi)

If that makes any sense to you then please explain what it means to us.
• Aug 28th 2012, 06:45 AM
emakarov
Re: question in logic "answer set program" >> plz help
Quote:

Originally Posted by Plato
If that makes any sense to you then please explain what it means to us.

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.
• Aug 28th 2012, 07:00 AM
midosoft
Re: question in logic "answer set program" >> plz help
a set x of atoms is an answer set of program if the Cn(product of this programe at x ) = x
• Aug 28th 2012, 07:03 AM
emakarov
Re: question in logic "answer set program" >> plz help
And now, please, define Cn, "product of a program at a set" and "closed under a program".
• Aug 28th 2012, 07:06 AM
midosoft
Re: question in logic "answer set program" >> plz help
Cn is consequence .. its the basic of logic if u don't know it u can't help me :(
• Aug 28th 2012, 07:24 AM
emakarov
Re: question in logic "answer set program" >> plz help
Quote:

Originally Posted by midosoft
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.

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.
• Aug 28th 2012, 05:23 PM
midosoft
Re: question in logic "answer set program" >> plz help
http://i49.tinypic.com/8y5182.jpg

here is all definitions may u need
plz help me
• Aug 29th 2012, 12:22 AM
emakarov
Re: question in logic "answer set program" >> plz help
And when is a set closed under a program?