Multi-Agent Systems: Model-Checking in Logics of Protocols.
Date of Submission
December 2021
Date of Award
Winter 12-12-2022
Institute Name (Publisher)
Indian Statistical Institute
Document Type
Master's Dissertation
Degree Name
Master of Technology
Subject Name
Computer Science
Department
Computer Science Unit (CSU-Chennai)
Supervisor
Ghosh, Sujata (CSU-Chennai)
Abstract (Summary of the Work)
A multi-agent system can often be described as a protocol based interacting system wherein the information ow, inter-agent communication and agent behavior can be naturally modeled with dynamic and epistemic logics which are different variants of modal logics. Such protocols may either be known beforehand to each agent or be unknown to any agent at the start. In the later situation, such protocols are called hidden protocols. When an agent learns of a hidden protocol, it is led to have some expectations about future observations and updates its knowledge of the state by matching its actual observations with the expected ones. In their paper "Hidden Protocols: Modifying our expectations in an evolving world", Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge and Yanjing Wang studied how agents perceive such protocols and introduced the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic, Epistemic Protocol Logic for reasoning about knowledge via matching agents' expectations to their observations, updates of protocols and fact-changing actions. This is of particular interest to modeling scenarios where security aspects mandate knowledge of protocols to be hidden to some or all agents beforehand or at all times. In this project we will focus upon theory and implementation of a model checker for Epistemic Protocol Logic incorporating Epistemic Expectation Models and study formal methods towards a symbolic model checking approach to this end.
Control Number
ISI-DISS-2021-32
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.
DOI
http://dspace.isical.ac.in:8080/jspui/handle/10263/7174
Recommended Citation
Chakraborty, Pinaki, "Multi-Agent Systems: Model-Checking in Logics of Protocols." (2022). Master’s Dissertations. 5.
https://digitalcommons.isical.ac.in/masters-dissertations/5
Comments
ProQuest Collection ID: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:28842687