1. CONICET
  2. Comunidad CONICET
  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

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 . . .