Skip to main content
SpringerLink
Log in

A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3213))

Abstract

Belief revision provides a paradigm of rational changes of a belief state by some pieces of information [1, 3]. Belief base revision, the subjects of belief change operations are sets of sentences which are not deductively closed, has also studied (cf. [4, 6, 7, 12, 14]). Base revision is closely connected to update of logic programs, and many authors have proposed knowledge base update for various kinds of logic programs (cf. [2, 13, 15]). These studies treat the processes of belief base revision as mainly in syntactic framework. On the other hand, in order to perform minimal changes in both syntactic viewpoint and semantic viewpoint simultaneously, authors have proposed belief base changes using state transition diagrams [10]. State transition diagrams connect syntactic restriction of belief bases and semantic restriction of models. Authors have proposed belief base change for Horn logic programs [10], and for extended logic program which do not contain negation as failure operators [11].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourrón, C., Gärdenfors, G., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50, 510–530 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  2. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic Updates of Non-Monotonic Knowledge Bases. The Journal of Logic Programming 45, 43–70 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  3. Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)

    Google Scholar 

  4. Gärdenfors, G., Rott, H.: Belief Revision. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 35–132. Clarendon Press, Oxford (1995)

    Google Scholar 

  5. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)

    Article  Google Scholar 

  6. Hansson, S.O.: New Operators for Theory Change. Theoria 55, 114–132 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  7. Hansson, S.O.: Reversing the Levi Identity. Journal of Philosophical Logic 22, 637–669 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  8. Katsuno, H., Mendelzon, A.O.: Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence 52, 263–294 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  9. Katsuno, H., Mendelzon, A.O.: On the Difference between Updating a Knowledge Base and Revising it. In: Gärdenfors, P. (ed.) Belief Revision, pp. 183–203. Cambridge University Press, Cambridge (1992)

    Chapter  Google Scholar 

  10. Kudo, Y., Murai, T.: Belief Base Revision of Horn Logic Programs Based on State Transition Diagrams. In: Proceedings of SCI 2004 (to appear, 2004)

    Google Scholar 

  11. Kudo, Y., Murai, T.: A Distinction Method of Revision and Update in Belief Change by State Transition Diagrams. In: Proceedings of the 18th Annual Conference of JSAI (in Japanese) (to appear)

    Google Scholar 

  12. Nebel, B.: Syntax-Based Approach to Belief Revision, Belief Revision. In: Gärdenfors, P. (ed.) Cambridge Tracts in Theoretical Computer Science, pp. 52–88. Cambridge University Press, Cambridge (1992)

    Google Scholar 

  13. Sakama, C., Inoue, K.: An Abductive Framework for Computing Knowledge Base Updates. Theory and Practice of Logic Programming 3(6), 671–713 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  14. Winslett, M.: Epistemic Aspects of Databases. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, 4th edn., pp. 133–174. Clarendon Press, Oxford (1995)

    Google Scholar 

  15. Zhang, Y., Foo, N.Y.: Updating Logic Programs. In: Proceedings of the 13th European Conference on Artificial Intelligence. pp. 403–407 (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science and Systems Eng., Muroran Institute of Technology, Mizumoto 27-1, Muroran, 050-8585, Japan

    Yasuo Kudo

  2. Graduate School of Information Science and Technology, Hokkaido University, Kita 14, Nishi 9, Kita-ku, Sapporo, 060-0814, Japan

    Tetsuya Murai

Authors
  1. Yasuo Kudo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tetsuya Murai
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. KES International, 2nd Floor, 145-157 St John Street, EC1V 4PY, London, United Kingdom

    Mircea Gh. Negoita

  2. Centre for SMART systems Engineering Research Centre, University of Brighton, BN2 4GJ, Moulsecoomb, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kudo, Y., Murai, T. (2004). A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2004. Lecture Notes in Computer Science(), vol 3213. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30132-5_146

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30132-5_146

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23318-3

  • Online ISBN: 978-3-540-30132-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation