Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/14979
題名: | A Development Framework and Verification Methodologies for Knowledge-Based Systems | 作者: | 張宏慶 Jang,Hung-Chin |
日期: | Jan-1995 | 上傳時間: | 16-Dec-2008 | 摘要: | In this paper, we present a development framework and verification methodologies for knowledge-based systems (KBSs) with real-time systems as our target system. The framework originates from an integration of three software development paradigms: rapid prototyping, operational specification, and transformational implementation. Based on this framework, we present RT-FRORL as a formal requirements specification language which exploits knowledge representation techniques as an aid in the specification, development, and verification of a KBS for real-time systems. RT-FRORL uses a combination of resolution refutation, anomaly detection matrix, and algorithms methods to verify a number of properties which might exist in KBSs. By incorporating RT-FROHL and its verification methods with the underlying framework, it lays a very strong foundation to deal with the current issues in KBSs verification. | 關聯: | International Journal on Artificial Intelligence Tools, 4(1/2), 219-256 | 資料類型: | article | DOI: | http://dx.doi.org/10.1142/S0218213095000127 |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Size | Format | |
---|---|---|---|
index.html | 128 B | HTML2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.