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.

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

Control Number

ISI-DISS-2021-32

Creative Commons License

Creative Commons Attribution 4.0 International 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

This document is currently not available here.

Share

COinS