Recently, there has been an increasing interest in improving the reliability and quality of AI systems. As a result, a number of approaches to knowledge-based systems modeling have been proposed. However, these approaches are limited in formally verifying the intended functionality and behavior of a
Fuzzy logic as a basis for reusing task-based specifications
โ Scribed by Lein F. Lai; Jonathan Lee; Stephen J. Yang
- Publisher
- John Wiley and Sons
- Year
- 1999
- Tongue
- English
- Weight
- 597 KB
- Volume
- 14
- Category
- Article
- ISSN
- 0884-8173
No coin nor oath required. For personal study only.
โฆ Synopsis
In this paper, we propose an approach to reusing requirements specification, called ลฝ . task-based specifications in conceptual graphs TBCG . In TBCG, task-based specification methodology is used to serve as the mechanism to structure the knowledge captured in conceptual models, and conceptual graphs are adopted as the formalism to express requirements specification. TBCG provides several mechanisms to facilitate the reuse of formal specifications: a contextual retrieval mechanism to support context-sensitive specifications retrieval and incremental context acquisition, a graph matching mechanism to compute the similarity between two graphs based on the semantic match and fuzzy logic, and a paraphraser to serve as an explanation mechanism for the retrieval specifications.
๐ SIMILAR VOLUMES