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

MIZUTANI Tetsuya1, IGARASHI Shigeru1, SHIO Masayuki2, IKEDA Yasuwo3

PDF(141 KB)
PDF(141 KB)
Front. Comput. Sci. ›› DOI: 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
Author information +
History +

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.

Cite this article

Download citation ▾
MIZUTANI Tetsuya, IGARASHI Shigeru, SHIO Masayuki, IKEDA Yasuwo. Human factors in continuous time-concerned cooperative systems represented by Σ-labeled calculus. Front. Comput. Sci., https://doi.org/10.1007/s11704-008-0010-2

References

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 42 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
AI Summary AI Mindmap
PDF(141 KB)

Accesses

Citations

Detail

Sections
Recommended

/