NDLI: KJ3-a tool for proving formal specifications of rule-based expert systems

Content Provider	IEEE Xplore Digital Library
Author	Chih-Hung Wu Shi-Jue Lee
Copyright Year	1998
Description	Author affiliation: Dept. of Inf. Manage., Shu-Te Inst. of Technol., Kaohsiung, Taiwan (Chih-Hung Wu)
Abstract	KJ3 is the first system which incorporates theorem proving techniques with the Petri Net description scheme for knowledge validation of rule based systems (RBSs). By converting the validation tasks of RBSs to reachability problems of Enhanced High-level Petri Net (EHLPN), KJ3 performs validation by proving if the hypothetical reachability problem is true. The establishment of the hypothesis corresponds to the achievement of the validation tasks. Since the properties of RBSs, such as refraction, conservation of facts, variables, closed world assumption, and negative information, can be properly represented and handled by EHLPN, different types of RBSs can be processed in KJ3. Since checking user specifications becomes investigating the reachability problems of EHLPN, all types of validation tasks can be handled by KJ3. The validation results can be directly extracted from the inference process to allow the users to explain the validation results. The inference process is mathematically traceable, sound, and complete, KJ3 guarantees that the validation outcome is reliable.
Starting Page	310
Ending Page	317
File Size	1013649
Page Count	8
File Format	PDF
ISBN	0780352149
ISSN	10823409
DOI	10.1109/TAI.1998.744859
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1998-11-10
Publisher Place	Taiwan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Formal specifications Expert systems Knowledge based systems Testing Information management Data mining Petri nets Knowledge engineering Councils
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal specification of a rule-based expert system

Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems

Rule base verification using Petri nets

Representation and processing of rule-based expert system using Petri nets: a viable framework

A Conflict Treatment Algorithm for Certainty Rule-based Knowledge

A Conflict Treatment Model for Uncertainty Rule-based Knowledge

Dependency analysis for knowledge validation in rule-based expert systems

A new approach to verify rule-based systems using Petri nets

A CASE tool for information system project and development

KJ3-a tool for proving formal specifications of rule-based expert systems

Similar Documents

Formal specification of a rule-based expert system

Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems

Rule base verification using Petri nets

Representation and processing of rule-based expert system using Petri nets: a viable framework

A Conflict Treatment Algorithm for Certainty Rule-based Knowledge

A Conflict Treatment Model for Uncertainty Rule-based Knowledge

Dependency analysis for knowledge validation in rule-based expert systems

A new approach to verify rule-based systems using Petri nets

A CASE tool for information system project and development

KJ3-a tool for proving formal specifications of rule-based expert systems