Name: Logica Computacional (in Spanish)
SKU: 1069526
Price: 39.08 EUR
Availability: InStock
Author: Martin Amis
ISBN: 9788497321822

portada Logica Computacional (in Spanish)

Type

Physical Book

Author

Enrique Paniagua Arís

Martin Amis

Publisher

Paraninfo

Topic

informatica

Year

2003

Language

Spanish

Pages

224

Format

Paperback

ISBN

8497321820

ISBN13

9788497321822

Edited in

España

Edition No.

Synopsis "Logica Computacional (in Spanish)"

LOGICA COMPUTACIONAL

ISBN 8497321820
Autor PANIAGUA ARIS ENRIQUE
MARTIN RUBIO FERNANDO , SANCHEZ GONZALEZ JUAN LUIS
Editorial PARANINFO
Peso 0,36 Kg.Edición 2003,en Rústica
224 páginas
Idioma Español

Comentario
Los orígenes de la Lógica Teórica con Aristóteles, y sus avances con Boole, Russell, Kleene y Gentzen, junto a los de la Lógica Computacional con Herbrand, Gilmore, Davis y Putman y Robinson, hicieron que en la segunda mitad del S.
XX naciera en Dormouth, en su enfoque simbólico, la Inteligencia Artificial (IA), el ámbito de la ciencia que se encarga de estudiar, diseñar y crear Sistemas Inteligentes.

El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas. Es a causa de esta relación entre la lógica y el desarrollo de los Sistemas Inteligentes por la que es necesaria la utilización de mecanismos de razonamiento automático, y por este mismo motivo no hemos querido realizar una separación entre la Lógica Proposicional y la lógica de Predicados como sistemas lógicos, sino como niveles de enriquecimiento distintos en la representación del conocimiento.

En este texto, la aprehensión de la lógica por parte del lector se basa en un recorrido por los trés componentes de un Sistema Lógico: el sintáctico, que nos permite construir los enunciados; el interpretativo, que nos permite establecer el significado de verdad de los enunciados construidos; y el axiomático, que nos permite crear nuevos enunciados a partir de los existentes y demostrar la validez de un razonamiento. Basándonos en estos tres componentes en el libro se describen y analizan los principales métodos axiomáticos e interpretativos, para, seguidamente, desarrollar los métodos de razonamiento automático, el componente esencial de los Sistemas Inteligentes.

Martin Amis

(Author)

View Author's Page

Martin Amis (Swansea, 1949 - Florida, 2023) studied at Oxford and made a brilliant debut as a novelist with The Rachel Papers, awarded in 1973 with the Somerset Maugham Award, published in Spain (in 1985) by Anagrama. Throughout his career, he worked as a screenwriter and several of his novels were adapted for television. He is the author of short stories, essays, and novels. He has two autobiographical books: Experience and Koba the Dread. His last work was Inside Story.

See less