Skip to main content
SpringerLink
Log in

Open logic based on total-ordered partition model

  • Published:
Science in China Series E: Technological Sciences Aims and scope Submit manuscript

Abstract

The problem of uniqueness of reconstruction in open logic is dealt with by introducing the concept of total-ordered partitions, an ordering structure for modeling belief degrees of knowledge, and redefining the reconstruction operation. Based on the resulting definition, a nontrivial condition for the convergency of cognitive processes is given. It is shown that if new knowledge is not always accepted with an extremely skeptical attitude and the changes of belief degrees follow the criterion of minimal changes, the cognitive process will converge. The results provide an approach to unifying two kinds of theories for knowledge base maintenance: belief revision and open logic.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Li Wei, An open logic system,Science in China (in Chinese), Ser. A, 1992, (10): 1103.

    Google Scholar 

  2. Alchourrón C. E., Gärdenfors, P., Makinson, D., On the logic of theory change: partial meet contraction and revision functions,The Journal of Symbolic Logic, 1985, 50(2): 510.

    Article  MATH  MathSciNet  Google Scholar 

  3. Gärdenfors, P.,Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge: MIT Press, 1988.

    Google Scholar 

  4. Li Wei, A logical framework for knowledge base maintenance,Journal of Computer Science and Technology, 1995, 10 (3): 193.

    Article  MATH  MathSciNet  Google Scholar 

  5. Zhang Dongmo, Belief revision by sets of sentences,Journal of Computer Science and Technology, 1996, 11(2): 108.

    Article  MathSciNet  Google Scholar 

  6. Zhang Dongmo, Chen Shifu, Zhu Wujia et al. Representation theorems for multiple belief changes, inProc. 15th Int. Joint Conf. on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August 1997, New York: Morgan Kaufmann, 1997, 89–94.

    Google Scholar 

  7. Zhang Dongmo, Chen Shifu, Zhu Wujia et al., Nonmonotonic reasoning and multiple belief revision, inProc. 15th Int. Joint Conf. on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August 1997, New York: Morgan Kaufmann, 1997, 95–100.

    Google Scholar 

  8. Nebel, B., Syntax based approaches to belief revision, inBelief Revision (ed. Gärdenfors, P.), Cambridge: Cambridge University Press, 1992, 52–88.

    Google Scholar 

  9. Gärdenfors, P., Belief revision: an introduction, inBelief Revision (ed. Gärdenfors, P.), Cambridge: Cambridge University Press, 1992, 1–28.

    Google Scholar 

  10. Boutilier, C., Revision sequences and nested conditionals, inProc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI-93), Chambery, Savoie, France, August 1993, New York: Morgan Kaufmann, 1993, 519–525.

    Google Scholar 

  11. Williams, M. A., Iterated theory base change: a computational model, inProc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI-95), Montreal, Canada, August 1995, New York: Morgan Kaufmann, 1995, 1541–1547.

    Google Scholar 

  12. Zhang Dongmo, A general framework for belief revision, inProc. 4th Int. Conf. for Young Computer Scientists, Beijing: Peking University Press, 1995, 574–581.

    Google Scholar 

  13. Li Wei, A logical framework for evolution of specification, inProgramming Language and Systems, (ESOP'94), LNCS 788, Berlin: Springer-Verlag, 1994, 394–408.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nanjing University of Aeronautics and Astronautics, 210016, Nanjing, China

    Dongmo Zhang

  2. State Key Laboratory for Novel Software Technology, Nanjing University, 210093, Nanjing, China

    Dongmo Zhang

  3. Department of Computer Science, Beijing University of Aeronautics and Astronautics, 100083, Beijing, China

    Wei Li

Authors
  1. Dongmo Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wei Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Project supported by the National Natural Science Foundation of China (Grant No. 69785004) and the Natural Science Foundation of Jiangsu Province (BK97064).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, D., Li, W. Open logic based on total-ordered partition model. Sci. China Ser. E-Technol. Sci. 41, 641–649 (1998). https://doi.org/10.1007/BF02917048

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02917048

Keywords

Search

Navigation