Loading...
|
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: | [資訊工程學系] 會議論文
|
Files in This Item:
| File |
Size | Format | |
|---|
| index.html | 0Kb | HTML | 720 | View/Open |
|
All items in NCUEIR are protected by copyright, with all rights reserved.
|
