資料載入中.....
|
請使用永久網址來引用或連結此文件:
http://ir.ncue.edu.tw/ir/handle/987654321/11694
|
題名: | A high-level petri nets based approach to verifying task structures |
作者: | Lee, Jonathan;Lai, Lien-Fu |
貢獻者: | 資訊工程學系 |
日期: | 2002-03
|
上傳時間: | 2012-07-02T02:01:56Z
|
出版者: | IEEE Computer Society |
摘要: | As knowledge-based system technology gains wider acceptance, there is an increasing need to verify knowledge-based systems to improve their reliability and quality. Traditionally, attention has been given to verifying knowledge-based systems at the knowledge level, which only addresses structural errors such as redundancy, conflict and circularity in rule bases. No semantic errors (such as inconsistency at the requirements specification level) have been checked. In this paper, we propose the use of task structures for modeling user requirements and domain knowledge at the requirements specification level, and the use of high-level Petri nets for expressing and verifying the task structure-based specifications. Issues in mapping task structures onto high-level Petri nets are identified, e.g. the representation of task decomposition, constraints and the state model; the distinction between the "follow" and "immediately follow" operators; and the "composition" operator in task structures. The verification of task structures using high-level Petri nets is performed on model specifications of a task through constraint satisfaction and relaxation techniques, and on process specifications of the task based on the reachability property and the notion of specificity |
關聯: | IEEE Transactions on Knowledge and Data Engineering, 14(2): 316-335 |
顯示於類別: | [資訊工程學系] 期刊論文
|
文件中的檔案:
檔案 |
大小 | 格式 | 瀏覽次數 |
index.html | 0Kb | HTML | 566 | 檢視/開啟 |
|
在NCUEIR中所有的資料項目都受到原著作權保護.
|