English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 94586/125118 (76%)
Visitors : 30542108      Online Users : 95
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    政大機構典藏 > 理學院 > 資訊科學系 > 期刊論文 >  Item 140.119/14979
    Please use this identifier to cite or link to this item: http://nccur.lib.nccu.edu.tw/handle/140.119/14979

    Title: A Development Framework and Verification Methodologies for Knowledge-Based Systems
    Authors: 張宏慶
    Date: 1995-01
    Issue Date: 2008-12-16 16:38:16 (UTC+8)
    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.
    Relation: International Journal on Artificial Intelligence Tools, 4(1/2), 219-256
    Data Type: article
    DOI 連結: http://dx.doi.org/10.1142/S0218213095000127
    DOI: 10.1142/S0218213095000127
    Appears in Collections:[資訊科學系] 期刊論文

    Files in This Item:

    File SizeFormat

    All items in 政大典藏 are protected by copyright, with all rights reserved.

    社群 sharing

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback