Knowledge base program understanding via augmented plan transition networks
Mohammad Hassan Shafazand, John Cargill Thompson · 1990
Understanding computer programs is one of the major concerns of the software engineering. One of the approaches to achieve this goal is by, somehow, simulating human perception in understanding language. The overall intent of this research is to illustrate and give an idea, of methodology and technical solutions based on Augmented Transition Networks (ATNs)--a powerful and successful tool in computational linguistic, and Plan Calculus--a powerful formalism to represent programs, such that programs can be understood. In light of the above bases, we design a network grammar called Augmented Plan Transition Networks (APTNs) and a special parser by which plans are parsed and therefore understood. To support the idea and its feasibility, finally, a mini Knowledge Based Program Understanding (KBPU) system is introduced and the ways to implement the model are discussed.