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

doi:10.1007/s11704-008-0010-2

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 Tetsuya¹, IGARASHI Shigeru¹, SHIO Masayuki², IKEDA Yasuwo³

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