• Aprenderly
  • Explore
    • Ciencia
    • Ciencias sociales
    • Historia
    • Ingeniería
    • Matemáticas
    • Negocio
    • Numeración de las artes

    Top subcategories

    • Advanced Math
    • Estadísticas y Probabilidades
    • Geometría
    • Trigonometry
    • Álgebra
    • other →

    Top subcategories

    • Astronomía
    • Biología
    • Ciencias ambientales
    • Ciencias de la Tierra
    • Física
    • Medicina
    • Química
    • other →

    Top subcategories

    • Antropología
    • Psicología
    • Sociología
    • other →

    Top subcategories

    • Economía
    • other →

    Top subcategories

    • Ciencias de la computación
    • Diseño web
    • Ingeniería eléctrica
    • other →

    Top subcategories

    • Arquitectura
    • Artes escénicas
    • Ciencias de la religión
    • Comunicación
    • Escritura
    • Filosofía
    • Música
    • other →

    Top subcategories

    • Edad Antigua
    • Historia de Europa
    • Historia de los Estados Unidos de América
    • Historia universal
    • other →
 
Sign in Sign up
Upload
Inteligencia Artificial
Inteligencia Artificial

Inteligencia Artificial
Inteligencia Artificial

métodos formales de representación del conocimiento
métodos formales de representación del conocimiento

LÓGICA FORMAL E INTELIGENCIA ARTIFICIAL-GD
LÓGICA FORMAL E INTELIGENCIA ARTIFICIAL-GD

1

Douglas Lenat

""""Douglas B. Lenat"""" (nació en 1950). Es el CEO (fundador) de Cycorp Inc., con base en Austin, Texas, y ha sido un prominente investigador en inteligencia artificial, especialmente en entendimiento computacional (con sus programas AM y Eurisko), representación de conocimiento, sistemas de pizarrón, e ingeniería ontológica (con sus programas Cyc en MCC y Cycorp). También ha trabajado en simulaciones militares y ha publicado críticas sobre ""the conventional random-mutation Darwinism"" basado en su experiencia con Eurisko. Lenat fue uno de los originales creadores del AAAI. La búsqueda de Lenat en el proyecto de Cyc, constituyo la base de una inteligencia artificial general que manualmente se representa con el conocimiento del lenguaje formal, CycL, basado en extensiones de cálculo de la lógica de primer orden (LPO). Se considera que a Lenat la práctica le viene demasiado grande.
El centro de tesis, documentos, publicaciones y recursos educativos más amplio de la Red.
  • aprenderly.com © 2025
  • GDPR
  • Privacy
  • Terms
  • Report