Lógicas para la red

Abstract

[ES] Tim Berners-Lee y sus colegas del World Wide Web Consortium (W3C) llamaron «Semantic Web» al que sería el siguiente estadio de desarrollo de la red (inevitablemente traducido al castellano como Web Semántica). La idea detrás de esta evolución de la red es extender con metadatos y reglas lógicas la red basada en el lenguaje html, con el objetivo de que la infraestructura resultante permita a las máquinas entender los datos de la red de la misma forma que los entendemos los humanos. Así, añadir lógica a la red permitiría a los ordenadores tomar decisiones, hacer inferencias y responder preguntas. En este texto se pretende revisar las lógicas que han sido propuestas para permitir esta nueva web inteligente y repasar las cuestiones teóricas y pragmáticas más importantes de la corta pero intensa historia de las lógicas para la red.

[EN] Tim Berners-Lee and their colleagues of the World Wide Web Consortium (W3C) called «Semantic Web» the next development of the Web. The idea behind this evolution of the Web is to extend the present network based on the HTML language with metadata and logical rules, with the aim of the resulting infrastructure allowing machines to understand Web data in the same way that human beings understand them. Thus, adding logic to the Web would allow the computers to take decisions, to do inferences and to answer questions. In this paper it is intended to revise the logics that have been suggested to allow this new intelligent Web and to revise the most important theoretical and pragmatic questions of the short but intense history of logics for the Web.