Artificial Intelligence
AI Magazine
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An incremental constraint solver
Communications of the ACM
AI Magazine
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Task-structure analysis for knowledge modeling
Communications of the ACM - Special issue on analysis and modeling in software development
Task structure semantics through process algebra
Software Engineering Journal
An integrated design environment for performance and dependability analysis
DAC '97 Proceedings of the 34th annual Design Automation Conference
A preliminary architecture for a basic data-flow processor
25 years of the international symposia on Computer architecture (selected papers)
Verification of workflow task structures: A petri-net-based approach
Information Systems
A multiuser computation facility for education and research
Communications of the ACM
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
New Approach to Requirements Trade-Off Analysis for Complex Systems
IEEE Transactions on Knowledge and Data Engineering
Knowledge Specification of an Expert System
IEEE Expert: Intelligent Systems and Their Applications
Explanations in Knowledge Systems: The Roles of the Task Structure and Domain Functional Models
IEEE Expert: Intelligent Systems and Their Applications
Two Aspects of the Validation and Verification of Knowledge-Based Systems
IEEE Expert: Intelligent Systems and Their Applications
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Task-Based Specifications Through Conceptual Graphs
IEEE Expert: Intelligent Systems and Their Applications
Explanation-Based Generalization: A Unifying View
Machine Learning
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A fuzzy Petri net-based expert system and its application to damageassessment of bridges
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A semantic validation of conceptual graphs
Knowledge-Based Systems
A knowledge engineering approach to knowledge management
Information Sciences: an International Journal
Journal of Systems and Software
Constructing SCORM compliant course based on High-Level Petri Nets
Computer Standards & Interfaces
Developing the KMKE knowledge management system based on design patterns and parallel processing
ICIC'09 Proceedings of the 5th international conference on Emerging intelligent computing technology and applications
Hi-index | 0.00 |
As knowledge-based system technology gains wider acceptance, there is an increasing need for verifying knowledge-based systems to improve the reliability and quality. Traditionally, attention has been given on verifying knowledge-based systems at the knowledge level, which only addresses structural errors such as redundancy, conflict, and circularity in rule bases. No semantic error such as inconsistency in the requirements specification level has 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 into high-level Petri nets are identified, for example, the representation of task decomposition, constraints, and state model; the distinction between 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 constraints satisfaction and relaxation techniques and on process specifications of the task based on the reachability property and the notion of specificity.