Skip to main content
SpringerLink
Log in

Pseudo extension in default reasoning and belief revision by model inference

  • Nonmonotonic Reasoning
  • Conference paper
  • First Online:
Logic Programming '88 (LP 1988)

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

Included in the following conference series:

Abstract

This paper is concerned with extension and belief revision in Reiter's default reasoning. First we introduce a new notion of pseudo extension which is successively constructed from a given default theory. We show that the set of pseudo extensions contains the set of extensions, so that we can get some reasonable candidates of extension in a constructive way. This should be a first step towards computerization of the default reasoning. We also discuss the belief revision problem from the viewpoint of Shapiro's inductive inference of models.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Reiter, R.: A Logic for Default Reasoning, Artificial Intelligence, 13, 41–72 (1980).

    Article  Google Scholar 

  2. Shinmura, T.: On the Inconsistency in Non-monotonic Logic, Master's Thesis, Dept. of Information Systems, Kyushu Univ. (1986) (in Japanese).

    Google Scholar 

  3. Shapiro, E.Y.: Inductive Inference of Theories From Facts, TR-192, Dept. Compt. Sci., Yale Univ. (1981).

    Google Scholar 

  4. Ishizaka, H.: Model Inference Incorporating Least Generalization, Master's Thesis, Dept. Information Systems, Kyushu Univ. (1986) (in Japanese). To appear in J. Inf. Processing Soc. Japan.

    Google Scholar 

  5. Reiter, R., Criscuolo, G.: On Interacting Defaults, Proc. 8th IJCAI, 270–276 (1983).

    Google Scholar 

  6. Lukaszewicz, W.: Considerations on Default Logic, Proc. AAAI Non-monotonic Reasoning Workshop, 165–193 (1984).

    Google Scholar 

  7. Murakami, K., Aibara, T., Shitanda, H.: Modified Extension and Its Properties in Default Reasoning, Trans. Inf. Processing Soc. Japan, 12, 1280–1287 (1987) (in Japanese).

    Google Scholar 

  8. Murakami, K. Aibara, T., Shitanda, H.: Nonrecursive Extension and Its Properties in Default Reasoning, J. Japanese Soc. Artificial. Intelligence, 3, 359–367 (1988) (in Japanese).

    Google Scholar 

  9. Yuasa, H.: Pseudo Extensions in Default Reasoning and Belief Revision Using Model Inference, Master's Thesis, Dept. Information Systems, Kyushu Univ. (1988) (in Japanese).

    Google Scholar 

Download references

Author information

Author notes

  1. Hiroko Yuasa

    Present address: Hitachi Central Research Laboratory, Hitachi Ltd., Japan

Authors and Affiliations

  1. Department of Information Systems, Kyushu University 39, 816, Kasuga, Japan

    Hiroko Yuasa & Setsuo Arikawa

Authors
  1. Hiroko Yuasa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Setsuo Arikawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yuasa, H., Arikawa, S. (1989). Pseudo extension in default reasoning and belief revision by model inference. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '88. LP 1988. Lecture Notes in Computer Science, vol 383. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51564-X_53

Download citation

  • DOI: https://doi.org/10.1007/3-540-51564-X_53

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51564-7

  • Online ISBN: 978-3-540-46654-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation