Skip to main content
SpringerLink
Log in
Book cover

International Computing and Combinatorics Conference

COCOON 1997: Computing and Combinatorics pp 343–352Cite as

A three-valued quantificational logic of context

  • Session 10: Rewriting and Logic
  • Conference paper
  • First Online:

  • 102 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1276))

Abstract

In this paper we set a three-valued quantificational multi-modal logic which can be used in characterizing the general logical properties of contexts and those of agents. A new non-Kripke style framework of semantics is introduced, and a Hilbert style proof system is proposed for this logic which is proved to be sound and complete as main results of this paper. This logic extends standard quantificational multi-modal logic of knowledge and belief in three directions. Firstly, we can make explicit quantification over modalities. Secondly, it is not necessary that all first-order structures in a particular model have the same domain and the same language. Each context or agent not only may have its own language and domain of objects, but also deferent languages and domains in the view-points of deferent contexts or agents. Thirdly, this logic is three-valued and any sentence in a particular model may be true, false and meaningless.

Supported by Chinese National 863 Project, Chinese National Natural Science Foundation.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. McCarthy, J.: Generality in artificial intelligence. Comm. of ACM,30 (1987) 1030–1035.

    Google Scholar 

  2. Guha, R.V.: Context: A formalization an Some Applications. Ph.D. thesis, Stanford University, 1991

    Google Scholar 

  3. Guha, R.V and Lenat, D.B.:Cyc: A midterm report, Af Magazine, 11 (1990) 32–59.

    Google Scholar 

  4. McCarthy, J.: Notes on formalizing context. In Proceedings IJCAI-93.

    Google Scholar 

  5. Shoham, Y.: Varieties of context. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic Press, 1991.

    Google Scholar 

  6. Weyhrauch, R.W.: Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence. 13 (1980): 133–176.

    Google Scholar 

  7. Buvac, S., Buvac, V. and Mason, I.A.: Metamathematics of contexts. Fundamenta Informaticae. 23 (3)(1995).

    Google Scholar 

  8. Giunchiglia, F. and Serafini, L.: Multilanguage first order theories of propositional attitudes. In Proceedings of 3 rd Scandinavian Conference on Artificial Intelligence, Roskilde University, 1991.

    Google Scholar 

  9. Attardi,G.: and Simi,M.: A formalization of viewpoints, Fundamenta Informaticae. 23 (3)(1995).

    Google Scholar 

  10. Gabbay, D. and Nossum, R.: Structured context with fibred semantics. In Procedings of International and Interdisciplinary Conference on context, 1997.

    Google Scholar 

  11. Buvac, S.: Quantificational logic of context. In Procedings of AAAI-96.

    Google Scholar 

  12. Giunchiglia, F. and Bouquet, P.: Introduction to contextual reasoning, in B.-Kokinov (ed.), Perspectives on Cognitive Science, 3, NBU Press, Sofia, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Inst. of Computer Science, Shantou Univ., 515063, Shantou, P.R. China

    Kaile Su

  2. Dept. of Math., Nanjing Univ., 210008, Nanjing, P.R. China

    Decheng Ding

  3. Dept. of Computer Science, Changsha Inst. of Technology, 410073, Changsha, P.R. China

    Kaile Su & Huowang Chen

Authors
  1. Kaile Su
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Decheng Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Huowang Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tao Jiang D. T. Lee

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Su, K., Ding, D., Chen, H. (1997). A three-valued quantificational logic of context. In: Jiang, T., Lee, D.T. (eds) Computing and Combinatorics. COCOON 1997. Lecture Notes in Computer Science, vol 1276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0045101

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63357-0

  • Online ISBN: 978-3-540-69522-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation