Mathematical representation of knowledge and belief has become a topic of increasing interest. An individual knows or believes certain things based on the information she has. What type of mathematical models can we use for precise representations of her information, knowledge or beliefs? When an individual's environment involves other individuals, she may know what others know, and such knowledge depends on the knowledge that others have. How can we represent the relations between her knowledge and the knowledge of others? Finally, an individual may obtain new information during the course of her activities by observing facts in nature, interacting with other individuals, making inferences from what she previously knows, and so on. How can we capture these informational changes in her knowledge? Investigations of these questions have been addressed under the umbrella term, 'intelligent interaction', and they have been studied in various fields.
There are two important aspects in describing intelligent interaction. One is how agents' epistemic states change over relevant informational events. Different informational events change agents' information differently and the way that informational events change agents' information can be quite subtle. Therefore, it is crucial to get a good grasp on informational events and their informational effects. I call this aspect epistemic dynamics. The other is what informational events can take place in the course of agents' interaction. Both the information that agents have and the way that the information changes depend not only on what informational event happens but also on what kind of process agents' interaction involves. Informational events that can happen reflect what the process is and, as such, are important to be captured. I call the kind of information protocol information.
The dissertation will investigate intelligent interaction from the perspectives of epistemic dynamics and protocol information. The first objectives of the dissertation is to develop a formal framework that represents the two perspectives. The formal framework is developed by merging the two major systems in the literature, Dynamic Epistemic Logic (DEL) and Epistemic Temporal Logic (ETL). The second objective of the dissertation is to illustrate how our new framework can throw new light on existing philosophical problems. In particular, we will study The Knowability Paradox and Epistemic Closure Principle by using our formal framework.
|Advisor:||Benthem, Johan van|
|School Location:||United States -- California|
|Source:||DAI-A 70/07, Dissertation Abstracts International|
|Subjects:||Mathematics, Philosophy, Computer science|
|Keywords:||Dynamics, Epistemic logic, Epistemology, Information, Informational events, Intelligent interaction, Knowledge, Logic|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be