Petri nets: an introduction
Transformation and Verification of Office Procedures
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Knowledge representation and reasoning
Annual review of computer science vol. 1, 1986
Petri nets for sequence constraint propagation in knowledge based approaches
Concurrency and nets: advances in Petri nets
Approaches to knowledge representation: an introduction
Knowledge tavle as a unified knowledge representation for office information system design
Office Knowledge Engineering
ACM Computing Surveys (CSUR)
Semantic Networks: An Evidential Formalization and Its Connectionist Realization
Semantic Networks: An Evidential Formalization and Its Connectionist Realization
Multi-level specification and protocol design for distributed multimedia communication
COCS '91 Proceedings of the conference on Organizational computing systems
A Visual Language Compiler for Information Retrieval by Visual Reasoning
IEEE Transactions on Software Engineering
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering
M-CODD: A Technique for the Conceptual Design of Multimedia Databases
MDIC '01 Proceedings of the Second International Workshop on Multimedia Databases and Image Communication
KBMS-Based Evolutionary Prototyping of Software Systems*
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Software Engineering
Survey of graph database models
ACM Computing Surveys (CSUR)
Reversed fuzzy Petri nets and their application for fault diagnosis
Computers and Industrial Engineering
| Hi-index | 0.00 |
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.