On the Design of Structured Circuit Semantics.pdfVIP

AAAI Spring Symposium on Lessons Learned from Implemented Software Architectures for Physical Agents, p. 127-134 On the Design of Structured Circuit Semantics Jaeho Lee Articial Intelligence Lab oratory The University of Michigan Beal Avenue Ann Arb or Michigan jaehoeecsumic hedu Abstract Structured Circuit Semantics SCS1 as the need for clean execution semantics arose SCS is a formal se Structured Circuit Semantics SCS is a formal seman mantics of rob otic languages that can b e used to explic tics of rob otic languages that can b e used to explic itly represent the control b ehavior of various rob otic itly represent the control b ehavior of various rob otic control systems SCS extends the circuit semantics no control systems Our approach to the design of SCS has b een to incorp orate the most essential features of tion of TeleoReactive TR programs Nilsson other reactive plan execution systems in a compact Nilsson into a richer yet compact formal se yet rich formal semantics A formal sp ecication of a mantics It also provides a basis for constructing new reactive plan is essential for us to b e able to generate a rob otic systems with more understandable