Skip to main content
SpringerLink
Log in

The PLP System

  • Conference paper
Logics in Artificial Intelligence (JELIA 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3229))

Included in the following conference series:

Abstract

Prioritized Logic Programs (PLPs) [7] introduce explicit representation of priorities to logic programs. They realize various types of (prioritized) commonsense reasoning in artificial intelligence including preference abduction [5]. Recently, the authors realize a sound and complete procedure for computing preferred answer sets of a PLP [8]. The procedure uses techniques of answer set programming (ASP) [6], and also extends the original PLP by accommodating dynamic preferences in the language. The PLP procedure is implemented on top of the ASP solver DLV [3] using C++, and is now running under the Linux/Windows operating systems as “the PLP system”. The system is available at the URL: http://www.ailab.se.shibaura-it.ac.jp/comppas.html, which provides binaries of the current release and the instruction on how to use the system. Some examples are also found there.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brewka, G.: Well-founded semantics for extended logic programs with dynamic preferences. J. Artificial Intelligence Research 4, 19–36 (1996)

    MATH  MathSciNet  Google Scholar 

  2. Brewka, G., Niemelä, I., Syrjänen, T.: Logic programs with ordered disjunction. Computational Intelligence 20, 335–357 (2004)

    Article  MathSciNet  Google Scholar 

  3. Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem solving using the DLV system. Logic-Based Artificial Intelligence, Kluwer, 79–103 (2000)

    Google Scholar 

  4. Inoue, K., Sakama, C.: Negation as failure in the head. J. Logic Programming 35(1), 39–78 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  5. Inoue, K., Sakama, C.: Abducing priorities to derive intended conclusions. In: Proc. IJCAI 1999, pp. 44–49. Morgan Kaufmann, San Francisco (1999)

    Google Scholar 

  6. Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence 138, 39–54 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  7. Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence 123, 185–222 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Wakaki, T., Inoue, K., Sakama, C., Nitta, K.: Computing preferred answer sets in answer set programming. In: Y. Vardi, M., Voronkov, A. (eds.) LPAR 2003. LNCS, vol. 2850, pp. 259–273. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shibaura Institute of Technology,  

    Toshiko Wakaki

  2. National Institute of Informatics,  

    Katsumi Inoue

  3. Wakayama University,  

    Chiaki Sakama

  4. Tokyo Institute of Technology,  

    Katsumi Nitta

Authors
  1. Toshiko Wakaki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Katsumi Inoue
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chiaki Sakama
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Katsumi Nitta
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CENTRIA, Universidade Nova de Lisboa, Portugal

    Jóse Júlio Alferes

  2. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wakaki, T., Inoue, K., Sakama, C., Nitta, K. (2004). The PLP System. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_62

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30227-8_62

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23242-1

  • Online ISBN: 978-3-540-30227-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation