This Article 
 Bibliographic References 
 Add to: 
A G-Net Model for Knowledge Representation and Reasoning
September 1990 (vol. 2 no. 3)
pp. 295-310

The G-net model for G-type knowledge representation is introduced. It is capable of modeling both static semantic knowledge and dynamic control knowledge, combining them into a loosely coupled, mixed-type knowledge hierarchy. Four reasoning algorithms for the G-net model are proposed: inheritance reasoning and recognition reasoning for semantic knowledge, event-driven reasoning for dynamic knowledge, and control table reasoning for coordination and control in a mixed-type knowledge hierarchy. Based on the knowledge-table representation, the G-net model expresses the constraints and relationships among knowledge objects explicitly so that reasoning algorithms can be implemented efficiently. Applications to information systems prototyping are discussed.

[1] E. Best and C. Fernandez, "Notations and terminology of Petri net theory,"Petri Net Newsletters, no. 23, pp. 21-46, 1986.
[2] R. J. Brachman, "What IS-A is and isn't: An analysis of taxonomic links in semantic networks,"IEEE Comput. Mag., vol. 6, no. 10, pp. 30-36, 1983.
[3] J.-M. Chang and S. K. Chang, "Database alerting techniques for office activity management,"IEEE Trans. Commun., vol. COM-30, no. 1, pp. 74-81, Jan. 1982.
[4] S. K. Chang, "Office information system design,"Management and Office Information Systems, S. K. Chang, Ed. New York: Plenum, 1984, pp. 291-308.
[5] S. K. Chang and W. L. Chan, "Transformation and verification of office procedures,"IEEE Trans. Software Eng., vol. SE-11, no. 8, pp. 724-734, Aug. 1985.
[6] S. K. Chang and C. S. Ho, "Knowledge table as a unified knowledge representation for office information system design,"Office Knowledge Engineering, Newsletter of IEEE TC on Office Automation, vol. 3, no. 1, pp. 12-25, Feb. 1989.
[7] K. Jensen, "Colored Petri nets,"Lecture Notes in Computer Science, vol. 254, pp. 249-299, 1987.
[8] H. Levesque, "Knowledge representation and reasoning,"Ann. Rev. Comput. Sci., pp. 255-287, 1986.
[9] H. J. Levesque and R. J. Brachman, "A fundamental tradeoff in knowledge representation and reasoning (Revised Version)," inReadings in Knowledge Representation, R. A. Brachman and H. J. Levesque, Eds. Los Altos, CA: Morgan Kaufmann, 1985, pp. 41- 70.
[10] J. L. Peterson, "Petri nets,"ACM Comput. Surveys, vol. 9, no. 3, pp. 223-252, Sept. 1977.
[11] D. M. Randal, "Semantic networks," inApproaches to Knowledge Representation, G. A. Ringland and D. A. Duce, Eds. New York: Wiley, 1988, pp. 45-79.
[12] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[13] S. Ribaric, "Knowledge representation scheme based on Petri Net theory,"Int. J. Pattern Recognition Artif. Intell., vol. 2, no. 4, pp. 691-700, 1988.
[14] L. Shastri, "Semantic networks: An evidential formalization and its connectionist realization," inResearch Notes in Artificial Intelligence. London, England: Pitman, 1988.
[15] R. Valette and H. Atabakhche, "Petri nets for sequence constraint propagation in knowledge based approaches," inConcurrency and Nets, V. Genich and G. Rozenberg, Eds. New York: Springer-Verlag, 1987, pp. 555-569.
[16] T. Winograd, "Frame representation and the declarative/procedural controversy," inRepresentation and Understanding: Studies in Cognitive Science, D. G. Bobrow and A. M. Collins, Eds. New York: Academic, 1975, pp. 185-210.
[17] W. A. Woods, "What's in a link: Foundations for semantic networks," inRepresentation and Understanding Studies in Cognitive Science, D. G. Bobrow and A. M. Collins, Eds. New York: Academic, 1975, pp. 35-82.
[18] W. A. Woods, "Important issues in knowledge representation,"Proc. IEEE, vol. 74, no. 10, pp. 1322-1334, Oct. 1986.

Index Terms:
G-net model; knowledge representation; reasoning; static semantic knowledge; dynamic control knowledge; knowledge hierarchy; inheritance reasoning; recognition reasoning; dynamic knowledge; knowledge objects; information systems prototyping; knowledge representation; Petri nets; software engineering
Y. Deng, S.-K. Chang, "A G-Net Model for Knowledge Representation and Reasoning," IEEE Transactions on Knowledge and Data Engineering, vol. 2, no. 3, pp. 295-310, Sept. 1990, doi:10.1109/69.60793
Usage of this product signifies your acceptance of the Terms of Use.