pCG: An Implementation of the Process Mechanism and an Extensible CG Programming Language
David J. Benn, Dan R. Corbett · 2001
Abstract Mineau (1998) has developed a state-transition based extension to Sowa’s Conceptual Structures Theory (1984) called processes, which permits the dynamic update of a knowledge base of conceptual graphs. This formalism is a generalisation of Delugach’s (1991) demons, and Sowa’s actors or dataflow graphs, although the process mechanism also utilises the latter in practice. This paper presents a generalpurpose programming language, pCG, which has been developed for the purpose of embodying the process formalism. A pCG implementation of Mineau's 1998 iterative factorial process is given, along with a simple pCG program which addresses the ICCS 2001 CGTools workshop entry criteria. The paper ends with conclusions and possible future work.