sustituyendo por cada elemento formal del marco de la teor´ıa de modelos se obtiene la ecuaci´on:

$$({\widehat{\mathbf{1}}}\;\;_{s}(\mathbf{t})=\mathbf{r_{t}}(\pi_{1}(f_{s}^{S}(\psi_{r},p_{1},...,p_{m})))$$

(ψr, p1**, ..., p**m))) (1)
A esta expresi´on matem´atica se la denominar´a ecuaci´on general del excomportamiento sensible. Uno debe darse cuenta que esta ecuaci´on se corresponde en verdad con toda una familia de ecuaciones, ya que dependiendo del n´umero de par´ametros que tenga f S
ssurgen diferentes ecuaciones. En la secci´on 4 se entrar´a en profundidad sobre f S
s y p1**, ..., p**m.

Una cuesti´on relevante que debe de quedar bien clara referente al trabajo matem´atico que se realiza en la TCCV, ya que el lector podr´ıa confundirse por sus experiencias anteriores en el campo de la l´ogica, o las teor´ıas matem´aticas. En la TCCV se buscan estructuras matem´aticas que especifiquen comportamientos sensibles para posteriormente resolver las ecuaciones que surgen con las distintas arquitecturas funcionales. Para esas estructuras matem´aticas, posiblemente se pueda dar un conjunto de axiomas. Esos axiomas dan lugar a una teor´ıa; pero el lector no debe confundir la teor´ıa que se derive de los axiomas con la TCCV. La teor´ıa que se genera a partir de los axiomas ´unicamente establecer´a teoremas sobre la clase de estructuras matem´aticas que define los axiomas. Por lo tanto, no se debe de cometer el error de identificar la teor´ıa de la clase de estructuras matem´aticas que se usan en una ecuaci´on de la TCCV con la TCCV.

Uno debe darse cuenta que esta ecuaci´on se corresponde en verdad con toda una familia de ecuaciones, ya que dependiendo del n´umero de par´ametros que tenga f S
ssurgen diferentes ecuaciones. En la secci´on 4 se entrar´a en profundidad sobre f S
s y p1**, ..., p**m.

## 3.3. La Tccv Y T´Ecnicas De L´Ogica En I.A.

Desde el nacimiento de la I.A. en 1956 hasta los a˜nos ochenta, el camino de la l´ogica, liderado especialmente por John McCarthy y Marvin Minsky, fue el camino principal de investigaci´on para cumplir el objetivo de Dartmouth.

Algunos de los m´as importantes hitos durante ese camino fueron el descubrimiento de J. Alan Robinson en 1965 del principio de resoluci´on y unificaci´on, la sugerencia en 1974 Robert Kowalski de representar las expresiones l´ogicas como cl´ausulas de Horn, la aparici´on de la programaci´on l´ogica, y la creaci´on de programas como STRIPS. Estos hitos hicieron que la l´ogica dominara el campo de la inteligencia artificial durante casi 20 a˜nos. Pero a principio de