Beta 1

Title Reasoning About Knowledge in Planning
Author Jensen, Martin Holm
Supervisor 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 deals with articial intelligence, the science of understanding and developing systems capable of exhibiting intelligence. Planning is an important capability of an agent, as this allows reasoning about a course of action for achieving a goal. Epistemic logic is often used as an analytical tool for reasoning about the knowledge of particular entities in a system. Nonclassical planning faces similar issues, in that the knowledge and ignorance of an agent is important for how it acts. Moreover, the reasoning allowed for in epistemic logic encompasses reasoning processes similar to those found in human cognition. An example is "theory of mind", which is the ability to attribute beliefs to other beings, even if these are known to be false. Due to the analytical tradition of epistemic logic, it is not readily able to replace the concept of ignorance of nonclassical planning agents. Moreover, modifying knowledge represented in epistemic logic has only recently been studied extensively enough, to provide a tool for changing both epistemic and ontic (physical) facts. This particular is known as an update model. This thesis aims at combining the two areas, by incorporating update models with an internal version of epistemic logic, resulting in epistemic planning. The results on epistemic planning in this thesis illustrates this technique's viability for future research. It is shown the approach is able to represent many of the notions found in contemporary literature on this topic. This is done by extending the well known Strips action scheme, allowing for its application to a wide variety of planning contexts.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2010-43
Original PDF ep10_43_net.pdf (0.83 MB)
Admin Creation date: 2010-06-28    Update date: 2010-07-14    Source: dtu    ID: 264174    Original MXD