Some Results on Default Logic

Zhang Mingyi. Some Results on Default Logic[J]. Journal of Computer Science and Technology, 1994, 9(3): 267-274.

Citation:

Zhang Mingyi. Some Results on Default Logic[J]. Journal of Computer Science and Technology, 1994, 9(3): 267-274.

Citation:

Zhang Mingyi. Some Results on Default Logic[J]. Journal of Computer Science and Technology, 1994, 9(3): 267-274.

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 iotroduced. All these essentially develop the theories of Reiter and his followers.

FullText(HTML)

Export File