Pseudo extension in default reasoning and belief revision by model inference
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.
Unable to display preview. Download preview PDF.
- Shinmura, T.: On the Inconsistency in Non-monotonic Logic, Master's Thesis, Dept. of Information Systems, Kyushu Univ. (1986) (in Japanese).Google Scholar
- Shapiro, E.Y.: Inductive Inference of Theories From Facts, TR-192, Dept. Compt. Sci., Yale Univ. (1981).Google Scholar
- 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
- Reiter, R., Criscuolo, G.: On Interacting Defaults, Proc. 8th IJCAI, 270–276 (1983).Google Scholar
- Lukaszewicz, W.: Considerations on Default Logic, Proc. AAAI Non-monotonic Reasoning Workshop, 165–193 (1984).Google Scholar
- 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
- 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
- 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