000			02970cam a2200313 a 4500
003			EG-GiCUC
008			171204s2017 ua dh f m 000 0 eng d
040			_aEG-GiCUC _beng _cEG-GiCUC
041	0		_aeng
049			_aDeposite
097			_aM.Sc
099			_aCai01.18.02.M.Sc.2017.Ra.A
100	0		_aRana Mohamed Hamed
245	1	0	_aAction reasoning in real time / _cRana Mohamed Hamed ; Supervised Hesham Hefny , Ammar Mohammed
246	1	5	_aاستدلال الفعل فى الوقت الحقيقى
260			_aCairo : _bRana Mohamed Hamed , _c2017
300			_a96 Leaves : _bcharts , facsimiles ; _c30cm
502			_aThesis (M.Sc.) - Cairo University - Institute of Statistical Studies and Research - Department of Computer and Information Science
520			_aKnowledge plays essential role in our daily life, because humans take their decisions according to the changeable knowledge that humans gain over the running time, the same idea for intelligent systems, which consists of a set of agents interacting with each other to satisfy a specific goal, these systems called: multi-agent systems (MASs), they interact in terms of the changeable knowledge and time deadlines. These systems need a formal model that is able to verify and specify their behavior to guarantee that agent will take the right decision at the right time. Most of the recent disciplines like economics, safety critical systems, communications and other fields use MASs to model their systems to examine the best action needed to avoid run disasters, and there is a great relevant between knowledge and action, so it will be a must to model knowledge in order to model the action. One of the efficient models for specifying and verifying critical systems is the Mathematical model as hybrid automata, hybrid automata are used to represent the continuous behavior of an agent using differential equations, and represents the discrete behavior of agent when moving from a location to another using event approach. The problem with hybrid automata is the inability to represent agent{u2019}s knowledge and how knowledge evolves over time. Knowledge can be added to hybrid automata by adding an epistemic relation between locations, which allows the agent to know how to acquire knowledge from location to another, also adding a function that aids agent to update his state of knowledge will be a demand to convert hybrid automata to epistemic hybrid automata (EPH). EPH is used to represent the continuous behavior, discrete behavior and how knowledge changes during the discrete steps of an agent because, during the discrete steps, agents are able to exchange knowledge
530			_aIssued also as CD
653		4	_aEpistemic Logic
653		4	_aMulti-agent Systems
653		4	_aTemporal Logic
700	0		_aAmmar Mohammed , _eSupervisor
700	0		_aHesham Hefny , _eSupervisor
905			_aEnas _eCataloger
905			_aNazla _eRevisor
942			_2ddc _cTH
999			_c63837 _d63837