Verification and correctness issues for nonmonotonic knowledge bases

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule-based systems. So far, little attention has been paid to the verification and validation of more complex representations, such as nonmonotonic knowledge bases, although there are good reasons to expect that these technologies will be increasingly used in practical applications. This article does a step towards the verification of knowledge bases which include defaults by providing a theoretical foundation of correctness concepts and a classification of possible anomalies. It also points out how existing verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases, and discusses methods of avoiding potential inconsistencies (in the context of default reasoning inconsistency means nonexistence of extensions).

LanguageEnglish
Pages725-738
Number of pages14
JournalInternational Journal of Intelligent Systems
Volume12
Issue number10
DOIs
Publication statusPublished - 1 Oct 1997
Externally publishedYes

Fingerprint

Knowledge Base
Anomaly
Correctness
Inconsistency
Knowledge based systems
Default Reasoning
Rule-based Systems
Verification and Validation
Nonexistence

Cite this

@article{f37c05a4991b4083a16bc61aa4e2dde0,
title = "Verification and correctness issues for nonmonotonic knowledge bases",
abstract = "Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule-based systems. So far, little attention has been paid to the verification and validation of more complex representations, such as nonmonotonic knowledge bases, although there are good reasons to expect that these technologies will be increasingly used in practical applications. This article does a step towards the verification of knowledge bases which include defaults by providing a theoretical foundation of correctness concepts and a classification of possible anomalies. It also points out how existing verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases, and discusses methods of avoiding potential inconsistencies (in the context of default reasoning inconsistency means nonexistence of extensions).",
author = "Grigoris Antoniou",
year = "1997",
month = "10",
day = "1",
doi = "10.1002/{\%}28SICI{\%}291098-111X{\%}28199710{\%}2912{\%}3A10<725{\%}3A{\%}3AAID-INT2>3.0.CO{\%}3B2-{\%}23",
language = "English",
volume = "12",
pages = "725--738",
journal = "International Journal of Intelligent Systems",
issn = "0884-8173",
publisher = "John Wiley and Sons Ltd",
number = "10",

}

Verification and correctness issues for nonmonotonic knowledge bases. / Antoniou, Grigoris.

In: International Journal of Intelligent Systems, Vol. 12, No. 10, 01.10.1997, p. 725-738.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Verification and correctness issues for nonmonotonic knowledge bases

AU - Antoniou, Grigoris

PY - 1997/10/1

Y1 - 1997/10/1

N2 - Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule-based systems. So far, little attention has been paid to the verification and validation of more complex representations, such as nonmonotonic knowledge bases, although there are good reasons to expect that these technologies will be increasingly used in practical applications. This article does a step towards the verification of knowledge bases which include defaults by providing a theoretical foundation of correctness concepts and a classification of possible anomalies. It also points out how existing verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases, and discusses methods of avoiding potential inconsistencies (in the context of default reasoning inconsistency means nonexistence of extensions).

AB - Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule-based systems. So far, little attention has been paid to the verification and validation of more complex representations, such as nonmonotonic knowledge bases, although there are good reasons to expect that these technologies will be increasingly used in practical applications. This article does a step towards the verification of knowledge bases which include defaults by providing a theoretical foundation of correctness concepts and a classification of possible anomalies. It also points out how existing verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases, and discusses methods of avoiding potential inconsistencies (in the context of default reasoning inconsistency means nonexistence of extensions).

UR - http://www.scopus.com/inward/record.url?scp=0031258428&partnerID=8YFLogxK

U2 - 10.1002/%28SICI%291098-111X%28199710%2912%3A10<725%3A%3AAID-INT2>3.0.CO%3B2-%23

DO - 10.1002/%28SICI%291098-111X%28199710%2912%3A10<725%3A%3AAID-INT2>3.0.CO%3B2-%23

M3 - Article

VL - 12

SP - 725

EP - 738

JO - International Journal of Intelligent Systems

T2 - International Journal of Intelligent Systems

JF - International Journal of Intelligent Systems

SN - 0884-8173

IS - 10

ER -