MEDLAR

The ultimate goals of the MEDLAR(MEchanising Deduction in Logics of Practical Reasoning)-II project are: the synthesis of specific reasoning capabilities like abduction, analogy, planning, and model building, in a given combination of logics; the development of the general framework (LDS, labelled deductive systems) to produce the specific reasoning capabilities; exploration of the architecture for specialisation, implementation and integration of these higher-level reasoning capabilities in a generic practical reasoning agent.