Active Logic, Metacognitive Computation, and Mind: University of Maryland

Active Logic, Metacognitive Computation, and Mind

Toward Human-Level Cognitive Adequacy
Our long-range aim is to design and implement common sense in a computer. Click here for details.


If you would like to learn more about Active Logic, we suggest you start with one of our primers.

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:
  • Temporal projection.
  • Ramification.
  • Plan interaction.
  • Metaplanning.