Advertisement

Pseudo extension in default reasoning and belief revision by model inference

  • Hiroko Yuasa
  • Setsuo Arikawa
Nonmonotonic Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 383)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Reiter, R.: A Logic for Default Reasoning, Artificial Intelligence, 13, 41–72 (1980).CrossRefGoogle Scholar
  2. [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. [3]
    Shapiro, E.Y.: Inductive Inference of Theories From Facts, TR-192, Dept. Compt. Sci., Yale Univ. (1981).Google Scholar
  4. [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. [5]
    Reiter, R., Criscuolo, G.: On Interacting Defaults, Proc. 8th IJCAI, 270–276 (1983).Google Scholar
  6. [6]
    Lukaszewicz, W.: Considerations on Default Logic, Proc. AAAI Non-monotonic Reasoning Workshop, 165–193 (1984).Google Scholar
  7. [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. [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. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Hiroko Yuasa
    • 1
  • Setsuo Arikawa
    • 1
  1. 1.Department of Information SystemsKyushu University 39KasugaJapan

Personalised recommendations