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. In: "Workshop on Artificial Intelligence from the Information Processing Perspective - AIFIPP '92", 14-15 September, 1992, Madrid, Spain. ISBN 0-444-81541-4.

Description

Title: The role of computational logic as a hinge paradigm among deduction, problem solving, programming, and parallelism
Author/s:
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: Workshop on Artificial Intelligence from the Information Processing Perspective - AIFIPP '92
Event Dates: 14-15 September, 1992
Event Location: Madrid, Spain
Title of Book: Extended Papers from the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective
Date: September 1993
ISBN: 0-444-81541-4
Subjects:
Freetext Keywords: 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.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14576
DC Identifier: http://oa.upm.es/14576/
OAI Identifier: oai:oa.upm.es:14576
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 Mar 2013 07:07
Last Modified: 21 Apr 2016 14:18
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM