usted está aquí:  inicio      investigación     Ciencias de la Información  Fundamentos y aplicaciones de la lógica y la programación



Investigación en Ciencias de los Sistemas

Fundamentos y aplicaciones de la lógica y la programación

Grupo
Producción CyT

Resumen:

Esta línea se trabaja en fundamentos lógico-matemáticos de sistemas y de lenguajes de programación, y se desarrollan aplicaciones a sistemas inteligentes de información.

Arquitecturas de Agentes:

Durante la última década, los sistemas multiagente (SMA) han ganado gran interés como nuevo paradigma para modelar sistemas computacionales complejos, en los cuales diferentes agentes autónomos deben resolver metas colectivamente que no podrían alcanzarse mediante un sistema monolítico. Con el objetivo de dar un sustento formal a estos desarrollos se ha visto la necesidad de diseñar distintas arquitecturas. Entre ellas, se han destacado las que se basan en los sistemas intencionales, entre las cuales los modelos BDI (B-belief, D-desire e I-intentions) han sido los más estudiados y desarrollados. En particular, este grupo ha propuesto una arquitectura BDI graduada (g-BDI) para desarrollar agentes que puedan actuar bajo la incertidumbre del entorno y con actitudes mentales graduadas. Actualmente se trabaja en el desarrollo de una arquitectura de agente orientada a entornos dinámicos que involucren información incierta e incompleta, permitiendo la resolución de conflictos en el conocimiento del agente a través de la argumentación. Se han diseñado casos de estudio de agentes concretos en el dominio del turismo y de la educación que han servido para evaluar la importancia de las actitudes graduadas en la performance del modelo de agente g-BDI.

 

Estructuras Matemáticas en la Programación:

En el grupo creemos que los fundamentos matemáticos de la computación están íntimamente ligados a la programación. Por lo tanto, estudiamos nuevas técnicas de estructurar, calcular, y optimizar programas mediante el estudio de los estructuras matemáticas que los sustentan. Para esto nos basamos en la programación funcional, en lógicas relacionadas a la misma, y en semánticas basadas en teoría de categorías.
En particular estamos investigando la modularidad en la programación basada en estructuras como mónadas, arrows y functores aplicativos, y su aplicación a la construcción modular de intérpretes, compiladores, programas funcionales reactivos y lenguajes de dominio específico, como ser lenguajes para la programación de agentes.


 

Directora:
Presione sobre el nombre para desplegar información
Casali, Ana
Datos de contacto

Email: casali  cifasis-conicet.gov.ar

Otro: acasali  fceia.unr.edu.ar

+54 341 4237248 int. 311 


  Dra. Ana Casali, Profesora Adjunta de UNR

Tema de investigación: Inteligencia artificial. Arquitectura de agentes. Sistemas multiagentes.


Integrantes del Grupo:
Presione sobre el nombre para desplegar información
Jaskelioff, Mauro J.
Datos de contacto

Email: jaskelioff  cifasis-conicet.gov.ar

Otro: mauro  fceia.unr.edu.ar

+54 341 4237248 int. 312 


  Dr. Mauro J. Jaskelioff, Investigador Asistente de CONICET y Profesor Adjunto de UNR

Tema de investigación: Semántica de lenguajes de programación. Programación funcional estructurada.

Pgina web: http://www.fceia.unr.edu.ar/~mauro/index.html

Ceresa, Martín Arnaldo
Datos de contacto

Email: ceresa  cifasis-conicet.gov.ar

Otro: martinceresa  gmail.com

  Lic. Martín Arnaldo Ceresa

Tipo de beca: Doctoral - CONICET

Tema de investigación: Estudio de programas paralelos en Haskell.

Director: Dr. Mauro J. Jaskelioff

Rivas Gadda, Exequiel
Datos de contacto

Email: rivas  cifasis-conicet.gov.ar

Otro: erivas  fceia.unr.edu.ar

+54 341 4237248 int. 353 


  Lic. Exequiel Rivas Gadda

Tipo de beca: Posdoctoral - CONICET

Tema de investigación: Lenguajes embebidos y estructuras

Director: Dra. Ana Casali

Zanarini, Dante
Datos de contacto

Email: zanarini  cifasis-conicet.gov.ar

Otro: dante  fceia.unr.edu.ar

+54 341 4237248 int. 344 


  Lic. Dante Zanarini

Tarea: Modelos de control del flujo de información basado en lenguajes.

Supervisor: Dra. Ana Casali


Artículos (9)
Capítulos de Libros (3)
Libros (1)
Congresos (17)

