Sub-extensions in the Default Knowledge Base Systems

  title={Sub-extensions in the Default Knowledge Base Systems},
  author={Yihua Shi and 一華 史 and Setsuo Arikawa and 節夫 有川},
The extension is the most important concept of default logic, but it is not constructible. In [6] , we have provided two kinds of successively constructible extensions, sub-extensions and approximate extensions whose construction steps are all finite. In this paper, we consider a time-bounded default knowledge base system. Particularly, we pay attention to the tradeoff between constructing an infinite extension and restricting usable resources to finite ones. To reduce unnecessary computations… CONTINUE READING

Figures and Tables from this paper.


Publications referenced by this paper.

Default reasoning under restricted number of reasoning

K. Murakami
  • Trans. Informaion Processing Society of Japan,
  • 1991

Inductive Inference of Theories from Facts

  • Computational Logic - Essays in Honor of Alan Robinson
  • 1991

The principles of time-bounded knowledge base management systems

Y. Shi
  • Engineering Sciences Reports, I(yushz~ University,
  • 1989