Name
Abstract | ||
|---|---|---|
Graph Grammars are a visual formal language for which there are several techniques of system specification and verification. This fact makes them an attractive option for describing complex systems. Fuzzy graph grammars generalize the concept of graph grammars, using fuzzy graphs. A fuzzy graph is composed of vertices and edges that have an associated membership value, which varies within a range of 0 to 1. Due to the lack of technique and analysis tools for fuzzy graph grammars, their use is still quite limited. One way to allow the analysis of fuzzy graphs grammars is using the extension of existing graph grammar approaches, including the concept of membership in the graph components. There is a relational approach of graph grammars that allows the use of theorem provers to perform property analysis of systems described in this language. This approach is the basis of a translation of graph grammars into the Event-B language, which enables the use of theorem provers of the Rodin tool. Therefore, the aim of this work is to extend this graph grammar approach, including fuzzy concepts, to allow the use of the theorem proving technique to analyze fuzzy graph grammars. In order to set this extension was first necessary to define the notion of typed fuzzy graph grammars. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1109/FSKD.2017.8392914 | 2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD) |
Keywords | Field | DocType |
typed fuzzy graph grammars,relational approach,visual formal language,associated membership value,theorem provers,graph components,Event-B language,Rodin tool,fuzzy concepts | Rule-based machine translation,Formal language,Computer science,Automated theorem proving,Fuzzy logic,Theoretical computer science,Grammar,Fuzzy set,Artificial intelligence,Fuzzy control system,System requirements specification,Machine learning | Conference |
ISBN | Citations | PageRank |
978-1-5386-2166-0 | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alex Bertei | 1 | 0 | 0.68 |
| Luciana Foss | 2 | 94 | 14.44 |
| Simone Andre da Costa Cavalheiro | 3 | 20 | 6.53 |
| Renata H. S. Reiser | 4 | 31 | 2.39 |