1. ## question in logic "answer set program" >> plz help

prove that every answer set of program(pi) is closed under(pi)

2. ## Re: question in logic "answer set program" >> plz help

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.

3. ## Re: question in logic "answer set program" >> plz help

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.

4. ## 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

5. ## 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".

6. ## 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

7. ## Re: question in logic "answer set program" >> plz help

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.

8. ## Re: question in logic "answer set program" >> plz help

here is all definitions may u need
plz help me

9. ## Re: question in logic "answer set program" >> plz help

And when is a set closed under a program?