Teorema de lógica en la página P209

prueba de reducción

Cuantificador lógico de primer orden

razonamiento lógico de primer orden

bajar a

regla de bayes

red bayesiana

P483 Modelo de Markov oculto

Más información sobre el filtro Kalman

aprendizaje supervisado

aprendizaje sin supervisión

aprendizaje reforzado

Método de verificación K-fold (el libro Xigua es mejor)

Regularización (el libro de Xigua es mejor)

Regresión lineal (buena para el aprendizaje automático estadístico)

Eche un vistazo a SVM

Modelo ingenuo de Bayes (P671)

Algoritmo EM (aprendizaje de variables ocultas P677)

función softmax (P703)

Definición de CSP, tres componentes XDC

colorear mapa

4 tipos de compatibilidad

modelo de suma cero

algoritmo maximino

poda α-β

Conoce otras estrategias

Cinco partes de un problema bien definido

mesa abierta mesa cerrada

Varias estrategias de búsqueda y comparaciones.

Una búsqueda

Funciones heurísticas para varios algoritmos.

Escalada de colinas/método de recocido simulado/haz local/comprensión del algoritmo genético

Funciones y procedimientos del agente.

Descripción de Agent's Peas

naturaleza del medio ambiente

Múltiples estructuras de agentes

Historia del desarrollo de la inteligencia artificial (eventos importantes)

Desarrollo extraescolar