In this paper I present a context-based mechanization in GETFOL of the Glasgow-London-Moscow (GLM) problem, an instance of a more general problem called the qualification problem ([McC80]). The mechanization is based on a formalization of the GLM problem using multi-context systems (MC-systems) that is aimed to overcome some epistemological limitations of a previous formalization using circumscription. Though this approach solves many difficulties from a representational point of view, its mechanization raises some theoretical and practical problems that are not faced in the formalization. Since these problems don't depend on the particular example, their solution can be extended to context-based mechanizations of a broad class of problems
A Mechanized Multi-Context Solution to McCarthy's GLM Problem
Bouquet, Paolo
1994-01-01
Abstract
In this paper I present a context-based mechanization in GETFOL of the Glasgow-London-Moscow (GLM) problem, an instance of a more general problem called the qualification problem ([McC80]). The mechanization is based on a formalization of the GLM problem using multi-context systems (MC-systems) that is aimed to overcome some epistemological limitations of a previous formalization using circumscription. Though this approach solves many difficulties from a representational point of view, its mechanization raises some theoretical and practical problems that are not faced in the formalization. Since these problems don't depend on the particular example, their solution can be extended to context-based mechanizations of a broad class of problemsI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
