Wael Mohammad Hassan <br/><br/>
Using mathematical logic in reasoning in multiagent systems /  
 إستخدام المنطق الرياضى فى آليات الإستنتاج فى الأنظمة متعددة الوكلاء البرمجيين 
Wael Mohammad Hassan ; Supervised Ford Waghrees Georgy , Tarek Sayed Ahmed , Nefertiti Megahed 
 - Cairo :   Wael Mohammad Hassan ,   2012 
 - 104P. ;   25cm 
<br/><br/>Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics 
<br/><br/> The field of intelligent agents is concerned with specifying how the different sides of the process of creating computer software is to be modified to provide us with software that can work in an indepentend and efficient manner . This thesis is concerned with reasoning , how we use mathematical logic , modal and temporal logic specially , to make the agent correctly represent and understand the world 
<br/><br/>
<br/><br/><label>Subjects--Index Terms: </label>Intelligent agents  Modal logic  Reasoning