Planning and Active Logic.



While it is planning, a reasoner spends time formulating plans and reasoning about them. If the planning involves deadlines, then the reasoner needs to take into account the time it takes to plan and also the time it takes to take into account the time it is taking. Active logic enables us to design planners that treat all aspects of planning as deadline coupled.

A long term aim of this work is to model a flexible reasoner with a large database of knowledge, planning in deadline situations. Related areas are: