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) Depends on
Address:
BULNES 642, 1176 - Capital Federal - Argentina

Contact:

Send Message

S&T Expertise*

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. *Information provided by the agent in SIGEVA

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. Electronics, Microelectronics
      • 1.1. Automation, Robotics Control Systems
    • 2. Information Processing, Information System, Workflow Management
      • 2.3. Artificial Intelligence
      • 2.5. Computer Hardware
      • 2.6. Computer Software
      • 2.10. Databases, Database Management, Data Mining
    • 4. Multimedia
      • 4.2. E-Learning
    • 6. Electronic circuits, components and equipment
      • 6.2. Electronic engineering
      • 6.3. Embedded Systems and Real Time Systems
      • 6.10. Printed circuits and integrated circuits
      • 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


Directed by
CRESTO, ELEONORA BEATRIZ
Scientific Research Career at CONICET
Co-directed by
PAILOS, FEDERICO MATIAS
Scientific Research Career at CONICET

Science and Technology Production

Loading data . . .

Services

Loading data . . .