1. CONICET
  2. CONICET Community
  3. JOAQUÍN SANTIAGO TORANZO CALDERÓN
CONICET Community
TORANZO CALDERÓN, JOAQUÍN SANTIAGO

Internal doctoral fellowship within the framework of research projects of implementation units

Speciality
Lógica e Inteligencia Artificial
Scientific discipline
Philosophy - Computer Science and Communications
Topic
Automated Theorem Proving for Substructural non-classical Logics
Workplace
INSTITUTO DE INVESTIGACIONES FILOSOFICAS (IIF, CONICET-SADAF)
Dependencies
Show more information Show less information
Address:
BULNES 642, 1176 - Capital Federal - Argentina
Show map
Summary Information provided by the agent in 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.
Show more Show less
Lines of Investigation

Lógica - Filosofía de la Lógica

Humanities

  • Philosophy, ethics and religion
  • Philosophy, history and philosophy of science and technology

Inteligencia Artificial y Robótica

Engineering and technologies

  • Electrical engineering, electronic engineering and information engineering
  • Automatic control and robotics
Technological Capacities

1 - Electronics, IT and Telecoms

1.1 - Electronics, Microelectronics

  • 1.1.1 - Automation, Robotics Control Systems

1.2 - Information Processing, Information System, Workflow Management

  • 1.2.3 - Artificial Intelligence
  • 1.2.5 - Computer Hardware
  • 1.2.6 - Computer Software
  • 1.2.10 - Databases, Database Management, Data Mining

1.4 - Multimedia

  • 1.4.2 - E-Learning

1.6 - Electronic circuits, components and equipment

  • 1.6.2 - Electronic engineering
  • 1.6.3 - Embedded Systems and Real Time Systems
  • 1.6.10 - Printed circuits and integrated circuits
  • 1.6.12 - Semiconductors
Key Words
NON CLASSICAL LOGICSPLURALISMO LOGICOSUBSTRUCTURAL LOGICSLOGICAS NO CLASICASINTELIGENCIA ARTIFICIALARTIFICIAL INTELIGENCELOGICAL PLURALISMLOGICAS SUBESTRUCTURALES
Education

2009 - 2016

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

FACULTAD DE FILOSOFIA Y LETRAS, UNIVERSIDAD DE BUENOS AIRES

HR Training
Directed by:
CRESTO, ELEONORA BEATRIZ
Scientific Research Career at CONICET
CRESTO, Eleonora Beatriz Scientific Research Career at CONICET
Co-directed by:
PAILOS, FEDERICO MATIAS
Scientific Research Career at CONICET
PAILOS, Federico Matias Scientific Research Career at CONICET
Loading section Science and Technology Production...
Loading section Services...
Contact
Send Message