Artículos
AutoresTítuloPublicado enOtra InformaciónAñoEnlace web
CASALI, A.;
DECO, C.;
ROMANO, A.;
TOMÉ, G.
An Assistant for Loading Learning Object Metadata: an Ontology Based Approach. Interdisciplinary journal of e-learning and learning objects. Vol. 9, p. 77-87. ISSN 1552-22372013
SILVEIRA, I.F.;
OCHOA, X.;
PEREZ CASAS, A.;
CASALI, A .
A digital ecosystem for the collaborative production of open textbooks: the LATIn Methodology.Journal of information technology education: research (jite:research). Information Science Institute. Vol. 12, p. 225-249. ISSN 1547-9714 2013
CASALI, A.;
GERLING, V.;
DECO, C.;
BENDER, C.
Sistema inteligente para la recomendación de objetos de aprendizaje **LACLO 2010 Best Papers**Revista generación digital. , San Martín: Facultad de Ingeniería de la Fundación Universitaría San Martín vol. 9, n° 1, p. 88-95. ISSN 1909-92232011
CASALI, A.;
GODO, L.;
SIERRA, C.
A Language for the Execution of Graded BDI Agents.Logic journal of the igpl (print). Oxford, UK: OXFORD UNIV PRESS2011
CASALI, ANA;
GODO, LLUÍS;
SIERRA, CARLES
A graded BDI agent model to represent and reason about preferences. Artificial intelligence. Amsterdan: ELSEVIER SCIENCE BVvol. 175, p. 1468-1478. 2011 
HUTTON, G.;
JASKELIOFF, M.;
GILL, A.
Factorising Folds for Faster Functions.Journal of functional programming. Cambridge, Reino Unido: Cambridge University Press.vol. 20, n° 3-4, p. 353-3732010
JASKELIOFF, M.;
MOGGI, E.
Monad Transformers as Monoid Transformers.Theoretical computer science. ELSEVIER.Vol. 411, nro. 5152, p. 4441-44662010
CASALI, A.;
GERLING, V.;
DECO, C.;
BENDER, C.
Un sistema inteligente para asistir la búsqueda personalizada de objetos de aprendizaje.Ciencia y tecnología. Buenos Aires: Universidad de Palermo.vol. 9, p. 113-127. ISSN 1850-08702009 
PAGURA, J.;
PUIGSUBIRÁ, C.;
CASALI, A;
BORRÁ, V.
Alternativas para el análisis de resultados de diseños robustos. Una aplicación a un sistema de turismo.Fabicib. Santa Fé, Argentina. UNL.vol. 13, p. 75-87. ISSN 0329-55592009 

Capítulos de Libros
AutoresTítuloLibro y EditorialOtra InformaciónAño 
DELBIANCO, GERMÁN;
JASKELIOFF, MAURO;
PARDO, ALBERTO;
PEÑA, RICARDO
Applicative Shortcut Fusion.Springer Berlin Heidelbergp. 179-194. ISBN 978-3-642-32036-12012
CASALI, A.;
GERLING, V.;
DECO, C.;
BENDER, C.
Recommender System for Personalized Retrieval of Learning Objects.Madrid: IGI Globalp. 182-210. ISBN 978-1-61350-489-52011
CASALI, A.;
GODO, L.;
SIERRA, C.
g-BDI: A Graded Intentional Agent Model for Practical Reasoning.Modeling Decisions for Artificial Intelligence LNAI 5861. Berlin: Springer.p. 5-20. ISBN 978-3-642-048192009

Libros
AutoresTítuloEditorialOtra InformaciónAño 
CASALI, A.On Intentional and Social Agents with graded Attitudes.Barcelona: Serie de Monografías del Instituto de Investigación en Inteligencia Artificial, CSIC.p. 260. ISBN 978-84-00-088502009

Congresos
AutoresTítuloLugarOtra InformaciónAño 
CASALI, A.;
DECO, C.;
BENDER, C.;
KANTOR, R.
Creación de Libros Abiertos en América Latina: Metodologías, Plataformas y Estrategias.Rosario. ArgentinaResumen. Jornada. En VI Jornadas de Ciencia y Técnica de la Universidad Nacional de Rosario. UNR.2012
CASALI, A.;
SILVA SPROCK, A.;
ALVES, CARLOS HENRIQUE;
DECO, CLAUDIA;
FRANGO SILVEIRA, ISMAR;
ET AL.
Collaborative Methodologies for Writing Open Educational Textbooks: a State-of art Review.Rio de Janeiro. BrasilArtículo Completo. Simposio. Proceedings del I Workshop Recursos Educacionais Abertos: Questões para globalização e localização y II International Symposium on OER: Issues for globalization and localization, CBIE.2012
DECO, C.;
ANA CASALI;
BENDER, C.;
KANTOR, R.;
MOTZ, R.
Iniciativa LATIn para la Creación de Libros Abiertos en América Latina.La Plata. ArgentinaArtículo Completo. Simposio Sobre la Sociedad de la Información, SSI-JAIIO 2012. SADIO.2012
JASKELIOFF, M.;
RYPACEK, O.
An Investigation of The Laws of Traversals.Tallinn, EstoniaArtículo Completo. Workshop. Fourth Workshop on Mathematically Structured Functional Programming. Association for Computing Machinery.2012
PILOTTI, P.;
CASALI, A.;
CHEZÑEVAR, C.
A Belief Revision Approach for Argumentation-based Negotiation with Cooperative Agents.Artículo Completo. Workshop. Argumentation in Multi-Agent Systems Workshop (ArgMAS).Valencia, España2012
SAN MARTÍN, P. S.;
CASALI, A.
Hacia el desarrollo y utilización de Repositorios de Acceso Abierto para Objetos Digitales Educativos.Posadas, Misiones. ArgentinaArtículo Completo. Workshop. XIV Workshop de Investigadores en Ciencias de la Computación.2012
BENDER, C.;
DECO, C.;
CASALI, A.;
ALVAREZ, D.
Análisis de los Metadatos de OAs como forma de Ponderar los Resultados de una Búsqueda. Montevideo, Uruguay.Artículo Completo. Conferencia. LACLO 2011
DELBIANCO, G.;
JASKELIOFF, M.;
PARDO, A.
Applicative Shortcut Fusion.Madrid, EspañaSimposio. Trends in Functional Programming. 2011
PILOTTI, P.;
CASALI, A.;
CHESÑEVAR, C.
An Approach to Automated Agent Negotiation using Belief Revision. Córdoba. Artículo Completo. Simposio. Simposio Argentino de Inteligencia Artificial. SADIO. 2011
CASALI, A.;
DECO, C.;
BENDER, C.;
MOTZ, R.
Generacion, Busqueda y Ensamble de Obtejosde Aprendizaje.CalafateArtículo Completo. Workshop. Workshop de Investigadores en Cs. de la Computación. RedUNCI.2010
CASALI, A.;
GERLING, V.;
DECO, C.;
BENDER, C.
Sistema Inteligente para la Recomendación de Objetos de Aprendizaje.San Pablo, BrasilArtículo Completo. Conferencia. LACLO 2010. Comunidad Latinoamericana de Objetos de Aprendizaje LACLO.2010
HUAPAYA, CONSTANZA;
CASALI, A.;
LIZARRALDE, F.
Una Propuesta para el Diagnóstico del Estudiante basado en Lógica Difusa.CalafateArtículo Completo. Congreso. Congreso de Tecnología en Educación y Educación en Tecnología. RedUNCI.2010
CASALI, A.;
DECO, C.;
BENDER, C.
Sistema de apoyo al docente en la búsqueda de material didáctico para la enseñanza de las ciencias.La Plata., ArgentinaArtículo Completo. Congreso. IV Congreso de Tecnología en Educación y Educación en Tecnología. Red Unci.2009
CASALI, A.;
DECO, C.;
BENDER, C.;
MOTZ, R.
Recuperación Personalizada de Recursos Educativos.San Juan, ArgentinaArtículo Completo. Workshop. Workshop de Investigadores en Cs. dela Computación WICC. Red Unci.2009
CASALI, A.;
GERLING, V.;
DECO, C.;
BENDER, C.
Sistema de recomendación para la búsqueda de material educativo.Rosario, ArgentinaArtículo Completo. Jornada. En III Jornadas de Ciencia y Técnica de la Universidad Nacional de Rosario. UNR.2009
CASALI, A.;
GERLING, V.;
DECO, C.;
BENDER, C.
Un Sistema Inteligente para Asistir la Búsqueda Personalizada de Objetos de Aprendizaje.Buenos Aires, ArgentinaArtículo Completo. Congreso. Congreso de Inteligencia Computacional Aplicada (CICA). Universidad de Palermo.2009
JASKELIOFF, M.Modular Monad Transformers.York, Reino UnidoLecture Notes in Computer Science. Artículo Completo. Conferencia. European Symposium of Programming.2009











CIFASIS - Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas - CONICET - UNR
Ocampo y Esmeralda, S2000EZP Rosario, Argentina Tel.: +54 341 4815569, 4237248 int. 300 Email: secretaria@cifasis-conicet.gov.ar