Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge-Based and Intelligent Information and Engineering Systems

KES 2004: Knowledge-Based Intelligent Information and Engineering Systems pp 53–61Cite as

DCPP: Knowledge Representation for Planning Processes

  • Conference paper

  • 534 Accesses

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

Abstract

We have developed a language called DCPP (Definite Clauses for Planning Processes) to represent knowledge concerning situations changing due to a process. The knowledge coded by DCPP is translated into definite clauses and forms a logic program that simulates the situation changes. Since data flows are bilateral in logic programming, the program works not only as a symbolic simulator for changing situations, but also as a planner for generating a process to achieve the required situation. As an example of knowledge encoding, we will show the start-up process for an electric power plant.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intell. 2, 189–208 (1971)

    Article  MATH  Google Scholar 

  2. Levesque, H., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A Logic Programming Language for Dynamic Domains. J. Logic Programming 31, 59–84 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  3. McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4, pp. 463–502. Edinburgh Univ. Press (1969)

    Google Scholar 

  4. McDermott, D.: The Current State of AI Planning Research. In: Proc. The Ninth International Conf. of Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 25–34. Gordon and Breach Pub. (1996)

    Google Scholar 

  5. Pereira, F.C.N., Warren, D.H.D.: Definite Clause Grammars for Language Analysis. Artificial Intell. 13, 231–278 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  6. Tanaka, T.: Definite Clause Set Grammars: A Formalism for Problem Solving. J. Logic Programming 10, 1–17 (1991)

    Article  MathSciNet  Google Scholar 

  7. Tanaka, T.: Parsing Circuit Topology in A Logic Grammar. IEEE-Trans. Knowledge and Data Eng. 5(2), 225–239 (1993)

    Article  Google Scholar 

  8. Tanaka, T., Bartenstein, O.: DCSG-Converters in Yacc/Lex and Prolog. In: Proc. 12th International Conference on Applications of Prolog, pp. 44–49 (1999)

    Google Scholar 

  9. Tanaka, T.: Knowledge Representation for Structure and Function of Electronic Circuits. In: Proc. 7th International Conference, KES 2003, pp. 707–714 (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Fukuoka Institute of Technology, 3-30-1 Wajiro-Higashi Higashi-ku, Fukuoka, 811-0295, Japan

    Takushi Tanaka

  2. Community Technology Research Co. Ltd., 127-2-602 Imazyuku-machi Nishi-ku, Fukuoka, 819-0164, Japan

    Koki Tanaka

Authors
  1. Takushi Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koki Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. KES International, 2nd Floor, 145-157 St John Street, EC1V 4PY, London, United Kingdom

    Mircea Gh. Negoita

  2. Centre for SMART systems Engineering Research Centre, University of Brighton, BN2 4GJ, Moulsecoomb, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, Mawson Lakes, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tanaka, T., Tanaka, K. (2004). DCPP: Knowledge Representation for Planning Processes. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2004. Lecture Notes in Computer Science(), vol 3214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30133-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30133-2_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23206-3

  • Online ISBN: 978-3-540-30133-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation