A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology
Year: 2011
Type: other
Abstract: This dissertation consists of a collection of papers on pure and applied modal logics preceded by an introduction that ties them together. The papers and the variety of topics discussed in them can be viewed as a contribution to a logic toolbox. More specifically, a logic toolbox streamlined to model information, knowledge, and beliefs. The logic tools have many applications in various fields such as computer science, philosophy, mathematics, linguistics, economics, and other social sciences, but in this thesis the focus will be on their application in social epistemology and multi-agent systems. After the introduction, which outlines the logic toolbox and some of its applications, follow four technical chapters that expand the logic toolbox (chapters 2, 3, 4, and 5) and two chapters that show the logic tools at work (chapters 6 and 7). In Chapter 2 a many-valued hybrid logic is introduced and a sound, complete, and terminating tableau system is given. Chapter 3 is a supplement to Chapter 2 and discusses various alternative definitions of the semantics of the hybrid part of the many-valued hybrid logic. Chapter 4 combines public announcement logic with hybrid logic and gives a sound and complete axiomatisation of the logic as well as discussing extensions with other modalities such as distributed knowledge. In Chapter 5, terminating tableau systems using reduction axioms as rules are given for standard dynamic epistemic logic as well as the hybrid public announcement logic of Chapter 4. Chapter 6 uses a dynamic epistemic logic to model the phenomenon of pluralistic ignorance. Finally, Chapter 7 uses first-order logic and description logic to discuss foundational issues in knowledge representation of regulatory relations in biomedical pathways. This dissertation makes numerous contributions to the field of which the following three are the most important: • A detailed investigation of the combination of hybrid logic and public announcement logic, showing in particular that the proof theoretic advantages of hybrid logic (such as automatic completeness with pure
Source: RUCforsk (Roskilde University)
Institution: Roskilde University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2298238617