| Título: | On the Correction of Faulty Formulae |
| Autores: |
BUNDY , ALAN MONROY BORJA, RAÚL |
| Fecha: | 1969-12-31 |
| Publicador: | Revistas UNAM |
| Fuente: |
 |
| Tipo: | |
| Tema: | ABDUCCION; DEMOSTRACION DE TEOREMAS; SINTESIS Y TRANSFORMACION DE PROGRAMAS; PLANIFICACION DE DEMOSTRACIONES |
| Descripción: |
WE PRESENT AN ABDUCTION MECHANISM CAPABLE OF CORRECTING FAULTY FORMULAE. A FORMULA, G, IS SAID TO BE FAULTY IF IT IS NOT DERIVABLE FROM A THEORY, WRITTEN, BUT WE INTEDED IT TO E. GIVEN A THOERY, AND A FAULTY FORMULA,G, THE MECHANISM AIMS TO BUID A CIRECTIVE CONDITION, P, THAT TRANSFORMS G INTO A THEOREM, . THE MOTHOD IMPOSES RESTRICTIONS UPON THE QUALITY OF A CORRECTIVE CONDITION. THE MECHANISM IS FULLY AUTOMATIC. IT IS GIVE AS A COLLECTION OF HEURISTICS. EACH HEURISTIC CONTROL CAPTURES THE RESTRICTED WAY IN WHICH THE SEARCH FOR A PROOF OF A FAULTY FORMULA CAN FAIL, AND PROVIDES KNOWLEDGE TO RECOVER FROM SUCH A FAILURE. PRESENTAMOS UN MECANISMO ABDICATIVO CAPAZ DE CORREGIR FORMULAS IMPERFECTAS. UNA FORMULA, G, ES IMPERFECTA SI, CONTRARIO A LO ESPERADO, NO PUEDE DEDUCIRSE DE UNA TEORÍA, EN SÍMBOLOS. DADA UNA TEORÍA Y UNA FORMULA IMPERFECTA, G, EL MECANISMO TIENE COMO OBJETIVO CONSTRUIR UNA CONDICIÓN CORRECTA, P, TAL QUE TRANSFORMA G EN UN TEOREMA. EL MECANISMO IMPONE RESTRICCIONES EN LA CALIDAD DE UNA CONDICIÓN CORRECTIVA. EL MECANISMO ES COMPLETAMENTE AUTOMÁTICO. ESTA DEFINIDO COMO UN CONJUNTO DE HEURÍSTICA. CADA UNA CAPTURA LA FORMA RESTRINGIDA EN COMO LA BÚSQUEDA DE UN PLAN DE DEMOSTRACIÓN PUEDE FALTAR Y PROVEE CONOCIMIENTO PARA RECUPERAR DICHA FALTA. |
| Idioma: | Inglés |
1 Ordered Hunt Schemes for Overlaid CDMA Cellular Systems,Esquemas de ordenamiento en sistemas celulares sobrepuestos CDMA por Castañeda Camacho, J; Benemérita Universidad Autónoma de Puebla, Puebla, México,Lara Rodríguez, D; IPN | 6 Model for Adjustment of Aggregate Forecasts using Fuzzy Logic,Modelo para el ajuste de pronósticos agregados utilizando lógica difusa por Escobar Gómez, E N; Instituto Tecnológico de Tuxtla Gutiérrez Chiapas,Díaz Núñez, J J; Universidad Autónoma de Ciudad Juárez Chihuahua,Taracena Sanz, L F; Instituto Tecnológico de Querétaro, Querétaro |
2 Volatile Organic Compound Emissions from Light-Duty Vehicles During Cold-Starts,Emisiones de compuestos orgánicos volátiles durante arranques en frío de automóviles ligeros por Mendoza Domínguez, A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,León Romero, M A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,Caballero Mata, P | 7 Matrix Formulation of Foundations for Vibrating Machinery in Frequency Domain,Formulación matricial de cimentaciones para maquinaria vibratoria en el dominio de la frecuencia por Carbajal Romero, M F; Instituto Politécnico Nacional. México DF,Rodríguez Castellanos, A; Instituto Mexicano del Petróleo. México DF,Rodríguez Sánchez, J E; Instituto Mexicano del Petróleo. México DF,Flores Méndez, E; IPN |
3 Hydrogen Sorption Properties of the Intermetallic Mg2Ni Obtained by Using a Simoloyer Ball Milling,Propiedades de ab-desorción de hidrógeno del intermetálico Mg2Ni obtenido empleando un molino de bolas Simoloyer por Martínez Franco, E; IPN,Klassen, T; GKSS, Research Center Geesthacht, Germany,Jaramillo Vigueras, D; IPN,Bormann, R; GKSS, Research Center Geesthacht, Germany | 8 Numerical Approach to an Outflow Hydrograph of a Dambreak,Estimación numérica del hidrograma de salida de una presa debido a su ruptura por Fuentes Mariles, O A; Universidad Nacional Autónoma de México,Arganis Juárez, M L; UNAM,De Luna Cruz, F; UNAM,Franco, V; UNAM |
4 Electrical Parameters Extraction of CMOS Floating-Gate Inverters,Extracción de parámetros eléctricos de inversores CMOS de compuerta flotante por Molinar Solís, J E; Universidad Autónoma del Estado de México,Ponce Ponce, V H; IPN,García Lozano, R Z; Universidad Autónoma del Estado de México,Díaz Sanchez, A; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE,Rocha Pérez, j M; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE | 9 Back Work Ratio of Brayton Cycle,La relación de trabajo de retroceso de un ciclo Brayton por Malaver de la Fuente, M; Universidad Marítima del Caribe, Venezuela |
5 Active Rectifier with Extended Functions: An Option to Voltage Sags Ride Through and Power Quality Improvement,Rectificador activo con funciones ampliadas: una alternativa para la compensación de sags de voltaje y mejorar la calidad de la red eléctrica por Núñez Gutiérrez, C A; Universidad Autónoma de San Luis Potosí, SLP,Lira Pérez, J; Universidad Autónoma de San Luis Potosí, SLP,Pazos Flores, F; Universidad Autónoma de San Luis Potosí, SLP,Echavarría Solís, R; Universidad Politécnica de Victoria, Ciudad Victoria, Tamaulipas | 10 Flood Predictions Combining Regional and Single Site Hydrometric Information,Predicción de crecientes combinando información hidrométrica local y regional por Campos Aranda, D F; Universidad Autónoma de San Luis Potosí |