Академический Документы
Профессиональный Документы
Культура Документы
Antonio Fern andez-Caballero Mar a Gracia Manzano Arjona Enrique Alonso Gonz alez Sergio Miguel Tom e (Eds.)
Campus Multidisciplinar en Percepci on e Inteligencia, CMPI-2006 Albacete, Espa na, 10-14 de Julio del 2006 Actas, Volumen I
Universidad de Castilla-La Macha 2006 No est permitida la reproduccin total o parcial de este libro, ni su tratamiento informtico, ni la transmisin de ninguna forma o por cualquier medio, ya sea electrnico, por fotocopia, por registro u otros mtodos, sin el permiso previo y por escrito de los titulares del copyright. Impreso en Espaa. Printed in Spain.
Imprime: Grficas Quintanilla. La Roda Diseo de la cubierta: UGSC (Unidad de Gestin Sociocultural)
Presentaci on
El 31 de Agosto 1955, J. McCarthy (Dartmouth College, New Hampshire), M.L. Minsky (Harvard University), N. Rochester (I.B.M. Corporation) y C.E. Shannon (Bell Telephone Laboratories) lanzaron una propuesta para reunir en el verano de 1956 a un grupo de investigadores que quisieran trabajar sobre la conjetura de que cada aspecto del aprendizaje y cada caracter stica de la inteligencia pod an ser tan precisamente descritos que se pod an crear m aquinas que las simularan. El encuentro, celebrado en 1956 y ahora conocido como la conferencia de Dartmouth, se llev o a cabo con tal exito que el evento acu no el t ermino Inteligencia Articial y con el una nueva a rea cient ca de conocimiento. En el a no 2006 se cumplen cincuenta a nos de la Conferencia de Dartmouth. Pero a pesar del tiempo transcurrido, el problema de encontrar las minuciosas descripciones de las caracter sticas del cerebro y de la mente que fue mencionado en la propuesta de 1955 sigue tan vigente hoy, como ayer, a pesar del variado abanico de ciencias que lo abordan y estudian. Albacete (Espa na) ha sido en la semana del 10 al 14 de Julio la sede del evento internacional m as importante en lengua castellana con el Campus Multidisciplinar en Percepci on e Inteligencia, CMPI-2006. El Campus Multidisciplinar en Percepci on e Inteligencia 2006 es un evento internacional en el que investigadores de diversas areas relacionadas con la Percepci on y la Inteligencia se encontrar an del 10 al 14 de Julio en el Campus Universitario de Albacete con el animo de recuperar el esp ritu entusiasta de aquellos primeros d as de la Inteligencia Articial. En nuestra intenci on est a el objetivo de crear un ambiente heterog eneo formado por especialistas de diversas areas, c omo la Inteligencia Articial, la Neurobiolog a, la Psicolog a, la Filosof a, la Ling u stica, la L ogica, la Computaci on,, con el n de intercambiar los conocimientos b asicos de las diferentes areas y de poner en contacto investigadores de los diferentes campos. El facilitar la creaci on de colaboraciones e investigaciones multidisciplinares es un objetivo prioritario de la propuesta. El Congreso Multidisciplinar en Percepci on e Inteligencia, que ha dado lugar a esta publicaci on, se engloba como parte fundamental en el Campus Multidisciplinar sobre Percepci on e Inteligencia. Este Congreso Multidisciplinar en Percepci on e Inteligencia va dirigida a todas aquellas personas que tengan inter es por conocer qu e es la Percepci on y qu e es la Inteligencia, vistas ambas desde una perspectiva claramente multidisciplinar. El Congreso Multidisciplinar contar a con la presencia de destacados especialistas del campo de la investigaci on. Todos ellos, as , y desde su propia experiencia, podr an proporcionar a los asistentes una visi on muy clara del estado actual de las distintas ciencias que se ocupan de la Percepci on y la Inteligencia. Estas charlas invitadas o tutoriales an por las ma nanas complementan a la perfecci on las ponencias que se impartir durante la Escuela de Verano sobre Percepci on e Inteligencia.
IV
El Campus Multidisciplinar en Percepci on e Inteligencia ha contado tambi en con la Escuela de Verano en Percepci on e Inteligencia: 50 Aniversario de la Inteligencia Articial, que se ha ofertado en el seno de la XIX Edici on de Cursos de Verano de la Universidad de Castilla-La Mancha, y que se ha correspondido con la XVI Escuela de Verano del Departamento de Sistemas Inform aticos. Pensada fundamentalmente para los alumnos de la Universidad de Castilla-La Mancha del Campus de Albacete, la Escuela de Verano sobre Percepci on e Inteligencia ha cubierto aspectos de gran inter es para las carreras de Inform atica, Medicina, Humanidades y Magisterio. Las clases magistrales de la Escuela de Verano han estado a cargo de importantes y reconocidos investigadores a nivel internacional. Todos ellos, as , y desde su propia experiencia, han proporcionado a los asistentes una visi on muy clara del estado actual de las distintas ciencias que se ocupan de la Percepci on y la Inteligencia. Fruto de las contribuciones m as importantes del evento han nacido dos liumenes, denominado Una Perbros1 . El primero de ellos, formado por dos vol spectiva de la Inteligencia Articial en su 50 Aniversario. Actas del Campus Multidisciplinar en Percepci on e Inteligencia, CMPI-2006, es el que tiene en sus manos. Contiene las contribuciones de los congresistas expuestas oralmente o presentadas como p osters en el Congreso. El otro, llamado 50 A nos de la Inteligencia Articial. XVI Escuela de Verano de Inform atica, recoge las ponencias invitadas de prestigiosos investigadores que han asistido al Campus Multidisciplinar en Percepci on e Inteligencia.
Antonio Fern andez-Caballero Mar a Gracia Manzano Arjona Enrique Alonso Gonz alez Sergio Miguel Tom e Comit e Organizador CMPI-2006
La publicaci on de estos libros ha sido nanciada en parte por la Acci on Complementaria del Ministerio de Educaci on y Ciencia TIN2005-25897-E y la Acci on Especial de la Junta de Comunidades de Castilla-La Mancha AEB06-023.
Organizaci on
El congreso internacional 50 A nos de la Inteligencia Articial: Campus Multidisciplinar en Percepci on e Inteligencia, CMPI-2006 ha sido organizado por el Departamento de Sistemas Inform aticos (DSI) y el Instituto de Investigaci on en Inform atica de Albacete (I3A) de la Universidad de Castilla-La Mancha (UCLM) en cooperaci on con el Parque Cient co y Tecnol ogico de Albacete (PCyTA) y el Excmo. Ayuntamiento de Albacete.
Comit e Organizador
Antonio Fern andez-Caballero Mar a Gracia Manzano Arjona Enrique Alonso Gonz alez Sergio Miguel Tom e (Universidad (Universidad (Universidad (Universidad de Castilla-La Mancha) de Salamanca) Aut onoma de Madrid) de Castilla-La Mancha)
Comit e Local
De la Ossa Jim enez, Luis D az Delgado, Carmen Fern andez Graciani, Miguel Angel Flores Gallego, Mar a Julia Garc a Varea, Ismael G omez Quesada, Francisco J. L opez Bonal, Mar a Teresa L opez Valles, Jos e Mar a Mateo Cerd an, Juan Luis Miranda Alonso, Tom as Parre no Torres, Francisco Ponce S aez, Antonio (Universidad (Universidad (Universidad (Universidad (Universidad (Universidad (Universidad (Universidad (Universidad (Universidad (Universidad (Universidad de de de de de de de de de de de de Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Castilla-La Mancha) Mancha) Mancha) Mancha) Mancha) Mancha) Mancha) Mancha) Mancha) Mancha) Mancha) Mancha)
Comit e de Programa
Ad an Oliver, Antonio Dept. de Ingenier a El ectrica, Electr onica y Autom atica - Universidad de Castilla-La Mancha en Ciudad Real (ES) Dept. de Inteligencia Articial - Universidad Nacional de Educaci on a Distancia (ES) Sociedad Iberoamericana de Psicolog a, Bolivia SIAPSI (BO) Langue et Dialogue - Laboratoire Lorrain de Recherche en Informatique et ses Applications (FR) Institut dInvestigaci o en Intel.lig` encia Articial Centro Superior de Investigaciones Cient cas (ES)
Alvarez S anchez, Jos e Ram on Arce Michel, Javier Areces, Carlos Armengol i Voltas, Eva
VI
Dept. de L ogica, Historia y Filosof a de la Ciencia - Universidad Nacional de Educaci on a Distancia (ES) Augusto, Juan Carlos School of Computing and Mathematics - University of Ulster at Jordanstown (UK) Barber Sanch s, Federico Dept. de Sistemas Inform aticos y Computaci on Universitat Polit` ecnica de Valencia (ES) Barro Ameneiro, Sen en Dept. de Electr onica y Computaci on - Universidade de Santiago de Compostela (ES) Bayro-Corrochano, Eduardo Jos e Computer Science - CINVESTAV, Guadalajara (MX) Bel Enguix, Gemma Research Group in Mathematical Linguistics - Universitat Rovira i Virgili (ES) Blanco Mayor, Aquilino Carmelo Dept. de Filosof a - Universidad de Castilla-La Mancha en Albacete (ES) Botella Bevi a, Federico Dept. de Estad stica, Matem atica e Inform atica Universidad Miguel Hern andez de Elche (ES) Bustos Guada no, Eduardo de Dept. de L ogica, Historia y Filosof a de la Ciencia - Universidad Nacional de Educaci on a Distancia (ES) Caminos Benito, Mar a Elena Centro Regional de Investigaciones Biom edicas Universidad de Castilla-La Mancha en Albacete (ES) Casacuberta Nolla, Francisco Dept. de Sistemes Inform` atics i Computaci o - Universitat Polit` ecnica de Val` encia (ES) Casals Gelp , Alicia Dept. dEnginyeria de Sistemes, Autom` atica i Inform` atica Industrial - Universitat Polit` ecnica de Catalunya (ES) Castej on Costa, Juan Luis Dept. Sociologia II, Psicolog a, Comunicaci on y Did actica - Universitat dAlacant (ES) Chinellato, Eris Robotic Intelligence Laboratory - Universitat Jaume I (ES) Cord on Garc a, Oscar Applications of Fuzzy Logic and Evolutionary Algorithms Research Unit - European Centre for Soft Computing (ES) Cort es, Ulises Knowledge Engineering and Machine Learning Group - Universitat Polit` ecnica de Catalunya (ES) Cuadros-Vargas, Ernesto Computer Science - Universidad Catolica San Pablo, Arequipa (PE) Deco, Gustavo Instituci o Catalana de Recer ca i Estudis Avan cats - Universitat Pompeu Fabra (ES) Del Pobil, Angel Pasqual Robotic Intelligence Laboratory - Universitat Jaume I (ES) Delgado Garc a, Ana Dept. de Inteligencia Articial - Universidad Nacional de Educaci on a Distancia (ES) D az Delgado, Carmen Centro Regional de Investigaciones Biom edicas Universidad de Castilla-La Mancha en Albacete (ES) Duro, Richard J. Dept. de Computaci on - Universidade da Coru na (ES) Far nas del Cerro, Luis Institut de Recherche en Informatique de Toulouse - Universit e Paul Sabatier (FR)
VII
Dept. de Ingenier a El ectrica, Electr onica y Autom atica - Universidad de Castilla-La Mancha en Ciudad Real (ES) Fern andez Graciani, Miguel Angel Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES) Fern andez Moreno, Luis Dept. de L ogica y Filosof a de la Ciencia - Universidad Complutense de Madrid (ES) Fuentes Melero, Luis Dept. de Psicolog a B asica y Metodolog a - Universidad de Murcia (ES) G amez Mart n, Jos e Antonio Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES) Garc a Pupo, Mauro Sociedad Cubana de Matem atica y Computaci on Universidad de Holgu n (CU) Garc a Varea, Ismael Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES) Garijo, Francisco Telef onica Investigaci on y Desarrollo - Telef onica (ES) Gener, Hector Instituci o Catalana de Recerca i Estudis Avan cats - Universitat Pompeu Fabra (ES) God o Lacasa, Lluis Institut dInvestigaci o en Intel.lig` encia Articial Centro Superior de Investigaciones Cient cas (ES) Gonz alez L opez, Pascual Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES) Gra na Romay, Manuel Dept. de Ciencias de la Computaci on e Inteligencia Articial - Euskal Herriko Unibertsitatea / - Universidad del Pa s Vasco (ES) Hern andez Orallo, Jos e Dept. de Sistemes Inform` atics i Computaci o - Universitat Polit` ecnica de Val` encia (ES) Herrera Viedma, Enrique Dept. de Ciencias de la Computaci on e Inteligencia Articial - Universidad de Granada (ES) Huertas S anchez, M. Antonia Inform atica y Multimedia - Universitat Oberta de Catalunya (ES) Insausti Serrano, Ricardo Centro Regional de Investigaciones Biom edicas Universidad de Castilla-La Mancha en Albacete (ES) Jansana, Ram on Dept. de L` ogica, Hist` oria i Filosoa de la Ci` encia Universitat de Barcelona (ES) Jim enez L opez, Mar a Dolores Research Group in Mathematical Linguistics - Universitat Rovira i Virgili (ES) Juiz G omez, Jos e Manuel Dept. de Ciencias M edicas - Universidad de Castilla-La Mancha en Albacete (ES) Kemper Valverde, Nicol as Laboratorio de Sistemas Inteligentes - Universidad Nacional Aut onoma de M exico (MX) Latorre Postigo, Jos e Miguel Dept. de Psicolog a - Universidad de Castilla-La Mancha en Albacete (ES) Llin as Riascos, Rodolfo Department of Physiology and Neuroscience - New York - University Medical Center (USA) Llopis Borr as, Juan Centro Regional de Investigaciones Biom edicas Universidad de Castilla-La Mancha en Albacete (ES) L opez Bonal, Mar a Teresa Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES)
VIII
Marin Morales, Roque Mart n-Vide, Carlos Mart nez Gal an, Juan Ram on
Mart nez Tom as, Rafael Mastriani, Mario Matell an Olivera, Vicente Mira Mira, Jos e Miranda Alonso, Tom as Moreno-D az, Roberto
Moreno Garc a, Juan Moreno Valverde, Gin es Nepomuceno Fern andez, Angel Ojeda Aciego, Manuel Oliver, Nuria Pascual Fidalgo, Vicente Pav on Mestras, Juan Penabad Vazquez, Jaime P erez Jim enez, Mario de Jes us P erez Sede no, Eulalia Ponce S aez, Antonio Ponte Fern andez, Dolores Prieto Espinosa, Alberto
Institut dInvestigaci o en Intel.lig` encia Articial Centro Superior de Investigaciones Cient cas (ES) Instituto de Neurociencias de Castilla y Le on - Universidad de Salamanca (ES) Centro Regional de Investigaciones Biom edicas Universidad de Castilla-La Mancha en Albacete (ES) Dept. de Ingenier a de la Informaci on y de las Comunicaciones - Universidad de Murcia (ES) Research Group in Mathematical Linguistics - Universitat Rovira i Virgili (ES) Centro Regional de Investigaciones Biom edicas Universidad de Castilla-La Mancha en Albacete (ES) Dept. de Inteligencia Articial - Universidad Nacional de Educaci on a Distancia (ES) Misi on SAOCOM - Comisi on Nacional de Actividades Espaciales (AR) Robotics Lab. - Universidad Rey Juan Carlos (ES) Dept. de Inteligencia Articial - Universidad Nacional de Educaci on a Distancia (ES) Dept. de Filosof a - Universidad de Castilla-La Mancha en Albacete (ES) Instituto - Universitario de Ciencias y Tecnolog as Cibern eticas - Universidad de Las Palmas de Gran Canaria (ES) Dept. de Tecnolog as y Sistemas de Informaci on Universidad de Castilla-La Mancha en Toledo (ES) Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES) Dept. de Filosof a y L ogica - Universidad de Sevilla (ES) Dept. Matem atica Aplicada - Universidad de M alaga (ES) Microsoft Research - Microsoft Corporation, Redmond (USA) Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES) Dept. de Sistemas Inform aticos y Programaci on Universidad Complutense de Madrid (ES) Dept. de Matem aticas - Universidad de Castilla-La Mancha en Albacete (ES) Dept. de Ciencias de la Computaci on e Inteligencia Articial - Universidad de Sevilla (ES) Instituto de Filosof a - Centro Superior de Investigaciones Cient cas (ES) Dept. de Filosof a - Universidad de Castilla-La Mancha en Albacete (ES) Dept. de Psicolox a Social, B asica e Metodolox a Universidade de Santiago de Compostela (ES) Dept. de Arquitectura y Tecnolog a de Computadores - Universidad de Granada (ES)
IX
Puelles L opez, Luis Puerta Callej on, Jos e Miguel Rechea Alberola, Cristina Rodr guez Ladreda, Rosa Mar a Ruiz Shulcloper, Jos e S anchez-Andr es, Juan Vicente S anchez Calle, Angel S anchez C anovas, Jos e S anchez Vila, Eduardo Sanfeli u Cort es, Alberto Solar Fuentes, Mauricio Silva Mata, Francisco Jos e Sossa Azuela, Juan Humberto Sucar Succar, Luis Enrique Taboada Iglesias, Mar a Jes us Toro-Alfonso, Jos e Torra, Vicen c Trillas Ruiz, Enric Tudela Garmendia, P o Vega Re no n, Luis
Dept. de Anatom a Humana y Psicobiolog a - Universidad de Murcia (ES) Dept. de Sistemas Inform aticos - Universidad de Castilla-La Mancha en Albacete (ES) Dept. de Psicolog a - Universidad de Castilla-La Mancha en Albacete (ES) Asociaci on Andaluza de Filosof a (ES) Centro de Aplicaciones de Tecnolog as de Avanzada - CENATAV, Ciudad Cuba (CU) Dept. de Fisiolog a - Universidad de La Laguna (ES) Dept. de Inform atica, Estad stica y Telem atica Universidad Rey Juan Carlos (ES) Dept. de Personalitat, Avaluaci o i Tractaments Psicol` ogics - Universitat de Val` encia (ES) Dept. de Electr onica y Computaci on - Universidade de Santiago de Compostela (ES) Institut de Rob` otica i Inform` atica Industrial - Universitat Polit` ecnica de Catalunya (ES) Dept. de Ingenier a Inform atica - Universidad de Santiago de Chile (CL) Centro de Aplicaciones de Tecnolog as de Avanzada - CENATAV, Ciudad Cuba (CU) Centro de Investigaci on en Computaci on - Instituto Polit ecnico Nacional (MX) Dept. de Computaci on - Instituto Tecnol ogico y de Estudios Superiores de Monterrey (MX) Dept. de Electr onica e Computaci on - Universidade de Santiago de Compostela (ES) Dept. de Psicolog a - Universidad de Puerto Rico Institut dInvestigaci o en Intel-lig` encia Articial Centro Superior de Investigaciones Cient cas (ES) Dept. de Inteligencia Articial - Universidad Polit ecnica de Madrid (ES) Dept. de Psicolog a Experimental y Fisiolog a del Comportamiento - Universidad de Granada (ES) Dept. de L ogica, Historia y Filosof a de la Ciencia - Universidad Nacional de Educaci on a Distancia (ES) Dept. de Ciencias de la Computaci on e Inteligencia Articial - Universidad de Granada (ES) Dept. de Sistemes Inform` atics i Computaci o - Universitat Polit` ecnica de Val` encia (ES)
Entidades Organizadoras
Universidad de Castilla-La Mancha Parque Cient co y Tecnol ogico de Albacete Excmo. Ayuntamiento de Albacete
Entidades Patrocinadoras
Ministerio de Educaci on y Ciencia Junta de Comunidades de Castilla-La Mancha (Consejer a de Educaci on y Ciencia) Caja Castilla-La Mancha Telef onica Fundaci on Campollano Instituto de Investigaci on en Inform atica de Albacete Departamento de Sistemas Inform aticos, UCLM Revista Mente y Cerebro Centro Regional de Investigaciones Biom edicas, UCLM Excma. Diputaci on de Albacete
Entidades Colaboradoras
Asociaci on Espa nola para la Inteligencia Articial Asociaci on Andaluza de Filosof a Associaci o Catalana dIntellig` encia Articial Asociaci on Cubana de Reconocimiento de Patrones Fundaci on Espa nola para la Ciencia y la Tecnolog a Instituto de Filosof a, CSIC Instituto de Neurociencias de Castilla y Le on Mexican Association for Computer Vision, Neurocomputing and Robotics Sociedad de L ogica, Metodolog a y Filosof a de la Ciencia en Espa na Sociedad Chilena de Ciencia de la Computaci on Sociedad Colombiana de Psicolog a Sociedad Cubana de Matem atica y Computaci on Sociedad Espa nola de Filosof a Anal tica Sociedad Espa nola de Neurociencia Sociedad Espa nola de Psicolog a Experimental Sociedad Interamericana de Psicolog a Sociedad Mexicana de Ciencia de la Computaci on Sociedad Peruana de Computaci on Sociedad Venezolana de Filosof a TECNOCIENCIA
Indice general
VOLUMEN I
FUNDAMENTOS DE LA INTELIGENCIA ARTIFICIAL Y DEL CONOCIMIENTO REPRESENTACION Inteligencia articial frente a inteligencia natural cuando expresamos actitudes A.J. Herencia-Leva y M.T. Lamata Bletchley Park: La emergencia de la computaci on seg un el modelo de cognici on social distribuida A. Rubio Frutos Sobre la frontera formal entre el conocimiento computable y el conocimiento humano J.C. Herrero, J. Mira, M. Taboada y J. Des Aprendiendo a aprender: De m aquinas listas a m aquinas inteligentes B. Raducanu y J. Vitri` a La inteligencia como propiedad f sica y la posibilidad de su explicaci on S. Miguel Tom e Esbozo de una l ogica del ver: Fundamentos, m etodo y conexiones E. Alvarez Mosquera DEL CONOCIMIENTO ONTOLOG IAS Y GESTION Ontolog as y agentes de red: Un recambio para la I.A. cl asica E. Alonso y J. Taravilla Una aproximaci on incremental para adquisici on y modelado de conocimiento sobre diagnosis en medicina M. Taboada, J. Mira y J. Des Fusi on automatizada de ontolog as: Aplicaci on al razonamiento espacial cualitativo J. Borrego-D az y A.M. Ch avez-Gonz alez El m etodo del centro de areas como mecanismo b asico de representaci on y navegaci on en rob otica situada J.R. Alvarez S anchez, J. Mira y F. de la Paz L opez Localizaci on de fuentes del conocimiento en el proceso del mantenimiento del software J.P. Soto, O.M. Rodr guez, A. Vizca no, M. Piattini y A.I. Mart nez-Garc a
12
22 34 46 57
65
79
91
103
118
XII
Representaci on del conocimiento basado en reglas para un diagn ostico enfermero M.L. Jim enez, J.M. Santamaria, L.A. Gonz alez, A.L. Asenjo y L.M. Laita de la Rica Propuesta de un modelo de adquisici on de habilidades y conocimiento complejo R. Gilar Corbi y J.L. Castej on Costa SISTEMAS EXPERTOS Y DE AYUDA A LA DECISION Razonamiento temporal en una aplicaci on de gesti on de enfermer a J. Salort, J. Palma y R. Mar n Sistema experto para soporte diagn ostico en el postoperatorio de transposici on de grandes arterias V.R. Castillo, X.P. Blanco Valencia, A.E. Dur an, G.J.M. Rinc on Blanco y A.F. Villamizar Vecino Decisi on multi-atributo basada en ordenes de magnitud N. Agell, M. S anchez, F. Prats y X. Rovira FILOSOF IA Y MODELOS DE LA MENTE Determinismo, autoconguraci on y posibilidades alternativas en la losof a de la mente y de la acci on de Daniel C. Dennett J.J. Colomina Almi nana y V. Raga Rosaleny Formalizaci on del lenguaje los oco en Leibniz L. Caba nas Arquitecturas emocionales en inteligencia articial M.G. Bedia, J.M.Corchado y J. Ostal e Una perspectiva naturalizada del concepto de informaci on en el sistema nervioso Moreno X. Barandiaran y A. REDES NEURONALES Modelo de conductancia sin aptica para el an alisis de la correlaci on de actividad entre neuronas de integraci on y disparo F.J. Veredas y H. Mesa RNA + SIG: Sistema autom atico de valoraci on de viviendas N. Garc a Rubio, M. G amez Mart nez y E. Alfaro Cort es Cr ticos de arte articiales J. Romero, P. Machado, B. Manaris, A. Santos, A. Cardoso y M. Santos
124
130
140
146 152
194
207 219
231
XIII
Topos: Reconocimiento de patrones temporales en sonidos reales con redes neuronales de pulsos P. Gonz alez Nalda y B. Cases COMPUTACION EVOLUTIVA Y ALGORITMOS GENETICOS Posprocesamiento morfol ogico adaptativo basado en algoritmos gen eticos y orientado a la detecci on robusta de humanos E. Carmona, J. Mart nez-Cantos y J. Mira Mejora param etrica de la interacci on lateral en computaci on acumulativa J. Mart nez-Cantos, E. Carmona, A. Fern andez-Caballero y Mar a T. L opez Aprendizaje de reglas difusas ponderadas mediante algoritmos de estimaci on de distribuciones L. delaOssa, J.A. G amez y J.M. Puerta Sociedad h brida: Una extensi on de computaci on evolutiva interactiva J. Romero, P. Machado, A. Santos y M. Santos ROBOTICA Y SISTEMAS AUTONOMOS Veh culos Inteligentes: Aplicaci on de la visi on por computador C. Hilario, J.M. Collado, J.P. Carrasco, M.J. Flores, J.M. Pastor, F.J. Rodr guez, J.M. Armingol y A. de la Escalera Localizaci on basada en l ogica difusa y ltros de Kalman para robots con patas F. Mart n, V. Matell an, P. Barrera y J.M. Ca nas Reexiones sobre la utilizaci on de robots aut onomos en tareas de vigilancia y seguridad J.R. Alvarez S anchez, J. Mira y F. de la Paz L opez De simb olicos vs. subsimb olicos, a los robots etoinspirados J.M. Ca nas y V. Matell an Arquitectura cognitiva para robots aut onomos basada en la integraci on de mecanismos deliberativos y reactivos J.A. Becerra, F. Bellas y R.J. Duro Modelizaci on cualitativa para integraci on plurisensorial en un robot AIBO D.A. Graullera, S. Moreno y M.T. Escrig SISTEMAS MULTIAGENTE Y ARQUITECTURAS PARA LA INTELIGENCIA ARTIFICIAL La arquitectura Acromovi: Una arquitectura para tareas cooperativas de robots m oviles P. Nebot y E. Cervera
243
249
262
274 286
298
310
322 332
345 357
365
XIV
Desarrollo de un sistema inteligente de vigilancia multisensorial con agentes software J. Pav on, J. G omez-Sanz, J.J. Valencia-Jim enez y A. Fern andezCaballero Simulaci on de sistemas sociales con agentes software J. Pav on, M. Arroyo, S. Hassan y C. Sansores La aplicaci on de modelos de consciencia articial en los sistemas multiagente R. Arrabales Moreno y A. Sanchis de Miguel Una arquitectura multi-agente con control difuso colaborativo para un robot m ovil B. Innocenti, B. Lopez y J. Salvi
377 389
401
413
VOLUMEN II
E INTELIGENCIA BIO-INSPIRADAS PERCEPCION Una arquitectura bioinspirada para el modelado computacional de los mecanismos de atenci on visual selectiva J. Mira, A.E. Delgado, M.T. L opez, A. Fern andez-Caballero y M.A. Fern andez Interacci on con seres simulados: Nuevas herramientas en psicolog a experimental C. Gonz alez Tard on Niveles de descripci on para la interpretaci on de secuencias de v deo en tareas en vigilancia M. Bachiller Mayoral, R. Mart nez Tom as, J. Mira y M. Rinc on Zamorano Principios din amicos en el estudio de la percepci on M.G. Bedia, J.M. Corchado y J. Ostal e Memoria y organoterapia J.P. Molt o Ripoll y M. Llopis De la neurociencia a la sem antica: Percepci on pura, cognici on y modelos de estructuraci on de la memoria M. Fern andez Urquiza Y RECONOCIMIENTO DE PATRONES CLASIFICACION Clasicaci on de est mulos somatosensoriales basada en codicaci on temporal de la informaci on J. Navarro, E. S anchez y A. Canedo
425
438
482
488
XV
Reconocimiento de objetos de forma libre y estimaci on de su posicionamiento usando descriptores de Fourier E. Gonz alez, V. Feli u, A. Ad an y L. S anchez 500 Vericaci on o-line de rmas manuscritas: Una propuesta basada en snakes y clasicadores fuzzy S J.F. V elez, A. anchez, A.B. Moreno y J.L. Esteban 512 Boosting con reutilizaci on de clasicadores d ebiles J.J. Rodr guez y J. Maudes 524 An alisis de escenas 3D: Segmentaci on y grafos de situaci on A. Ad an, P. Merch an y S. Salamanca 536 Clasicaci on de cobertura vegetal usando wavelets O. Mayta, R. Reynaga y L. Alonso Romero 548 Regresi on log stica con construcci on de caracter sticas mediante Boosting J. Maudes y J.J. Rodr guez 558 Extracci on de l neas mel odicas a partir de im agenes de partituras musicales S A. anchez, J.J. Pantrigo y J.I. P erez 564 La visi on articial y las operaciones morfol ogicas en im agenes binarias J. C aceres Tello 570 RAZONAMIENTO FORMAL Una comparativa entre el algebra de rect angulos y la l ogica SpPNL A. Morales y G. Sciavicco 576 Deducci on y generaci on de modelos de cardinalidad nita Nepomuceno Fern A. andez, F. Soler Toscano y F.J. Salguero Lamillar 588 Programando con igualdad similar estricta G. Moreno y V. Pascual 600 RAZONAMIENTO APROXIMADO Y RAZONAMIENTO BAYESIANO BayesChess: Programa de ajedrez adaptativo basado en redes bayesianas A. Fern andez Alvarez y A. Salmer on Cerd an 613 Un nuevo algoritmo de selecci on de rasgos basado en la Teor a de los Conjuntos Aproximados Y. Caballero, R. Bello, D. Alvarez, M.M. Garcia y A. Balt a 625 La Teor a de los Conjuntos Aproximados en la edici on de conjuntos de entrenamiento para mejorar el desempe no del m etodo k-NN Y. Caballero, R. Bello, Y. Pizano, D. Alvarez, M.M. Garcia y A. Balt a 637 HEUR ISTICAS Y METAHEUR ISTICAS Ajuste din amico de profundidad en el algoritmo (DDA ) D. Micol y P. Suau
646
XVI
TRADINNOVA: Un algoritmo heur stico de compra-venta inteligente de acciones I.J. Casanova y J.M. Cadenas Hibridaci on entre ltros de part culas y metaheur sticas para resolver problemas din amicos S J.J. Pantrigo, A. anchez, A.S. Montemayor y A. Duarte Modelado del coordinador de un sistema meta-heur stico cooperativo mediante SoftComputing J.M. Cadenas, R.A. D az-Valladares, M.C. Garrido, L.D. Hern andez y E. Serrano Localizaci on en redes mediante heur sticas basadas en soft-computing M.J. Can os, C. Ivorra y V. Liern INCERTIDUMBRE Y LOGICA DIFUSA Razonamiento abductivo en modelos nitos mediante C-tablas y -resoluci on Nepomuceno-Fern F. Soler-Toscano, A. andez, A. Aliseda-Llera y A.L. Reyes-Cabello Evaluaci on parcial de programas l ogicos multi-adjuntos y aplicaciones P. Julian, G. Moreno y J. Penabad An alisis del movimiento basado en valores de permanencia y l ogica difusa J. Moreno-Garcia, L. Rodr guez-Ben tez, A. Fern andez-Caballero y Mar a T. L opez Estrategias cooperativas paralelas con uso de memoria basadas en Soft Computing C. Cruz, D. Pelta, A. Sancho Royo y J.L. Verdegay Ret culos de conceptos multi-adjuntos J. Medina, M. Ojeda Aciego y J. Ruiz Calvi no Descripci on ling u stica de trayectorias de objetos obtenidas directamente de v deo MPEG L. Rodr guez Ben tez, J. Moreno-Garcia, J. Castro-Schez y L. Jim enez LENGUAJE NATURAL Evaluaci on de la selecci on, traducci on y pesado de los rasgos para la mejora del clustering multiling ue S. Montalvo, A. Navarro, R. Mart nez, A. Casillas y V. Fresno Etiquetaci on morfol ogica y autom atica del espa nol mediante mecanismos de aprendizaje computacional y toma de decisiones J.M. Alcaraz y J.M. Cadenas M axima verosimilitud con dominio restringido aplicada a clasicaci on de textos J.A. Ferrer y A.J. C scar
655
667
679 689
699 712
725
739 751
763
769
779
791
XVII
Resoluci on con datos ling u sticos de un problema de decisi on M.S. Garcia, M.T. Lamata Teor as del lenguaje: Alcance y cr tica F. Ure na Rodr guez AUTOMATICA TRADUCCION Traducci on m ultiple con transductores de estados nitos a partir de corpus biling ues M.-T. Gonz alez y F. Casacuberta Algunas soluciones al problema del escalado en traducci on autom atica estad stica D. Ortiz-Mart nez, I. Garc a-Varea y F. Casacuberta B usqueda de alineamientos en traducci on autom atica estad stica: Un nuevo enfoque basado en un EDA L. Rodr guez, I. Garc a-Varea y J.A. G amez An alisis te orico sobre las reglas de traducci on directa e inversa en traducci on autom atica estad stica J.A. Ferrer, I. Garc a-Varea y F. Casacuberta INTELIGENTES TECNOLOG IAS DE INTERACCION Interfaces de usuario inteligentes: Pasado, presente y futuro V. L opez Jaquero, F. Montero, J.P. Molina y P. Gonz alez Y OPTIMIZACION PLANIFICACION An online algorithm for a scheduler on the Internet C. Gomez, M. Solar, F. Kri, V. Parada, L. Figueroa y M. Marin
804 815
821
830
843
855
868
874
Contribuciones
Resumen. El estudio de las preferencias, valores y actitudes de las personas y la forma en que las mquinas podran reflejar estos sentimientos, es de gran importancia para construir agentes inteligentes. Las personas expresamos nuestras opiniones y actitudes de una forma que todava no ha podido ser modelada. Nos caracterizamos, entre otras cosas, por se capaces de actuar en situaciones de gran incertidumbre. En este trabajo se presentan los principales tipos de incertidumbre lingstica que se han estudiado y las diferentes alternativas que se han propuesto para su medicin y manejo. La teora de conjuntos difusos a travs de la definicin de funciones de pertenencia, permite reflejar adecuadamente estos tipos de incertidumbre lingstica. Sin embargo, cuando se trata de estudiar propiedades como las opiniones y las actitudes, para las que no se dispone de un referente fsico o psicolgico claro, aparecen mltiples problemticas que todava no se han sabido responder. Palabras Clave: incertidumbre, vaguedad, difuso, funciones de pertenencia, medicin de actitudes, toma de decisiones, escalabilidad, trminos lingsticos
Introduccin
A lo largo de la historia de la Inteligencia Artificial (IA) se han defendido diferentes posturas acerca de la relacin entre la IA y la inteligencia natural. Esta discusin se ha visto en gran parte limitada y condicionada a la postura reinante en el momento en torno a la relacin entre mente y cuerpo. Esta dependencia fue superada inicialmente optando por un posicionamiento conductista: para Turing la inteligencia viene determinada por aquello que se puede hacer y aquello que no se puede hacer; un nohumano se puede considerar inteligente si interactuando con otro humano, un tercero que est observando la conversacin, no es capaz de distinguirlos en su habilidad verbal. Esta definicin, a pesar de suponer una superacin de la postura mentalista, prestaba la limitacin de dejar en su propia definicin circular el criterio para determinar qu se poda considerar inteligente. Se avanz en esta postura a partir de la introduccin de Dennet del concepto de intencionalidad: una conducta es intencionada cuando forma parte de un patrn de conductas racionales, viniendo la racionalidad dada por la eleccin de la mejor alternativa a la luz de conocimiento que se posee y
A. Fernndez-Caballero, M.G. Manzano, E. Alonso & S. Miguel (Eds.): CMPI-2006, pp. 1-11, 2006. Universidad de Castilla-La Mancha, Departamento de Sistemas Informticos, Albacete (Espaa).
de la situacin en la que se desarrolla [1]. Son principalmente los intereses, las actitudes, opiniones y valores que tiene una persona, los que dan cierta unidad, coherencia y predecibilidad a su forma de comportarse. No slo es importante para la IA que una mquina sea capaz de expresar actitudes, sino que sea capaz de reconocerlas en las personas y adaptar su comportamiento a dicha informacin. En Ciencias Sociales, este mbito de estudio se conoce como habilidades sociales [2]. Las habilidades sociales no son meramente un conjunto de protocolos de forma de comportarse que una mquina podra aplicar teniendo en cuenta nicamente claves estimulares (como tipo de persona y situacin) y un conjunto de criterios a maximizar a corto y largo plazo. Uno de los aspectos ms importantes es la asertividad, vinculada a que a partir del contenido verbal y no verbal del comportamiento del agente, se puedan inferir sus valores, actitudes, intereses y objetivos en la vida. Esto es lo que realmente da autenticidad, coherencia y racionalidad a su forma de comportarse. A nivel verbal, las personas nos caracterizamos por utilizar un nmero relativamente reducido de trminos lingsticos, adecuando el nivel de informacin transmitido a las necesidades de la situacin, y consiguiendo al mismo tiempo que nuestro mensaje sea correctamente entendido [3]. Se habla de que las personas somos capaces de manejar adecuadamente la incertidumbre que rodea al uso e interpretacin de los trminos lingsticos en nuestras conversaciones diarias. La Teora de Conjuntos Difusos (TCD) de Zadeh [4] se ha mostrado especialmente til a la hora de representar trminos lingsticos y operar con stos trminos bajo condiciones de incertidumbre. Sin embargo, la construccin de conjuntos difusos para trminos lingsticos como agresivo, bonito, atractivo y otros para los que no se dispone de un referente, presentan dificultades aadidas. En la mayor parte de los trabajos sobre conjuntos difusos se hace referencia a trminos lingsticos como alto, para los que se dispone como referente la longitud medida en centmetros o metros. Cuando se aborda el estudio de las preferencias hacia objetos sociales el principal problema que aparece es la ausencia de un referente claro que permita construir los conjuntos difusos y de esta forma poder modelar cmo las personas manejamos la incertidumbre lingstica. En este trabajo se presenta una propuesta para resolver este problema: inicialmente se construye un referente a partir del grado de preferencia que tienen los sujetos hacia un conjunto de objetos y posteriormente se construyen los conjuntos difusos. Este proceso se puede hacer iterativo hasta que se consiga representar adecuadamente la informacin que se dispone. Este trabajo se organiza como sigue: en la seccin 2 se hace una revisin del estudio de diferentes tipos de incertidumbre lingstica, centrndose esta revisin en la distincin entre los conceptos de vaguedad, ambigedad, generalidad y difuso. En la seccin 3 se revisa la metodologa para construir conjuntos difusos y medir funciones de pertenencia. Por ltimo, se finaliza exponiendo varias conclusiones y lneas de investigacin futuras.
Cuantificacin de la vaguedad
La vaguedad de un trmino lingstico se relaciona con el grado en que tal trmino es aplicable a una serie de objetos [5]. Muy vinculado a la vaguedad se encuentra la generalidad, ambos reflejan diferentes aspectos del hecho de que un mismo trmino sea aplicado a diferentes objetos. La generalidad se ha relacionado con la precisin con que se realiza una medida ([5]; [6, p. 11-12]). Para hacer clara la distincin entre generalidad y vaguedad, consideremos un conjunto de objetos que presentan la misma cantidad de atributo y otro conjunto de objetos que presentan diferente cantidad de atributo. Dentro de cada conjunto, todos los objetos presentan la misma cantidad de atributo, de tal manera que todos presentaran la misma vaguedad ya que con la misma propiedad se les podra aplicar un trmino para reflejar tal cantidad de atributo; sin embargo, a la hora de medir la cantidad atributo de los objetos incluidos en dicho conjunto (presuponiendo que todos los objetos lo presentan en igual cantidad), las variaciones en los valores atribuidos a dichos objetos, seran debidas a la falta de precisin del instrumento de medida y no al hecho de que tal atributo fuera vago. Sin embargo, cuando comparamos dos objetos pertenecientes a dos conjuntos diferentes, y por tanto presentando diferente cantidad de atributo, la vaguedad aparecera en cuanto hasta que punto es ms licito aplicar el trmino que representa el atributo a un objeto frente a otro. Por tanto, la vaguedad aparece en cuanto un mismo trmino es utilizado para designar a objetos que presentan diferente cantidad de atributo, siendo ms licito aplicarlo en unos casos que en otros. Sin embargo, el problema de la vaguedad se hace an ms patente cuando nos preguntamos por cual es el dominio de objetos a los que es extensible un trmino. Si suponemos un conjunto de referencia compuesto por todos los objetos posibles, habr objetos para los que ser muy adecuado aplicar el trmino y otros para los que ser tambin claro no aplicarlo. Tales objetos coincidirn con aquellos que presentan mayor cantidad de atributo y aquellos que presentan menor cantidad de l, pero para los objetos que presenten cantidades intermedias de atributo, la vaguedad se podr de manifiesto en cuanto hasta que punto es ms lcito aplicar dicho trmino o dejar de aplicarlo. Peirce ([7], [8]) considera que la vaguedad de un trmino procede del uso que los sujetos hacen de l. Esto ha llevado a considerar la consistencia con que se aplica un trmino a un conjunto de objetos, como una buena estimacin de la vaguedad del mismo.
2.1
Black (1937)
Trata de cuantificar la definicin de Peirce ([7], [8]), considerando que la consistencia es un buen ndice de la vaguedad de un trmino. Se considera que habr objetos para los que la aplicacin de un trmino producir pocas variaciones a lo largo de los sujetos que hacen uso de l, de tal manera que tal consistencia nos permitir decidir si ese conjunto de objetos constituye el dominio de aplicabilidad del trmino o bien no.
Consideremos un conjunto de objetos S={s} y un trmino dado T. La consistencia (C) con que dicho trmino se aplica a cada uno de dichos objetos dentro de una poblacin de sujetos, se puede estimar a partir de una muestra de estos, calculando la razn entre el nmero de sujetos que utilizan T para designar a s (M) y el nmero de aquellos que no lo hacen (N), de tal manera que cuanto ms se acerque el tamao de esta muestra al de la poblacin ms cerca estar este valor del presente en dicha poblacin: M Lim (1) C( T , s ) M N'
N' Para un trmino T dado tendremos un valor C(T,s) para cada objeto s de S, de tal manera que si representamos grficamente cada uno de los valores de consistencia que adoptan los diferentes objetos s, de forma hipottica tendremos una representacin como sigue:
En este grfico se pueden diferenciar tres zonas: (a-b), (b-c) y (c-d). La primera de ellas se puede considerar que constituye el dominio de aplicablidad de T, debido a que en esta zona todos los s de S tienen un valor C(T,s) claramente mayor que 1. De igual manera, la tercera zona constituye el dominio de no aplicabilidad de T. La zona intermedia es definida como la zona en la que el trmino presenta mayor ambigedad, ya que se trata de la zona para la que los s de S adoptan valores de C(T,s) cercanos a 1 y en consecuencia existe aproximadamente el mismo nmero de sujetos que considera aplicable y no aplicable el trmino a dichos objetos. Para hacer una estimacin global del grado en que un trmino es vago, Black [5] considera que la pendiente de la recta que pasa por b y c es una buena estimacin global del grado de vaguedad de dicho trmino. De esta manera, cuanto mayor es la pendiente menor es el grado de vaguedad de ese trmino, ya que la suma de los objetos incluidos en (a-b) y (c-d) tendern a ser igual al nmero de objetos que componen S. En el caso de que la pendiente de la recta fuese infinita se tendra una divisin crispiana o ntida entre el conjunto de objetos s a los que son aplicables el trmino T y aquellos objetos a los que no es aplicable T (el segmento b-c sera perpendicular). En
esta situacin tambin ocurrira que todos los objetos incluidos en estos conjuntos tendran el mismo grado de vaguedad (los segmentos a-b y c-d seran horizontales). Si en vez de un trmino, tenemos varios (T={Ti, ...,Tn}), stos podrn ser caracterizados por los valores de consistencia que adoptan para cada objeto s de S. De este modo podremos hablar de Ti (s, ci) y en consecuencia tambin de la consistencia con que se aplica a dicho objetos un trmino que sea de forma perfecta opuesto a T. Denominemos al opuesto de T como noT. Aqu hacemos la distincin entre la no aplicabilidad de T y la aplicabilidad de noT. Por ejemplo, no es lo mismo decir que una cosa no es roja a decir que esa cosa tiene el color opuesto al rojo. Black [5] postula que dicha consistencia ser la inversa de la consistencia con que se aplica T, es decir:
C( T , s )
1 C( notT , s )
(2)
De este modo para cualquier objeto s de S el producto de la consistencia con que se le aplica un termino T frente a la consistencia de su opuesto, ser igual siempre a uno.
C( T , s ).C( notT , s ) 1
(3)
A la hora de contrastar empricamente este modelo nos encontramos con varias dificultades: - En primer lugar: la medida de consistencia no est acotada, de tal manera que ello dificulta la interpretabilidad de sus valores. - En segundo lugar: para poder hablar en trminos globales del grado de vaguedad de un trmino es necesario definir una mtrica sobre los elementos de S de modo que puedan ser ordenados dentro del eje de abscisas, de no ser as la localizacin de los objetos en tal eje sera totalmente arbitraria y el calculo de dicha pendiente se hara imposible. Una segunda solucin la constituye suponer una determinada relacin entre la consistencia con que se aplica un trmino a un objeto y su posicin en el eje de abscisas, de tal modo que se puede determinar tanto la consistencia global con que se aplica el trmino como la posicin de cada uno de los objetos sobre S.
2.2
Hempel (1939)
Retoma el trabajo iniciado por Black [5] y realiza una serie de modificaciones en cuanto al clculo de la consistencia con que se aplica un trmino. Lim M M C( T , s ) M N' N' Con estas modificaciones consigue que los valores que adopta C(T, s) estn acotados, al estar comprendidos entre [0, 1]. Ahora el objeto s que presentar una mayor vaguedad ser aquel para el que C(T, s) sea igual a 0,5.
Por otro lado, Hempel [9] trata de solucionar el problema de la necesidad de definir un orden en S, expresando el grado de consistencia global con que es aplicado un trmino, a partir de un ndice del grado promedio en que los valores de consistencia que adoptan los objetos de S se alejan del valor 0,5. Hempel [9] habla de precisin con que se utiliza un trmino, sin embargo tal aspecto se relaciona con el concepto de generalidad, por lo que hablaremos de consistencia global como un promedio de la consistencia con que un trmino se aplica a los diferentes objetos de los que se compone el conjunto S, es decir, C(T,S).
4 N 1 C( T , s k ) N k 1 2 Donde N representa el nmero de elementos presentes en S. Vemos que tal expresin es totalmente independiente de cualquier mtrica definible en S. La vaguedad del trmino vendr dada por el complemento de la consistencia, es decir: vg 1 C( T , S ) Black [5] afirmaba que la consistencia con que se aplicaba un trmino a un objeto era inversamente proporcional a la consistencia con que se aplicaba su trmino opuesto en significado a ese mismo trmino. Vamos a ver si tal afirmacin se puede mantener dentro de las expresiones de Hempel [9]. Si partimos de que M representa el nmero de sujetos que en una poblacin aplican el trmino T a un objeto s y de que N es el nmero de sujetos que no aplican ese trmino al objeto s, podemos identificar C(T, s) con M y C(noT, s) con N. De esta forma, la suma de M y N constituyen el nmero de sujetos presentes en dicha poblacin. Para hacer tal suposicin es necesario considerar que la respuesta del sujeto es dicotmica, es decir, o bien dice que T es aplicable a s o bien dice que no es aplicable. Desde el punto de vista que estamos tratando el tema resulta razonable hacer tal suposicin, al estar hablando en trminos de si el sujeto aplica o no aplica ese trmino. Por lo tanto, vamos a considerarlo como un acto que se da en s y no vamos a entrar en analizar como se podra medir, en cuyo caso, tal suposicin, dependiendo de la tarea a emplear, podra cuestionarse. Si utilizamos la expresin de Black [5], tendremos que: 1 M N' C( T , s ) C( T , s ) C( noT , s ) N' M C( noT , s ) En el caso de Hempel (1939) nos encontramos con la siguiente situacin: M N' C( T , s ) C( noT , s ) M N' M N' M N' C( T , s ) C( noT , s ) 1 M N' C( T , s ) 1 C( noT , s )
C( T , S )
2
En lo que se refiere a la consistencia global con que se aplica el opuesto de un trmino, partiendo de la expresin anterior podemos expresarlo del siguiente modo:
C( noT , S )
N
k 1