A procedural approach for rule based update extended summary

Sai Kiran Lakkaraju; Yan Zhang

doi:10.1007/3-540-46695-9_40

A procedural approach for rule based update extended summary

Sai Kiran Lakkaraju, Yan Zhang

School of Computer, Data & Mathematical Sciences

Western Sydney University

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

Abstract

We consider the knowledge base update in which a knowledge base is realised by a normal logic program and can be updated with an inserting or deleting update rule. In this paper we propose a SLDNF resolution based procedure to implement this kind of rule based update. We prove a correctness theorem for our approach under the stable model semantics and show that a minimal change criterion is also satisfied in the underlying update formalization.

Original language	English
Title of host publication	Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings
Editors	Norman Foo
Publisher	Springer Verlag
Pages	467-468
Number of pages	2
ISBN (Print)	3540668225, 9783540668220
DOIs	https://doi.org/10.1007/3-540-46695-9_40
Publication status	Published - 1999
Event	12th Australian Joint Conference on Artificial Intelligence, AI 1999 - Sydney, Australia Duration: 6 Dec 1999 → 10 Dec 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1747
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th Australian Joint Conference on Artificial Intelligence, AI 1999
Country/Territory	Australia
City	Sydney
Period	6/12/99 → 10/12/99

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

Access to Document

10.1007/3-540-46695-9_40

Cite this

Lakkaraju, S. K., & Zhang, Y. (1999). A procedural approach for rule based update extended summary. In N. Foo (Ed.), Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings (pp. 467-468). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1747). Springer Verlag. https://doi.org/10.1007/3-540-46695-9_40

Lakkaraju, Sai Kiran ; Zhang, Yan. / A procedural approach for rule based update extended summary. Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings. editor / Norman Foo. Springer Verlag, 1999. pp. 467-468 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{842bbe0f82644cf6be57b39f6a5dfb80,

title = "A procedural approach for rule based update extended summary",

abstract = "We consider the knowledge base update in which a knowledge base is realised by a normal logic program and can be updated with an inserting or deleting update rule. In this paper we propose a SLDNF resolution based procedure to implement this kind of rule based update. We prove a correctness theorem for our approach under the stable model semantics and show that a minimal change criterion is also satisfied in the underlying update formalization.",

author = "Lakkaraju, {Sai Kiran} and Yan Zhang",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 12th Australian Joint Conference on Artificial Intelligence, AI 1999 ; Conference date: 06-12-1999 Through 10-12-1999",

year = "1999",

doi = "10.1007/3-540-46695-9_40",

language = "English",

isbn = "3540668225",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "467--468",

editor = "Norman Foo",

booktitle = "Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings",

}

Lakkaraju, SK & Zhang, Y 1999, A procedural approach for rule based update extended summary. in N Foo (ed.), Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1747, Springer Verlag, pp. 467-468, 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Sydney, Australia, 6/12/99. https://doi.org/10.1007/3-540-46695-9_40

A procedural approach for rule based update extended summary. / Lakkaraju, Sai Kiran; Zhang, Yan.
Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings. ed. / Norman Foo. Springer Verlag, 1999. p. 467-468 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1747).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - A procedural approach for rule based update extended summary

AU - Lakkaraju, Sai Kiran

AU - Zhang, Yan

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - We consider the knowledge base update in which a knowledge base is realised by a normal logic program and can be updated with an inserting or deleting update rule. In this paper we propose a SLDNF resolution based procedure to implement this kind of rule based update. We prove a correctness theorem for our approach under the stable model semantics and show that a minimal change criterion is also satisfied in the underlying update formalization.

AB - We consider the knowledge base update in which a knowledge base is realised by a normal logic program and can be updated with an inserting or deleting update rule. In this paper we propose a SLDNF resolution based procedure to implement this kind of rule based update. We prove a correctness theorem for our approach under the stable model semantics and show that a minimal change criterion is also satisfied in the underlying update formalization.

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

U2 - 10.1007/3-540-46695-9_40

DO - 10.1007/3-540-46695-9_40

M3 - Conference Paper

AN - SCOPUS:84957673454

SN - 3540668225

SN - 9783540668220

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 467

EP - 468

BT - Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings

A2 - Foo, Norman

PB - Springer Verlag

T2 - 12th Australian Joint Conference on Artificial Intelligence, AI 1999

Y2 - 6 December 1999 through 10 December 1999

ER -

Lakkaraju SK, Zhang Y. A procedural approach for rule based update extended summary. In Foo N, editor, Advanced Topics in Artificial Intelligence - 12th Australian Joint Conference on Artificial Intelligence, AI 1999, Proceedings. Springer Verlag. 1999. p. 467-468. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-46695-9_40

A procedural approach for rule based update extended summary

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this