DCPP: Knowledge Representation for Planning Processes
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.
Unable to display preview. Download preview PDF.
- 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
- 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