Researches on epistemology for artificial intelligence have started quite recently. Recently, Konolige made a contribution to epistemology by proposing a deduction model based on an efficient modal logic for a proof mechanism for belief.
In this thesis, a unified and generalized proof mechanism for the epistemic logic using a formal system called a View is presented. In addition, the algorithm to adapt the theorem prover according to the given rule schema, which characterizes the deduction model of the epistemic logic, is constructed. With this algorithm, multiple agents having different rule schema can co-exist in the proposed system.
The soundness and completeness of the proposed proof mechanism is proved and a simple theorem prover is implemented to demonstrate the usefulness and practicality.
