Una mente que sea pura lógica es como un cuchillo que sea pura hoja filosa. Hace sangrar la mano de quien lo usa.
    Rabindranath Tagore

¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø

INTELIGENCIA ARTIFICIAL

¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø

Cap. 10 r&n [= Russell y Norvig - Inteligencia artificial, un enfoque moderno - Prentice Hall (1996)]-

Cap. 10 - r&n - Sistemas de razonamiento lógico (¿y de inteligencia emocional?) - (Diapositivas, glosas, etc.)

(Diapositivas, glosas, etc.)
Sistemas de razonamiento lógico
[10.8.1] - Sistema de mantenimiento de la verdad
[10.9] -¿Pre-sistemas de inteligencia emocional?
---1-Rumelhart--
---2-Rumelhart--
---3-Rumelhart--
---4-Rumelhart--
---5-Rumelhart--
---6-Rumelhart--
---7-Rumelhart--
---8-Rumelhart--
---9-John McCarthy--
--10-Emotion generation for artificial agents Christine Lisetti, breve glosa en español por CvdB
[10.10]- Lógica de Lukasiewics---Casos límites de interacción agente-ambiente y teoría del caos

Carlos von der Becke

Sistemas de razonamiento lógico
*** Herramientas para el razonamiento ejecutables en la misma Red*** con indicaciones para usar "Otter"
Sistemas de razonamiento lógico (en inglés) - Stanford Lista actualizada a 1999 http://www-formal.stanford.edu/clt/ARS/systems.html Herramientas de Razonamiento ejecutables en línea
  • http://www-unix.mcs.anl.gov/AR/sobb/ para The Song of the BirdBrain - marcar Robbins Algebra - tildar los tres primeros y el anteúltimo de los axiomas - tildar el teorema de Huntington (derecha) - probar que Huntington es booleano - usar el applet de Java
    Deducir otras conclusiones
  • Logics Workbench
  • The Carnegie Mellon Proof Tutor
  • A Theorem Proving System for CLC (sequent style classiacal predicate logic) on WWW
  • SCAN is a program for computing first-order equivalent formulae for second-order formulae with quantified predicate variables. Interfaces for computing circumscription and for computing correspondence axioms in non-classical logics are available.
    Contact: Hans Jürgen Ohlbach
  • Listado de sistemas de deducción automática--William McCune
    Notas en español (Arteaga y Armijos):
    Sistemas de producción (Pág 2_5) -- Redes asociativas (Pág 4_4) -- El Proceso de Razonamiento (Pág 4_31) Representación mediante Reglas de Producción. (Pág 4_3) Representación mediante Plantillas (marcos o frames). (Pág 4_5) Representación mediante Objetos. (Pág 4_6)

    Historia de los sistemas de razonamiento lógico--Univ.N. de Educación a Distancia - España


    Presentación en Power Point de algunos sistemas de razonamiento lógico (producción, etc.) - Maria Simi (U. de Pisa, en italiano)
    http://www.ugrad.cs.jhu.edu/~cs435/notes/AI-lectures-week6_files/frame.htm
    Sistemas de producción: --1----2-- Un sistema unificado de cognición (Soar - Allen Newell) Tópicos avanzados en Sistemas de Razonamiento Lógico (Sistemas de reglas de producción - Grafos - Redes semánticas - Marcos o Frames - Sistemas de mantenimiento de la verdad) - Eduardo Morales (Monterrey)
    Representación de la Información (IR) -
    4.1- Propósito de la IR.
    4.2-Representación lógica.
    4.3-Espacio de estados, teoría de grafos, redes semánticas.
    4.4-Sistemas de producción y de marcos (frames)
    Y.X.Zhong - Beijing (en inglés)
    Artículo de Scientific American sobre redes semánticas, Tim Berners-Lee, James Hendler y O. Lassila
    Lista de diapositivas de Redes Semánticas, XML 2000 Tim Berners-Lee.
    Mechanized reasoning--Michael Kohlhase and Carolyn Talcott.
    Sistemas de Razonamiento por Reglas diapositivas en inglés (Kathy A. Johnson - U. of Texas) Logical Reasoning Systems Charles R. Dyer (Wisconsin)
    Automated theorem proving (ATP) Geoff Sutcliffe (James Cook U.) and Christian SuttnerOTTER Tutorial estrategias creadas al emplear Otter - Larry Wos
    Yu Peng - Cap. 10 r&n Sistemas de razonamiento lógico (diapositivas en inglés) Univ. Maryland Baltimore County
    Cap. 11 - r&n - Planificación - (Diapositivas, glosas, etc.)

    FastCounter by bCentral
    desde 01-11-01

    14.jun.2002

    Pulsar tecla de vuelta

    Vuelta a Portada


    Glosario de Carlos von der Becke.

    . .