Sobre o WC4AI

O WC4AI – Workshop do Centro de Inteligência Artificial (C4AI) visa apresentar o Centro C4AI e suas atividades, buscando integrar os membros do centro, pesquisadores, alunos do C4AI e demais grupos atuantes na área de Inteligência Artificial. Este evento tem por objetivos divulgar, discutir as pesquisas em Inteligência Artificial em desenvolvimento, reunindo os participantes do Centro e “abrir as portas” do C4AI a fim de apresentar os resultados de seu primeiro ano de atividades.

Em comemoração ao primeiro ano do C4AI, será realizado no dia 29/11/2021, a partir das 15:00 horas, um encontro semivirtual (híbrido presencial e online). Entre 15h e 17h serão realizadas apresentações curtas das iniciativas e desafios; em seguida, entre 17h e 18h30, haverá um seminário (em inglês) com o Dr. Ronald Fagin (matemático e cientista da computação; IBM Fellow no IBM Almaden Research Center).

15h – 17h

Abertura + Apresentações das Atividades do C4AI

17h – 18h30

Palestrante Convidado: Ronald Fagin (Invited Speaker)

18h30

Visita às instalações + Confraternização

Palestrante Convidado

International Invited Speaker

Ronald Fagin ( IBM Research – Almaden )

“Applying Theory to Practice: From the Threshold Algorithm to Logical Neural Nets”

Abstract:

The speaker will talk about applying theory to practice, with a focus on three IBM case studies. In the first case study, the practitioner initiated the interaction. This interaction led to the following problem. Assume that there is a set of “voters” and a set of “candidates”, where each voter assigns a numerical score to each candidate. There is a scoring function (such as the mean or the median), and a consensus ranking is obtained by applying the scoring function to each candidate’s scores. The problem is to find the top k candidates, while minimizing the number of database accesses. The speaker will present an algorithm that is optimal in an extremely strong sense: not just in the worst case or the average case, but in every case! Even though the algorithm is only 10 lines long (!), the paper containing the algorithm won the 2014 Gödel Prize, the top prize for a paper in theoretical computer science.

The interaction in the second case study was initiated by theoreticians, who wanted to lay the foundations for “data exchange”, in which data is converted from one

 format to another. Although this problem may sound mundane, the issues that arise are fascinating, and this work made data exchange a new subfield, with special sessions in every major database conference. This work won the 2020 Alonzo Church Award, the highest prize for research in logic and computation.

The third case study, on real-valued logics, arose as part of a large “Logical Neural Nets” (LNN) project at IBM. The inputs to, say, an “and” gate could be any numbers in the interval [0,1]. The system builders of LNN wanted a sound and complete axiomatization for real-valued logic, which this very recent work provides. It also allows weights, where the importance of some formulas can be greater than that of other formulas.

This talk will be completely self-contained. The talk is aimed at both theoreticians and practitioners, to show them the mutual benefits of working together.

Date/Hour

November 29, 2020 – 17h-18h30 (5pm Brazilian Time / 3pm – 4:30pm EST)

Link para transmissão
Short Bio

Inscrições & Participação

Informações

Participação Presencial

O evento terá transmissão online, com a possibilidade de participação presencial de membros do C4AI e convidados junto às instalações do C4AI, para conhecer nossa sede e interagir com os pesquisadores. Serão seguidos os protocolos sanitários existentes à época do evento.

Informações

Participação Online

Transmissão pelo canal do Youtube do C4AI USP

Cronograma de Atividades

29 de Novembro de 2021

Workshop C4AI

Abertura do evento com a presença de autoridades da USP, IBM, FAPESP e dos diretores do C4AI e InovaUSP.

15h15 – Apresentação do Centro pelos Diretores

Apresentação do “Center for A.I.” (C4AI): Prof. Dr. Fábio Cozman (Diretor do C4AI – EP/USP) e Dr. Cláudio Pinanhez (Vice-diretor C4AI – IBM Brasil).

15h30 – Grupos e Projetos de Pesquisa

Apresentação dos Grupos e Projetos de Pesquisa do C4AI.

  • NLP2 – Natural Language Processing for Portuguese
    Processamento de Linguagem Natural em Português
    Profs. Drs. Marcelo Finger, Thiago A.S. Pardo e Sandra Aluísio
  • KEML – Knowledge-Enhanced Machine Learning for Reasoning
    Aprendizado de Máquina Enriquecido por Conhecimento para Raciocínio sobre Dados Oceânicos
    Profs. Drs. Fabio Cozman e Eduardo Tannuri
  • GOML – Graph-Oriented Machine Learning
    Aprendizado de Máquina Orientado a Grafos para Diagnóstico e Reabilitação de AVCs
    Profs. Drs. José Krieger e Zhao Liang
  • AgriBio – Causal Multicriteria Decision Making in Food Production Networks
    Tomada de Decisão Causal Multicritério em Redes de Produção Alimentar
    Profs. Drs. Antonio Saraiva e Alexandre Delbem
  • AI Humanity – AI in Emerging Countries: Public Policies and the Future of Work
    IA em Países Emergentes: Políticas Públicas e o Futuro do Trabalho
    Profs. Drs. Glauco Arbix e João Paulo Veiga
16h30 – Comitê de Inclusão e Diversidade do C4AI

Apresentação dos CID – Comitê de Inclusão e Diversidade do C4AI

Profs. Drs. Renata Wassermann e Valdinei Freire da Silva

16h40 – Atividades de Difusão e Disseminação da I.A.

Apresentação das atividades de Difusão e Disseminação de IA (Outreach)

Prof. Dr. Fernando Osório

17h00 – Palestra Internacional

Palestrante Internacional Convidado: Ronald Fagin

Título da Palestra: “Applying Theory to Practice: From the Threshold Algorithm to Logical Neural Nets”

18h30 – Visitação e Confraternização

Visita às instalações + Confraternização.

30 de Novembro à 03 de Dezembro

BRACIS Conference

BRACIS Co-located Events: WC4AI – ENIAC – STIL – KDD-BR

Brazilian Conference on Intelligent Systems