The role of computational logic as a hinge paradigm among deduction, problem solving, programming, and parallelism

Hermenegildo, Manuel V. (1993). The role of computational logic as a hinge paradigm among deduction, problem solving, programming, and parallelism. En: "Workshop on Artificial Intelligence from the Information Processing Perspective - AIFIPP '92", 14-15 September, 1992, Madrid, Spain. ISBN 0-444-81541-4.

Descripción

Título: The role of computational logic as a hinge paradigm among deduction, problem solving, programming, and parallelism
Autor/es:
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Workshop on Artificial Intelligence from the Information Processing Perspective - AIFIPP '92
Fechas del Evento: 14-15 September, 1992
Lugar del Evento: Madrid, Spain
Título del Libro: Extended Papers from the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective
Fecha: Septiembre 1993
ISBN: 0-444-81541-4
Materias:
Palabras Clave Informales: Deduction and theorem proving, Kncwledge representation formalisms and methods, Programming languages and software, Deducción y demostración de teoremas, Formas y métodos de representación del conocimiento.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

This paper presents some brief considerations on the role of Computational Logic in the construction of Artificial Intelligence systems and in programming in general. It does not address how the many problems in AI can be solved but, rather more modestly, tries to point out some advantages of Computational Logic as a tool for the AI scientist in his quest. It addresses the interaction between declarative and procedural views of programs (deduction and action), the impact of the intrinsic limitations of logic, the relationship with other apparently competing computational paradigms, and finally discusses implementation-related issues, such as the efficiency of current implementations and their capability for efficiently exploiting existing and future sequential and parallel hardware. The purpose of the discussion is in no way to present Computational Logic as the unique overall vehicle for the development of intelligent systems (in the firm belief that such a panacea is yet to be found) but rather to stress its strengths in providing reasonable solutions to several aspects of the task.

Más información

ID de Registro: 14576
Identificador DC: http://oa.upm.es/14576/
Identificador OAI: oai:oa.upm.es:14576
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 02 Mar 2013 07:07
Ultima Modificación: 21 Abr 2016 14:18
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM