IndiColog: Execution of Guarded Act ion TheoriesPOMPES PAR TRANSITIONS MULTIPLES

منو

" IndiColog: Execution of Guarded Act ion TheoriesPOMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	152363
Doc. No	:	ET24155
Main Entry	:	Sebast ian Sarclitk
Title Proper	:	IndiColog: Execution of Guarded Act ion TheoriesPOMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	In .-\I. the problem of selecting (high-level) actions in dynamic and not completely pre-dictable environments translates into the problem of designing controllers that can mapsequence of observations into actions so that certain goals are achieved.One approach to high-level controllers is high-16 v t i pr-ogmrn r n irrg. Basically. we imag-irw a sj.stt3rn executing a iiigii-level prograrrl with respect to a background theory ofaction. Khereas the background t h e o.
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL48357.pdf
Title and statement of responsibility and	:	IndiColog: Execution of Guarded Act ion TheoriesPOMPES PAR TRANSITIONS MULTIPLES [Thesis]