Beta 1


Title Algorithmic design and implementation of tableau-based decision procedure for multi-agent epistemic logics
Author Vestergaard, Thomas Lyngby
Supervisor Goranko, Valentin (Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Bolander, Thomas (Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2010
Abstract This thesis presents design of algorithms and the development of a working implementation for an incremental tableau-based decision procedure for the multiagent epistemic logic MAEL(CD) (aka S5n(CD)) based on the procedure outlined in [1]. The language of MAEL(CD) contains operators of individual knowledge for a finite set of agents, as well as operators of distributed and common knowledge among all agents. The implemented tool is to be tested both to verify its correctness and to benchmark its performance. Generation of formula matching specific patterns is developed and the results are analyzed. The use of the tool is then demonstrated by applying it to analysis and solution of some well-known epistemic puzzles, viz. the wise men problems and the muddy children puzzle.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2010-64
Fulltext
Original PDF ep10_64_net.pdf (3.69 MB)
Admin Creation date: 2010-09-20    Update date: 2010-09-20    Source: dtu    ID: 266988    Original MXD