A G-net model for knowledge representation and reasoning |
| |
Authors: | Deng Y Chang S-K |
| |
Affiliation: | Dept. of Comput. Sci., Pittsburgh Univ., PA; |
| |
Abstract: | 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 |
| |
Keywords: | |
|
|