Results 1 to 9 of 9

Math Help - question in logic "answer set program" >> plz help

  1. #1
    Newbie
    Joined
    Dec 2007
    Posts
    12

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

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

    plz i need the answer
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,669
    Thanks
    1618
    Awards
    1

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

    Quote Originally Posted by midosoft View Post
    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.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

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

    Quote Originally Posted by Plato View Post
    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.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Dec 2007
    Posts
    12

    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
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

    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".
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Dec 2007
    Posts
    12

    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
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

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

    Quote Originally Posted by midosoft View Post
    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.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Newbie
    Joined
    Dec 2007
    Posts
    12

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



    here is all definitions may u need
    plz help me
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

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

    And when is a set closed under a program?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 3
    Last Post: July 28th 2012, 01:31 PM
  2. Replies: 2
    Last Post: April 2nd 2012, 07:06 PM
  3. Need a graphing program that recognizes "i"
    Posted in the Math Software Forum
    Replies: 1
    Last Post: September 12th 2009, 07:44 AM
  4. example data for "R project" program
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: May 28th 2008, 11:21 PM
  5. logic: expressing "or" in terms of "implies not"
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: September 29th 2007, 06:55 AM

Search Tags


/mathhelpforum @mathhelpforum