Deducing Logic Programs

  • Ka-Shu Wong
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)


Consider an agent endowed with a logic program which is able to respond to certain questions about the logic program. We would like to answer the question: to what extent can we deduce the logic program from the agent’s answers, and how can we do this?

For example, suppose the agent has a logic program with the unique answer set {p, q}. Supposing that we are only allowed to ask whether a given literal is in an answer set, we may guess that the logic program is {p ←, q ←}. It is clear that this is unlikely to be the actual logic program, however we cannot distinguish between this program and the actual program with only the questions allowed. On the other end of the scale, suppose we are allowed to ask the agent to tell us their logic program. Then it is trivial to determine exactly the logic program of the agent.


Logic Program Inductive Logic Programming Negotiation Protocol Syntactical Property Disjunctive Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4), 365–386 (1991)CrossRefGoogle Scholar
  2. 2.
    Lifschitz, V., Tang, L., Turner, H.: Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence 25(2-3), 369–390 (1999)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Shapiro, E.: Inductive inference of theories from facts. In: Lassez, J., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 199–255 (1991)Google Scholar
  4. 4.
    Muggleton, S.: Inductive Logic Programming. Academic Press, London (1992)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ka-Shu Wong
    • 1
  1. 1.National ICT Australia and, School of Computer Science and Engineering, UNSWSydneyAustralia

Personalised recommendations