PDF(141 KB)
Human factors in continuous time-concerned cooperative
systems represented by Σ-labeled
calculus
- MIZUTANI Tetsuya1, IGARASHI Shigeru1, SHIO Masayuki2, IKEDA Yasuwo3
Author information
+
1.Department of Computer Science, University of Tsukuba; 2.College of Community Development, Tokiwa University; 3.Department of Computer & Media Science, Saitama Junior College;
Show less
History
+
Published |
05 Mar 2008 |
Issue Date |
05 Mar 2008 |
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.
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
This is a preview of subscription content, contact
us for subscripton.
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