✦ LIBER ✦

On the verification of modular logical knowledge bases

✍ Scribed by Grigoris Antoniou; Volker Sperschneider

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 584 KB
Volume: 8
Category: Article
ISSN: 0957-4174
DOI: 10.1016/0957-4174(94)e0026-q

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Knowledge-based approach to structural i

Knowledge-based approach to structural integrity verification in requirements analysis and logical system specification

✍ R. Agarwal; S. Sakthivel; M. Tanniru 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB

Verification of multiple agent knowledge

Verification of multiple agent knowledge-based systems

✍ Daniel E. O'Leary 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB 👁 2 views

Foundation and application of knowledge

Foundation and application of knowledge base verification

✍ Alun D. Preece; Rajjan Shinghal 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 1020 KB

Anomalies such as redundant, contradictory, and deficient knowledge in a knowledge base are symptoms of probable errors. Detecting anomalies is a well-established method for verifying knowledge-based systems. Although many tools have been developed to perform anomaly detection, several important iss

Reasoning with propositional knowledge b

Reasoning with propositional knowledge based on fuzzy neural logic

✍ Wangming Wu; Hoon-Heng Teh; Bo Yuan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 760 KB

In this article, a new kind of reasoning for propositional knowledge, which is based on the fuzzy neural logic initialed by Teh, is introduced. A fundamental theorem is presented showing that any fuzzy neural logic network can be represented by operations: bounded sum, complement, and scalar product

Evaluation of verification tools for kno

Evaluation of verification tools for knowledge-based systems

✍ ALUN D. PREECE; STÉPHANE TALBOT; LAURENCE VIGNOLLET 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Validation has emerged as a significant problem in the development of knowledgebased systems (KBS). Verification of KBS correctness and completeness has been cited as one of the most difficult aspects of validation. A number of software tools have been developed to perform such verification, but non

Using temporal logics of knowledge for s

Using temporal logics of knowledge for specification and verification—a case study

✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp