Contexts, locality and generality

It has been recognized that AI programs suffer from a lack of generality, the first gross symptom being that a small variation to the problem being solved usually causes a major revision of the theory describing it. The lack of generality seems an unavoidable consequence of the process of approximat...

Full description

Bibliographic Details
Authors: Bouquet, Paolo, Giunchiglia, Enrico, Giunchiglia, Fausto
Format: article
Publication Date:1996
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2099/2613
Online Access:https://hdl.handle.net/2099/2613
Access Level:Open access
Keyword:Generality
Artificial intelligence
Lògica matemàtica
Intel·ligència artificial
Sistemes experts (Informàtica)
Classificació AMS::68 Computer science::68T Artificial intelligence
Description
Summary:It has been recognized that AI programs suffer from a lack of generality, the first gross symptom being that a small variation to the problem being solved usually causes a major revision of the theory describing it. The lack of generality seems an unavoidable consequence of the process of approximating the world while building theories about it. In this paper we propose an approach where generality is achieved by formulating, for each problem at hand, an appropriate local theory, a theory containing the needed information. The process of theory formulation and reformulation is formalized using contexts.