National Changhua University of Education Institutional Repository : Item 987654321/11854
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 6507/11669
Visitors : 29730620      Online Users : 441
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Adv. Search
LoginUploadHelpAboutAdminister

Please use this identifier to cite or link to this item: http://ir.ncue.edu.tw/ir/handle/987654321/11854

Title: Task-based specifications through conceptual graphs
Authors: Lee, Jonathan;Lai, Lien-Fu;Huang, W. T.
Contributors: 資訊工程學系
Date: 1995-02
Issue Date: 2012-07-02T02:24:03Z
Publisher: IEEE Computer Society Washington, DC, USA
Abstract: 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.
Relation: The IEEE Eleventh Conference on Artificial Intelligence for Applications, Feb, 1995: 196-202
Appears in Collections:[Department and Graduate Institute of Computer Science and Information Engineering] Proceedings

Files in This Item:

File SizeFormat
index.html0KbHTML752View/Open


All items in NCUEIR are protected by copyright, with all rights reserved.

 


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