Introduction to NIT Seminar Topic on A Logic programming approach Knowledge State Planning:
This thesis discussed about new logic programming language k and how to apply it to knowledge state planning. The symantics and syntax of K is also discussed in this paper.
The language K can describe the transitions between different knowledge states and also allows planning under incomplete knowledge. Also language K describes the transitions between completely described world states. Natural and compact representation is also possible with this language.
In reality, numbers of fluents are unknown and planning agents don’t have a complete knowledge. So to overcome this K language proved three valued view of fluent, and those values or true or false or unknown. K language never describes world’s view of knowledge states. Theoretical DVLk implementations are provided by K and computational complexity of K is analyzed.
K language consists of three disjoint sets namely action, fluent and type. If we start with the definition of the planning domain typed instantiation then we will get semantics of K planning domains and planning problems. After defining state transitions, there is a need to define an order of state transitions that leads from initial state to some success state and then in turn satisfies the given goal. Planning agent knows the complete knowledge of affairs initial state.
If initial state block locations are not known or if initial state is incompletely defined then any planning problem involving the domain does not admit any plan. In planning literature, based on the results the planning complexity in K is related to several results. In all the formalism, state transitions are similar in spirit and several complexity characteristics.
This paper discussed about an approach to knowledge state planning using new logic programming. Problems like incomplete initial states are addressed by this language. The highlighted point in this paper is discussed the approach of problem solving using K.
Download NIT Seminar Topic on A Logic programming approach Knowledge State Planning.