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
Ver más información Ver menos información
Dirección:
BULNES 642, 1176 - Capital Federal - Argentina
Ver mapa
Resumen Información suministrada por el agente en SIGEVA
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 fo... 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.
Ver más Ver menos
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.1 - Electrónica y microelectrónica

  • 1.1.1 - Automatización, sistemas robóticos de control

1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo

  • 1.2.3 - Inteligencia artificial (IA)
  • 1.2.5 - Hardware
  • 1.2.6 - Software
  • 1.2.10 - Bases de datos, gestión de bases de datos, extracción de datos

1.4 - Multimedia

  • 1.4.2 - Tele-enseñanza (e-Learning)

1.6 - Circuitos electrónicos, componentes y equipos

  • 1.6.2 - Ingeniería electrónica
  • 1.6.3 - Sistemas embebidos y sistemas en tiempo real
  • 1.6.10 - Circuitos impresos y circuitos integrados
  • 1.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

Formación de RRHH
Dirigido por:
CRESTO, ELEONORA BEATRIZ
Carrera Investigador
CRESTO, Eleonora Beatriz Carrera Investigador
Codirigido por:
PAILOS, FEDERICO MATIAS
Carrera Investigador
PAILOS, Federico Matias Carrera Investigador
Cargando sección Producción CyT...
Cargando sección Oferta Tecnológica...
Contacto
Enviar Mensaje