A G-net model for knowledge representation and reasoning

Deng, Yi; Chang, Shi-Kuo

doi:10.1109/69.60793

Cited by 50 publications

(6 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Also, the abstract transitions defined in the Planner module, i.e., make_decision, sensor, and update, can be refined into correct sub-nets that capture action sequences specific to those activities. This work will provide a bridge to other work concerned with such agent activities [36], [37], [38]. We will also look further into issues like deadlock avoidance and state exploration problems in the agentoriented design and verification processes.…”

Section: Discussionmentioning

confidence: 93%

A framework for model-based design of agent-oriented software

Shatz

2003

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Agents are becoming one of the most important topics in distributed and autonomous decentralized systems, and there are increasing attempts to use agent technologies to develop large-scale commercial and industrial software systems. The complexity of such systems suggests a pressing need for system modeling techniques to support reliable, maintainable, and extensible design. G-nets are a type of Petri net defined to support system modeling in terms of a set of independent and loosely-coupled modules. In this paper, we customize the basic G-net model to define a so-called "agent-based G-net" that can serve as a generic model for agent design. Then, to progress from an agent-based design model to an agent-oriented model, new mechanisms to support inheritance modeling are introduced. To illustrate our formal modeling technique for multiagent systems, an example of an agent family in electronic commerce is provided. Finally, we demonstrate how we can use model checking to verify some key behavioral properties of our agent model. This is facilitated by the use of an existing Petri net tool.

show abstract

Section: Discussionmentioning

confidence: 93%

A framework for model-based design of agent-oriented software

Shatz

2003

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Clustering [27] is often followed by a stage in which a decision tree or rule set is inferred that allocates each instance to its cluster. Other knowledge representation approaches, such as Petri net [59], Fuzzy Petri nets [19] and G-net [26] were also developed and used.…”

Section: From Knowledge Representation To Knowledge Maps Representatimentioning

confidence: 99%

Toward Distributed Knowledge Discovery on Grid Systems

Le-Khac

Aouad

Kechadi

2010

Emergent Web Intelligence: Advanced Semantic Technologies

View full text Add to dashboard Cite

“…A number of researchers have reported progresses toward the integration of expert systems with Petri nets. Ordinary and high level Petri nets have been proposed as knowledge representation formalisms where structural and behavioral properties of the net can be used to prove properties of the system being modeled or to verify the knowledge base integrity [1][2][3][4][5][6][7]. Ref.…”

Section: Introductionmentioning

confidence: 99%

A study of fuzzy logical petri nets and its application

Jiang

2001

J. of Electron.(China)

View full text Add to dashboard Cite

In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzzy logical Petri net is given. It is simpler than the conventional algorithm of forward reasoning from initial propositions. An application to the partial fault model of a car engine in paper Portinale's(1993) is used as an illustrative example of FLPN.

show abstract

A G-net model for knowledge representation and reasoning

Cited by 50 publications

References 12 publications

A framework for model-based design of agent-oriented software

A framework for model-based design of agent-oriented software

Toward Distributed Knowledge Discovery on Grid Systems

A study of fuzzy logical petri nets and its application

Contact Info

Product

Resources

About