Skip to main content
SpringerLink
Log in

Human factors in continuous time-concerned cooperative systems represented by NΣ-labeled calculus

  • Research Article
  • Published:
Frontiers of Computer Science in China Aims and scope Submit manuscript

Abstract

NΣ-labeled calculus is a generalization of N-labeled calculus so as to describe time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena. N-labeled calculus is the smallest formal system applicable to verification and analysis of cooperative real-timing systems on natural number time introduced as an adaptation of tense arithmetic (TA). A merging problem of vehicles with misunderstanding or incorrect recognition is discussed as an example of cooperating systems controlling continuously changing objects including human factor. Euler’s approximation is introduced in order to represent the continuously changing objects. Through this example, relationship among artificial intelligence, external environment and human factors is investigated.

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.

Similar content being viewed by others

References

  1. Mizutani T, Igarashi S, Ikeda Y, et al. Labeled @-calculus: formalism for time-concerned human factors. In: Proceedings of AISC 2006. LNAI, 2006, 4120: 25–39

  2. Igarashi S, Mizutani T, Ikeda Y, et al. Tense arithmetic II: @-calculus as an adaptation for formal number theory. Tensor, N. S., 2003, 64: 12–33

    MathSciNet  Google Scholar 

  3. Igarashi S, Shirogane T, Shio M, et al. Tense arithmetic I: formalization of properties of programs in rational arithmetics. Tensor, N. S., 1998, 59: 132–152

    MathSciNet  Google Scholar 

  4. Igarashi S, Shio M, Mizutani T, et al. Specification and verification of cooperative realtiming processes in @-calculus. to appear

  5. Hiraga R, Igarashi S. Psyche: computer music project, University of Tsukuba. In: Proceedings of International Computer Music Conference. 1997, 297–300

  6. Igarashi, S. Science of Music Expression. Tokyo: YAMAHA Music Media, 2000 (in Japanese)

    Google Scholar 

  7. Igarashi S, Mizutani T, Shirogane T, et al: Formal analysis for continuous systems controlled by programs. LNCS, 1996, 1179: 347–348

    Google Scholar 

  8. Mizutani T, Igarashi S, Shio M. Representation of a discretely controlled continuous system in tense arithmetic. Electr. Notes in Theor. Comp. Sci., 2001, 42. http://www.elsevier. com/locate/entcs/volume42.html

  9. Fagin R, Halpern J Y, Moses Y, et al. Reasoning About Knowledge. The MIT Press, 1995

  10. Chaochen Z. Duration calculus, a logical approach to real-time systems. In: Proceedings of AMAST’ 98. LNCS, 1998, 1548: 1–7

    Google Scholar 

  11. Damm W, Hungar H, Olderog E R. Verification of cooperating traffic agents. International Journal of Control, 2006, 79: 395–421

    Article  MATH  MathSciNet  Google Scholar 

  12. Shoenfield J R. Mathematical Logic. Massachusetts: Addison-Wesley Publishing Company, 1967

    MATH  Google Scholar 

  13. Igarashi S, Mizutani T, Ikeda Y, et al. Labeled calculi, logical spaces and cosmos. In: Proceedings of AWFS 2007. 2007, 39–41

  14. McCarthy J, Sato M, Hayashi T, et al. On the Model Theory of Knowledge. Stanford University Technical Report, STNCS-78-657, 1979

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Tsukuba, Tsukuba, 3058573, Japan

    Tetsuya Mizutani & Shigeru Igarashi

  2. College of Community Development, Tokiwa University, Mito, 3108585, Japan

    Masayuki Shio

  3. Department of Computer & Media Science, Saitama Junior College, Kazo, 3478503, Japan

    Yasuwo Ikeda

Authors
  1. Tetsuya Mizutani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shigeru Igarashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Masayuki Shio
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yasuwo Ikeda
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tetsuya Mizutani.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mizutani, T., Igarashi, S., Shio, M. et al. Human factors in continuous time-concerned cooperative systems represented by NΣ-labeled calculus. Front. Comput. Sci. China 2, 22–28 (2008). https://doi.org/10.1007/s11704-008-0010-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-008-0010-2

Keywords

Search

Navigation