?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=https%3A%2F%2Feprints.nottingham.ac.uk%2F11851%2F&rft.title=Reasoning+about+resource-bounded+multi-agent+systems&rft.creator=Nguyen%2C+Nguyen&rft.description=The+thesis+presents+logic-based+formalisms+for+modelling+and+reasoning+about+resource-bounded+multi-agent+systems.+In+the+field+of+multi-agent+system%2C+it+is+well-known+that+temporal+logics+such+as+CTL+and+ATL+are+powerful+tools+for+reasoning+about+multi-agent+systems.+However%2C+there+is+no+natural+way+to+utilise+these+logics+for+expressing+and+reasoning+about+properties+of+multi-agent+systems+where+actions+of+agents+require+resources+to+be+able+to+perform.+This+thesis+extends+logics+including+Computational+Tree+Logic+(CTL)%2C+Coalition+Logic+(CL)+and+Alternating-time+Temporal+Logic+(ATL)+which+have+been+used+to+reasoning+about+multi-agent+systems+so+that+the+extended+ones+have+the+power+to+specify+and+to+reason+about+properties+of+resource-bounded+multi-agent+systems.+While+the+extension+of+CTL+is+adapted+for+specifying+and+reasoning+about+properties+of+systems+of+resource-bounded+reasoners+where+the+resources+are+explicitly+memory%2C+communication+and+time%2C+the+extensions+of+CL+and+ATL+are+generalised+so+that+any+resource-bounded+multi-agent+system+can+be+modelled%2C+specified+and+reasoned+about.+For+each+of+the+logics%2C+we+describe+the+range+of+resource-bounded+multi-agent+systems+they+can+account+for+and+axiomatisation+systems+for+reasoning+which+are+proved+to+be+sound+and+complete.+Moreover%2C+we+also+study+the+satisfiability+problem+of+these+logics.&rft.date=2011-07-13&rft.type=Thesis+(University+of+Nottingham+only)&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=https%3A%2F%2Feprints.nottingham.ac.uk%2F11851%2F1%2Fthesis.pdf&rft.identifier=++Nguyen%2C+Nguyen++(2011)+Reasoning+about+resource-bounded+multi-agent+systems.++PhD+thesis%2C+University+of+Nottingham.+++&rft.subject=multi-agent+systems&rft.subject=intelligent+agents&rft.subject=ctl&rft.subject=atl&rft.subject=logics