Abstract
In the previous paper, some important properties of extensions of general default theories were given. In order to further explore default logic, a characterization of extensions is presented. And a class of defaults, so-called Auto-compatible Default Theory, is also introduced. All these essentially develop the theories of Reiter and his followers.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Zhang Mingyi. On extensions of general default theories.Science in China (Series A), 1993, 36(10), 1273–1280.
Reiter R. A logic for default reasoning.Artificial Intelligence, 1980, 13(1‐2-2).
Reiter R, Criscuolo G. On interacting defaults. In: Proc. of IJCAI-81, Vancouver, 1981.
Besnard Ph. An introduction to default logic. Springer-Verlag, New York, 1989.
Ginsberg M L. Readings in non-monotonic reasoning. Morgan Kaufmann Publishers Inc., 1987.
Lukassewicz W. Two results on default logic. In: Proc. IJCAI-85, Los Angeles 1985.
Sandewall E. A functional approach to non-monotonic logic. In: Proc. IJCAI-85, Los Angles, 1985.
Wu Maokang. There theorems about default reasoning.Chinese Journal of Computers, 1991, 14(8), 624–628.
Monk J. Mathematical logic. Springer-Verlag, 1976.
Author information
Authors and Affiliations
Additional information
Project supported by the National Advanced Research and Development
Rights and permissions
About this article
Cite this article
Zhang, M. Some results on default logic. J. of Compt. Sci. & Technol. 9, 267–274 (1994). https://doi.org/10.1007/BF02939508
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02939508