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 problems
1994
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/1048
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact