190 likes | 303 Views
COMPLEXITY THINKING: THE NON-CLASSICAL LOGICS. Carlos Eduardo Maldonado Full Professor Universidad del Rosario. TRIVIALITY, NON-TRIVIALITY. TRIVIAL Universal sentences Direct implications Common useful rods. NON-TRIVIAL Particular, i . e. singular sentences
E N D
COMPLEXITY THINKING:THE NON-CLASSICAL LOGICS Carlos Eduardo Maldonado Full Professor Universidad del Rosario
TRIVIALITY, NON-TRIVIALITY • TRIVIAL Universal sentences Directimplications Commonusefulrods • NON-TRIVIAL Particular, i. e. singular sentences Parallel, indirect, free… implications Creationofnewtoolsandapproaches
THE CASE FOR A THEORY OF COMPLEXITY {Undertermined theories {Paraconsistenttheories {Inconsistenttheories {consistenttheory}}}} {Ut{Pt{It{Ct}}}}
Relationships Between Microcospic and macroscopic Universe P versus N-P Problems Dynamic Systems
PROBLEMS IN NCLs (1) • Multideductive Systems • Non respecttotheprinciple of idempotency • Multiplenegations (multimodal systems) • Inconsistencies, Paradoxes • DifferentContextsand Planes
PROBLEMS IN NCLs (2) • Possiblealternativeoutcomes (possibleandimpossibleworlds) (Cohomology) • Topologicalinterpretations • Branching time logic • Negative free logics (NFL) • Nonmonotonicreasoning • Many-Valued Sets
PROBLEMS IN NCLs (3) • Thereis no OneTrueLogic • Works withMany-Valued Sets, AgentsandContexts • Theacknowledgmentthat times modifiesthetruthorfalsityof a statement • Probabilityanddeviantreasonings
COMPUTATION AND THINKING • Computation • P and N-P Problems • Unconventionalcomputation • Computational Complexity • Algorithmic Complexity • IntuitionBubbles • Paraconsistent Logics • Relevant Logics • Quantum Logics • Time Logics • Many-Valued Logics • Epistemic Logics • Fuzzy Logics
METAHEURÍSTICAS Métodos clásicos Heurísticas METAHEURÍSTICAS Metaheurísticas híbridas Metaheurísticas paralelas y distribuidas Hiperheurísticas • configuración: • Instanciar módulos • Afinar parámetros Metaheurísticas multinivel • Problema estructural • Problema paramétrico Metaheurísticas auto-adaptativas Personalización de metaheurísticas • Computación no convencional Afinamiento de metaheurísticas • Aprendizaje de máquina
LÓGICAS NO CLÁSICAS Lógicas No Clásicas_ (Lógicas filosóficas)_ Lógicas polivalentes Lógica difusa Lógica paraconsistente Lógica formal clásica Lógica de contrafácticos Lógica epistémica Lógica de la relevancia Lógica libre Lógica del tiempo Lógica modal Lógica de fabrica Lógica cuántica Lógica deóntica
Relaciones entre el universo macroscópico y microscópico Relaciones entre el universo macroscópico y el universo microscópico Problemas ¿P = NP? Problemas ¿P = NP? Sistemas dinámicos Sistemas dinámicos
COMPUTATIONAL COMPLEXITY Two Types of Problems Decidibles Undecidibles Cannot be solved algorithmically, No pueden resolverse even with unlimited or infinte time and space resources P N-P Difficult Problems Relevant Easy – Irrelevant Problems • Hypercomputation • Un-conventional Computation Complete N-P Hard N-P • Simulation • Metaheuristics
COMPLEJIDAD COMPUTACIONAL Dos tipos de problemas Decidibles Indecidibles No pueden resolverse algorítmicamente, incluso con recursos de tiempo y espacio ilimitados P N-P Problemas Difíciles: Relevantes Problemas fáciles: Irrelevantes • Hipercomputación • Computación no-convencional N-P Completos N-P Difíciles • Simulación • Metaheurísticas
COMPUTACIÓN NATURAL Computación Natural Computación inspirada por la naturaleza Síntesis de fenómenos naturales en computadores Computación con nuevos materiales naturales Computación cuántica Redes neuronales naturales Computación evolutiva Inteligencia de enjambre Sistemas inmunes artificiales Geometría fractal Vida artificial Computación con ADN
MODELAMIENTO Y SIMULACIÓN Modelo Modelamiento Simulación Sistema Real (mundo real) Computador Aplicación Comprensión
COMPLEXIFYING • Studying, understanding, intervening A Pproblem as/towardsanN-Pproblem
LA NATURALEZA ES DISCRETA • Las ciencias de la complejidad son ciencias de fenómenos discretos, o también • Ciencias en la interface entre discreción y continuidad
Lógicas No Clásicas (Lógicas filosóficas) Lógicas No Monotónicas Lógicas Probabilísticas Lógicas polivalentes Lógica difusa Lógica paraconsistente Lógica formal clásica Lógica de contrafácticos Lógica epistémica Lógica de la relevancia Lógica libre Lógica del tiempo Lógica modal Lógica de fabrica Lógica cuántica Lógica deóntica Alternativas a la lógica clásica Extensiones a la lógica clásica