National Changhua University of Education Institutional Repository : Item 987654321/11854
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 6507/11669
造訪人次 : 30025521      線上人數 : 421
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜尋範圍 進階搜尋

請使用永久網址來引用或連結此文件: http://ir.ncue.edu.tw/ir/handle/987654321/11854

題名: Task-based specifications through conceptual graphs
作者: Lee, Jonathan;Lai, Lien-Fu;Huang, W. T.
貢獻者: 資訊工程學系
日期: 1995-02
上傳時間: 2012-07-02T02:24:03Z
出版者: IEEE Computer Society Washington, DC, USA
摘要: We propose the use of conceptual graphs to express task based specifications in which the specification is driven by the task structure of problem solving knowledge, pieces of the specification can be refined iteratively and verification is performed for a single layer or between layers. Issues in mapping task based specifications into conceptual graphs are identified for example, the representation of constraints, the relationship between a task, its constraints and state model, rigid and soft postconditions, the distinction between follow and immediately follow operators, and the composition operator in task state expressions. To alleviate the problems, the notion of demons has been adopted to represent task state expressions as well as state models. Constraint overlays have been used for describing the state model, and canonical formation rules have been applied to compose task state expressions. These are illustrated using the problem domain of R1/SOAR.
關聯: The IEEE Eleventh Conference on Artificial Intelligence for Applications, Feb, 1995: 196-202
顯示於類別:[資訊工程學系] 會議論文

文件中的檔案:

檔案 大小格式瀏覽次數
index.html0KbHTML756檢視/開啟


在NCUEIR中所有的資料項目都受到原著作權保護.

 

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