In: Proceedings of the 5th IEEE International Symposium on Intelligent Control, 1990, Philadelphia, PA, USA, pages 677-682. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: The issue of structural formulation of task plan generation for intelligent machines is investigated from the perspective of artificial intelligence. The knowledge base of the machines is represented by a relational database, and the task-planning process is modeled by a condition/event net. It is shown that the task plans generated by the formulation proposed are Petri net languages. The objective of such a structural formulation is to establish a formal framework for the task plan generation of intelligent machines in terms of concepts in mathematical logic.
Keywords: task plan generation (for) intelligent machine(s); artificial intelligence; relational database; condition/event net; net language; neural network computing; logic.