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

plz i need the answer

Printable View

- August 28th 2012, 06:38 AMmidosoftquestion in logic "answer set program" >> plz help
prove that every answer set of program(pi) is closed under(pi)

plz i need the answer - August 28th 2012, 06:43 AMPlatoRe: question in logic "answer set program" >> plz help
- August 28th 2012, 06:45 AMemakarovRe: question in logic "answer set program" >> plz help
- August 28th 2012, 07:00 AMmidosoftRe: 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

- August 28th 2012, 07:03 AMemakarovRe: 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".

- August 28th 2012, 07:06 AMmidosoftRe: 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 :(

- August 28th 2012, 07:24 AMemakarovRe: question in logic "answer set program" >> plz help
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. - August 28th 2012, 05:23 PMmidosoftRe: question in logic "answer set program" >> plz help
http://i49.tinypic.com/8y5182.jpg

here is all definitions may u need

plz help me - August 29th 2012, 12:22 AMemakarovRe: question in logic "answer set program" >> plz help
And when is a set closed under a program?