The Ael, Their Understanding Of Logic

Autoepistemic logic is one of the most important nonmonotonicmodal logic, which mainly studies the theory of reference form of thecognitive agents about their self-beliefs and their related questions. Theagent is ideal, rational and completely introspective, believes all the logicvalid formulae, and can correctly believes all of its own logicalconsequence of the initial premises.The paper begins with the background of autoepistemic logic,including the motivation, the developing process and the basic idea ofautoepistemic logic.The second part, as the main body of the paper, constructed theautoepistemic logic system completely, including the language forautoepistemic logic, its semantics, its expansion and the method forexpansion; finally, we proved the soundness and completeness of thesystem.The system clearly and intuitively characterized the reasoningprocess of introspective agent in detail, which avoided shortcomingsexisted in McDermott's nonmonotonic modal logic. Wholly speaking, thesystem achieved the goal we expected and was successful comparatively,but there were still some irrational results, such as logical omniscienceproblem or Moore's paradox and so on.The third part focuses analysis on problems mentioned above, andoffers corresponding solutions. In the end of the paper, conclusions havebeen made about the whole article and further prospects have been putforward.