プロダクションシステムにおける動的特性のベリフィケーション

Transactions of the Japanese Society for Artificial Intelligence 16:1-10 (2001)
  Copy   BIBTEX

Abstract

Production systems are one of the most widely used models of knowledge representation and application. They have demonstrated their success as a software technology for solving ill-structured problems.Though they have been implemented successfully in many domains, building these systems is a challenging task because of the ill-defined nature of the applications and the novel nature of the technology. Since the architecture of production systems is dissimilar to typical procedural software, lots of conventional software evaluation techniques cannot be available easily to them. So, there has been a demand for a practical verification systems which help the knowledge-base designer to develop production systems, and to assure the validity of them. This paper presents two verification systems that can be used to verify the dynamic properties of OPS5, which is the most general production system arguably. One is a system which predicts the sequence of rules that must fire to archieve given specific goal state concerned with a final state or an intermediate state representing a meaningful advancement in reaching a final state. The prediction is performed at compile-time, only with static informations and a set of declarations for the objective goal state. This system can generate the information to determine whether the manner in which the developed production system will pursue given goal state at run-time is valid according to the specifications and expectations of the knowledge-base designer. The other is a system which automatically detects some exceptions which may occur at run-time by using meta-knowledges. Meta-knowledges are constructed by the knowledge-base designer in conjunction with the domain expert implicitly. They represent his design or semantic specification of the knowledge-base, such as valid range of attribute values, range of attribute values requested by the knowledge-base and unexpected inconsistent states. This system is implemented additionally to OPS5 framework. The detection is performed at run-time and is taken in every inference-cycle. By introducing both of two systems described in the above into the development process of production systems, the costs of the knowledge-base designer are reduced, and it becomes possible that to some extentreliability is guaranteed in the system which was finally completed.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Isomorphism and legal knowledge based systems.T. J. M. Bench-Capon & F. P. Coenen - 1992 - Artificial Intelligence and Law 1 (1):65-86.
Banana KBS Diagnosis and Treatment.Rafiq Madhoun - 2015 - International Journal of Academic Pedagogical Research (IJAPR) 2 (7):1-11.
Onion RBS for Disorders Diagnosis and Treatment.Alajrami Ali & Qassas Randa - 2016 - International Journal of Academic Pedagogical Research (IJAPR) 8 (2):1-8.
KBS for Banana Diagnosis and Treatment.Rafiq Madhoun - 2017 - International Journal of Academic Pedagogical Research (IJAPR) 2 (7):1-10.
Revising System Specifications in Temporal Logic.Paulo T. Guerra & Renata Wassermann - 2022 - Journal of Logic, Language and Information 31 (4):591-618.

Analytics

Added to PP
2014-03-25

Downloads
16 (#934,884)

6 months
2 (#1,259,626)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references