| dc.creator (作者) | 張宏慶 | zh_TW |
| dc.creator (作者) | Jang,Hung-Chin | - |
| dc.date (日期) | 1995-01 | en_US |
| dc.date.accessioned | 16-Dec-2008 16:38:16 (UTC+8) | - |
| dc.date.available | 16-Dec-2008 16:38:16 (UTC+8) | - |
| dc.date.issued (上傳時間) | 16-Dec-2008 16:38:16 (UTC+8) | - |
| dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/14979 | - |
| dc.description.abstract (摘要) | 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. | - |
| dc.format | application/ | en_US |
| dc.language | en | en_US |
| dc.language | en-US | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | International Journal on Artificial Intelligence Tools, 4(1/2), 219-256 | en_US |
| dc.title (題名) | A Development Framework and Verification Methodologies for Knowledge-Based Systems | en_US |
| dc.type (資料類型) | article | en |
| dc.identifier.doi (DOI) | 10.1142/S0218213095000127 | - |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1142/S0218213095000127 | - |
