✦ LIBER ✦

An approach to the dynamic verification of knowledge-based systems

✍ Scribed by Keinosuke Matsumoto; Tomihiro Takano

Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 623 KB
Volume: 14
Category: Article
ISSN: 0142-0615
DOI: 10.1016/0142-0615(92)90016-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ViVa: A systematic approach to verificat

ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems

✍ Erik Hollnagel 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 569 KB

The role of ontologies in the verificati

The role of ontologies in the verification and validation of knowledge-based systems

✍ Trevor J. M. Bench-Capon 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 92 KB 👁 2 views

An approach to dynamical description of

An approach to dynamical description of dissipative systems

✍ Toshiyuki Toyoda; Shohei Kashiwamura 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 560 KB

Automated Integration of External Databa

Automated Integration of External Databases: A Knowledge-Based Approach to Enhancing Rule-Based Expert Systems

✍ Lewis Berman; Mark Cullen; Perry L. Miller 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 408 KB

The application of knowledge-based syste

The application of knowledge-based systems to corrosion management

✍ C.O. Emenike 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 705 KB

An approach towards the verification of

An approach towards the verification of expert systems using numerical petri nets

✍ N. K. Liu; T. Dillon 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 936 KB

A major difficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, consistency, and completeness of the knowledge base. A method of transforming the production rules into a numerical petri nets (NPNs) model is proposed. These NPNs are hig