Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Correctness in hierarchical knowledge-based requirements.

V L Shen1

  • 1Dept. of Electr. Eng., Mingchi Inst. of Technol., Taipei.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
|February 7, 2008
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Requirements specification and analysis of digital systems using fuzzy and marked Petri nets.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2008
Same author

Reinforcement learning for high-level fuzzy Petri nets.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2008
Same journal

Strategic Ability Updating in Concurrent Games by Coalitional Commitment.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2015
Same journal

Meta-Analysis of the First Facial Expression Recognition Challenge.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Adjustable model-based fusion method for multispectral and panchromatic images.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Face Feature Weighted Fusion Based on Fuzzy Membership Degree for Video Face Recognition.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

A New Adaptive Fast Cellular Automaton Neighborhood Detection and Rule Identification Algorithm.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Human-arm-and-hand-dynamic model with variability analyses for a stylus-based haptic interface.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
See all related articles

This study introduces predicate/transition (pr/t) nets to verify large knowledge-based systems (KBSs), improving efficiency and reducing design time. An efficient fault diagnosis algorithm aids in locating KBS design flaws.

Area of Science:

  • Computer Science
  • Artificial Intelligence
  • Software Engineering

Background:

  • The increasing complexity of expert systems necessitates efficient methods for knowledge base verification.
  • Traditional pairwise rule comparison is computationally intensive for large-scale knowledge-based systems (KBSs).

Purpose of the Study:

  • To enhance the performance and reduce the design time of KBSs.
  • To introduce a novel approach for verifying the correctness of KBS requirements.
  • To present an efficient fault diagnosis algorithm for KBS design.

Main Methods:

  • Integration of the least fixpoint semantics of predicate/transition (pr/t) nets into KBSs.
  • Development of an efficient fault diagnosis algorithm for identifying design errors.

Related Experiment Videos

  • Utilization of the T-invariant technique inherent in pr/t nets for requirement verification.

    • Main Results:

    • The pr/t net model significantly speeds up computation and saves design time for KBSs.
    • The proposed fault diagnosis algorithm effectively locates design faults.
    • Frame- and rule-based hardware description language (FARHDL) facilitates KBS construction.

    Conclusions:

    • The pr/t net model offers an efficient verification technique for large-scale KBSs.
    • This approach improves the performance of computer-aided design (CAD) tools for digital systems.
    • The T-invariant technique provides a robust method for ensuring KBS requirement correctness.