Please wait a minute...
Frontiers of Computer Science

ISSN 2095-2228

ISSN 2095-2236(Online)

CN 10-1014/TP

Postal Subscription Code 80-970

2018 Impact Factor: 1.129

Front. Comput. Sci.    0, Vol. Issue () : 22-28    https://doi.org/10.1007/s11704-008-0010-2
Human factors in continuous time-concerned cooperative systems represented by Σ-labeled calculus
MIZUTANI Tetsuya1, IGARASHI Shigeru1, SHIO Masayuki2, IKEDA Yasuwo3
1.Department of Computer Science, University of Tsukuba; 2.College of Community Development, Tokiwa University; 3.Department of Computer & Media Science, Saitama Junior College;
 Download: PDF(141 KB)   HTML
 Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
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.
Issue Date: 05 March 2008
 Cite this article:   
MIZUTANI Tetsuya,IGARASHI Shigeru,SHIO Masayuki, et al. Human factors in continuous time-concerned cooperative systems represented by Σ-labeled calculus[J]. Front. Comput. Sci., 0, (): 22-28.
 URL:  
https://academic.hep.com.cn/fcs/EN/10.1007/s11704-008-0010-2
https://academic.hep.com.cn/fcs/EN/Y0/V/I/22
1 Mizutani T Igarashi S Ikeda Y et al.Labeled @-calculus: formalism for time-concernedhuman factorsProceedings of AISC 2006 LNAI 2006 41202539
2 Igarashi S Mizutani T Ikeda Y et al.Tense arithmetic II: @-calculus as an adaptationfor formal number theoryTensor, N. S. 2003 641233
3 Igarashi S Shirogane T Shio M et al.Tense arithmetic I: formalization of propertiesof programs in rational arithmeticsTensor,N. S. 1998 59132152
4 Igarashi S Shio M Mizutani T et al.Specification and verification of cooperative realtimingprocesses in @-calculus. to appear
5 Hiraga R Igarashi S Psyche: computer music project,University of TsukubaProceedings of InternationalComputer Music Conference 1997 297300
6 Igarashi S Scienceof Music ExpressionTokyoYAMAHA Music Media 2000 (in Japanese)
7 Igarashi S Mizutani T Shirogane T et al.Formal analysis for continuous systems controlledby programsLNCS 1996 1179347348
8 Mizutani T Igarashi S Shio M Representation of a discretely controlled continuous systemin tense arithmeticElectr. Notes in Theor.Comp. Sci. 2001 42http://www.elsevier.com/locate/entcs/volume42.html
9 Fagin R Halpern J Y Moses Y et al.Reasoning About KnowledgeThe MIT Press 1995
10 Chaochen Z Durationcalculus, a logical approach to real-time systemsProceedings of AMAST '98 LNCS 1998 154817
11 Damm W Hungar H Olderog E R Verification of cooperating traffic agentsInternational Journal of Control 2006 79395421
12 Shoenfield J R MathematicalLogicMassachusettsAddison-Wesley Publishing Company 1967
13 Igarashi S Mizutani T Ikeda Y et al.Labeled calculi, logical spaces and cosmosProceedings of AWFS 2007 2007 3941
14 McCarthy J Sato M Hayashi T et al.On the Model Theory of KnowledgeStanford University Technical Report, STN-CS-78-657 1979
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed