Quantified Epistemic Logic For Reasoning About Knowledge In Multi-Agent Systems
In this thesis we Introduce Quantified Interpreted Systems. A Semanticse To Reason About Knowledge In Multi-Agent Systems In A First Order Setting. We Define First Order Modal Axiomatisation For Different Settings.
فارسی : در این پایان نامه نقش اگاهی در سیستم های چند عاملی بر پایه منطق مرتبه اول مورد بررسی قرار می گیرد.این کار در گذشته بر پایه منطق گزاره ای انجام شده است.در این پایان نامه سیستم های حالات سراسری معرفی می گردند.
