Automatic diagnoses for properly stratified knowledge-bases

Ofer Arieli; Arnon Avron

doi:10.1109/TAI.1996.560481

Automatic diagnoses for properly stratified knowledge-bases

Ofer Arieli^*, Arnon Avron

^*Corresponding author for this work

School of Computer Science

Tel Aviv University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.

Original language	English
Title of host publication	Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence
Publisher	IEEE
Pages	392-399
Number of pages	8
ISBN (Print)	0-8186-7686-7
DOIs	https://doi.org/10.1109/TAI.1996.560481
State	Published - 1996
Event	Proceedings of the 1996 IEEE 8th International Conference on Tools with Artificial Intelligence - Toulouse, Fr Duration: 16 Nov 1996 → 19 Nov 1996

Publication series

Name	Proceedings of the International Conference on Tools with Artificial Intelligence
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISSN (Print)	1063-6730

Conference

Conference	Proceedings of the 1996 IEEE 8th International Conference on Tools with Artificial Intelligence
City	Toulouse, Fr
Period	16/11/96 → 19/11/96

Access to Document

10.1109/TAI.1996.560481

Cite this

@inproceedings{0941d3fffb0c470f8111f88fd2339d27,

title = "Automatic diagnoses for properly stratified knowledge-bases",

abstract = "We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.",

author = "Ofer Arieli and Arnon Avron",

year = "1996",

doi = "10.1109/TAI.1996.560481",

language = "אנגלית",

isbn = "0-8186-7686-7",

series = "Proceedings of the International Conference on Tools with Artificial Intelligence",

publisher = "IEEE",

pages = "392--399",

booktitle = "Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence",

note = "Proceedings of the 1996 IEEE 8th International Conference on Tools with Artificial Intelligence ; Conference date: 16-11-1996 Through 19-11-1996",

}

Arieli, O & Avron, A 1996, Automatic diagnoses for properly stratified knowledge-bases. in Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence. Proceedings of the International Conference on Tools with Artificial Intelligence, IEEE, pp. 392-399, Proceedings of the 1996 IEEE 8th International Conference on Tools with Artificial Intelligence, Toulouse, Fr, 16/11/96. https://doi.org/10.1109/TAI.1996.560481

Automatic diagnoses for properly stratified knowledge-bases. / Arieli, Ofer; Avron, Arnon.
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence. IEEE, 1996. p. 392-399 (Proceedings of the International Conference on Tools with Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automatic diagnoses for properly stratified knowledge-bases

AU - Arieli, Ofer

AU - Avron, Arnon

PY - 1996

Y1 - 1996

N2 - We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.

AB - We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.

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

U2 - 10.1109/TAI.1996.560481

DO - 10.1109/TAI.1996.560481

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0030402090

SN - 0-8186-7686-7

T3 - Proceedings of the International Conference on Tools with Artificial Intelligence

SP - 392

EP - 399

BT - Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence

PB - IEEE

T2 - Proceedings of the 1996 IEEE 8th International Conference on Tools with Artificial Intelligence

Y2 - 16 November 1996 through 19 November 1996

ER -

Automatic diagnoses for properly stratified knowledge-bases

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this