Hybrid KB-propositonal-logic and conditional-planning agent, my diploma project