National Changhua University of Education Institutional Repository : Item 987654321/11854
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 6491/11663
造访人次 : 25204800      在线人数 : 73
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 进阶搜寻


题名: 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
显示于类别:[資訊工程學系] 會議論文


档案 大小格式浏览次数



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