CONICET Community
TORANZO CALDERÓN, JOAQUÍN SANTIAGO
BECA INTERNA DOCTORAL EN EL MARCO DE PROYECTOS DE INVESTIGACIÓN DE UNIDADES EJECUTORAS
SPECIALITY:
Lógica e Inteligencia ArtificialScientific discipline:
Filosofía - Informática y ComunicacionesTopic:
Probadores Automáticos de Teoremas para Lógicas No Clásicas Subestructurales . Automated Theorem Proving for Substructural non-classical LogicsWorkplace
INSTITUTO DE INVESTIGACIONES FILOSOFICAS (IIF, CONICET-SADAF) Depends on
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
- SOCIEDAD ARG.DE ANALISIS FILOSOFICO (SADAF)
| Address: | |
| BULNES 642, 1176 - Capital Federal - Argentina |
Contact:
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 SIGEVALines of Investigation
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
Technological Capacities
- 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
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
CRESTO, ELEONORA BEATRIZ
Scientific Research Career at CONICET
PAILOS, FEDERICO MATIAS
Scientific Research Career at CONICET
Science and Technology Production
Loading data . . .
Services
Loading data . . .