1. CONICET
  2. Personas
  3. JOAQUÍN SANTIAGO TORANZO CALDERÓN
Comunidad CONICET

TORANZO CALDERÓN, JOAQUÍN SANTIAGO

BECA INTERNA DOCTORAL EN EL MARCO DE PROYECTOS DE INVESTIGACIÓN DE UNIDADES EJECUTORAS

ESPECIALIDAD:

Lógica e Inteligencia Artificial

Disciplina Científica:

Filosofía - Informática y Comunicaciones

Tema:

Probadores Automáticos de Teoremas para Lógicas No Clásicas Subestructurales . Automated Theorem Proving for Substructural non-classical Logics

Lugar de Trabajo

INSTITUTO DE INVESTIGACIONES FILOSOFICAS (IIF, CONICET-SADAF) Depende de
Dirección:
BULNES 642, 1176 - Capital Federal - Argentina

Contacto:

Enviar Mensaje

Experticia en CyT*

Mi formación en Ingeniería Electrónica me introdujo a la Inteligencia Artificial y la Robótica, áreas que me encuentro trabajando desde el 2013 en la UTN-FRBA con el Grupo de Investigación de IAyR. A la par mi formación en Filosofía me introdujo a la Lógica Contemporánea, disciplina que combiné con mis investigaciones en IAyR para enfocarme en problemas relacionados con el aprendizaje y la comprensión del lenguaje (sintaxis, semántica y pragmática). Por estos motivos me propongo continuar mi formación, dirigiéndola al estudio de sistemas lógicos no clásicos (principalmente subestructurales), dado que permiten ser aplicados a IA y así obtener beneficios a partir de sus consecuencias sociales. *Información suministrada por el agente en SIGEVA

Líneas de Investigación

Lógica - Filosofía de la Lógica HUMANIDADES - Filosofía, Ética y Religión - Filosofía, Historia y Filosofía de la Ciencia y la Tecnología
Inteligencia Artificial y Robótica INGENIERÍAS Y TECNOLOGÍAS - Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información - Control Automático y Robótica

Capacidades Tecnológicas

  • 1. Electrónica, TICs y telecomunicaciones
    • 1. Electrónica y microelectrónica
      • 1.1. Automatización, sistemas robóticos de control
    • 2. Procesado de información, Sistemas de información, Gestión de la carga de trabajo
      • 2.3. Inteligencia artificial (IA)
      • 2.5. Hardware
      • 2.6. Software
      • 2.10. Bases de datos, gestión de bases de datos, extracción de datos
    • 4. Multimedia
      • 4.2. Tele-enseñanza (e-Learning)
    • 6. Circuitos electrónicos, componentes y equipos
      • 6.2. Ingeniería electrónica
      • 6.3. Sistemas embebidos y sistemas en tiempo real
      • 6.10. Circuitos impresos y circuitos integrados
      • 6.12. Semiconductores

Palabras Clave

NON CLASSICAL LOGICSPLURALISMO LOGICOSUBSTRUCTURAL LOGICSLOGICAS NO CLASICASINTELIGENCIA ARTIFICIALARTIFICIAL INTELIGENCELOGICAL PLURALISMLOGICAS SUBESTRUCTURALES

Formación Académica

2009 - 2016

Profesor de Enseñanza Media y Superior en Filosofía

FACULTAD DE FILOSOFIA Y LETRAS, UNIVERSIDAD DE BUENOS AIRES


Dirigido por
CRESTO, ELEONORA BEATRIZ
Carrera Investigador
Codirigido por
PAILOS, FEDERICO MATIAS
Carrera Investigador

Producción CyT

Cargando datos . . .

Oferta Tecnológica

Cargando datos . . .