Integrity and rule checking in nonmonotonic knowledge bases

Research output: Contribution to journalArticle

1 Citation (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 payed to the verification and validation of nonmonotonic knowledge bases, although there are good reasons to expect that such knowledge bases will be increasingly used in practical applications. This paper discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. These anomalies are first described in a formal way, and then generic verification methods to detect them are presented.

Original languageEnglish
Pages (from-to)301-306
Number of pages6
JournalKnowledge-Based Systems
Volume9
Issue number5
DOIs
Publication statusPublished - 1 Sep 1996
Externally publishedYes

Fingerprint

Knowledge based systems
Anomaly
Knowledge base
Integrity
Rule-based systems

Cite this

@article{2ef5cea68a554fefa39c48630ff9a70c,
title = "Integrity and rule checking in 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 payed to the verification and validation of nonmonotonic knowledge bases, although there are good reasons to expect that such knowledge bases will be increasingly used in practical applications. This paper discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. These anomalies are first described in a formal way, and then generic verification methods to detect them are presented.",
keywords = "Integrity, Nonmonotonic knowledge bases, Rule checking",
author = "Grigoris Antoniou",
year = "1996",
month = "9",
day = "1",
doi = "10.1016/0950-7051(96)01038-6",
language = "English",
volume = "9",
pages = "301--306",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "5",

}

Integrity and rule checking in nonmonotonic knowledge bases. / Antoniou, Grigoris.

In: Knowledge-Based Systems, Vol. 9, No. 5, 01.09.1996, p. 301-306.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Integrity and rule checking in nonmonotonic knowledge bases

AU - Antoniou, Grigoris

PY - 1996/9/1

Y1 - 1996/9/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 payed to the verification and validation of nonmonotonic knowledge bases, although there are good reasons to expect that such knowledge bases will be increasingly used in practical applications. This paper discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. These anomalies are first described in a formal way, and then generic verification methods to detect them are presented.

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 payed to the verification and validation of nonmonotonic knowledge bases, although there are good reasons to expect that such knowledge bases will be increasingly used in practical applications. This paper discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. These anomalies are first described in a formal way, and then generic verification methods to detect them are presented.

KW - Integrity

KW - Nonmonotonic knowledge bases

KW - Rule checking

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

U2 - 10.1016/0950-7051(96)01038-6

DO - 10.1016/0950-7051(96)01038-6

M3 - Article

VL - 9

SP - 301

EP - 306

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 5

ER -