oi Ana, desculpe a demora, nao tinha visto! Mas concordo com o JM que outros sao mais indicados, pois o meu trabalho nao 'e em logica matematica diretamente.
Centros de pesquisa industrial teem se multiplicado recentemente por aqui, por causa de "machine learning advances" e das muitas empresas querendo usar as tecnicas em seus processos de producao. mas nao 'e pesquisa-pesquisa e sim desenvolvimento. e logica e "aprendizado de maquina" (ML) teem uma relacao muito problematica, ne? Todo mundo de logica quer falar de sistemas hibridos que tenham as melhores partes tanto de logica qto de ML, enquanto os caras de ML querem distancia.. eles estao felizes que nem pinto no lixo, com a quantidade de projetos, tecnicas, dados e principalmente funding que teem atualmente, ne? Nao sei exatamente o que voce esta' querendo saber sobre >> > experiência do uso da lógica em centros de pesquisa ou empresas mas o uso de logica ate mesmo em AI esta' um tanto ameacado. Todo mundo que faz computacao (que nem todos os matematicos) acha que nao precisa de logica, pois capacidade de raciocinio eles ja' teem. Eu continuo na minha cruzada individual de dizer que logica e' necessaria pra fazer agentes artificiais que nem Alexa ou Siri que realmente entendam sentencas. mas os metodos que estou usando sao muito mais de Linguistica Computacional do que de logica mesmo, no momento. mas fique a vontade pra perguntar coisas mais especificas. Abracos, Valeria 2018-04-02 5:15 GMT-07:00 <[email protected]>: > Olá a todos, > > Muito grata a todos que me responderam nesta lista e no meu email > particular. > > Abraços e boa semana, > Ana > > > > Olá, > > > > Não tenho experiência. > > > > Acredito que o Aryldo Russo https://br.linkedin.com/in/aryldo > > tenha trabalhado com especificação formal no metrô de São Paulo > > http://ieeexplore.ieee.org/abstract/document/6175516/ > > > > > > Adolfo > > > > Em 26 de março de 2018 12:59, Joao Marcos <[email protected]> escreveu: > > > >> > Afora pesquisa em Universidades, alguém tem alguma > >> > experiência do uso da lógica em centros de pesquisa ou empresas que > >> possa > >> > me relatar? Lembrei da Valéria de Paiva :). > >> > >> Vale lembrar também do Leonardo de Moura (Microsoft), Vivek Nigam > >> (Fortiss), David Déharbe (ClearSy System Engineering)... > >> > >> JM > >> > >> -- > >> http://sequiturquodlibet.googlepages.com/ > >> > >> -- > >> Você está recebendo esta mensagem porque se inscreveu no grupo > >> "LOGICA-L" > >> dos Grupos do Google. > >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, > >> envie > >> um e-mail para [email protected]. > >> Para postar neste grupo, envie um e-mail para [email protected]. > >> Visite este grupo em https://groups.google.com/a/ > >> dimap.ufrn.br/group/logica-l/. > >> Para ver esta discussão na web, acesse https://groups.google.com/a/ > >> dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgCUfKMAdfh8AbEuiHzd8KxkAY% > >> 3DpEh69uetLZx0fSHBHg%40mail.gmail.com. > >> > > > > > > > > -- > > ================================================================== > > Adolfo Neto > > Associate Professor - Federal University of Technology, Paraná > > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > > ================================================================== > > > > -- > > Você está recebendo esta mensagem porque se inscreveu no grupo > > "LOGICA-L" dos Grupos do Google. > > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, > > envie um e-mail para [email protected]. > > Para postar neste grupo, envie um e-mail para [email protected]. > > Visite este grupo em > > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > > Para ver esta discussão na web, acesse > > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica- > l/CANspyYV8j06914js9v1_f1NPDeOmKLxs5X_dgWe-z8%3DbRs%2Bnag%40mail.gmail.com > . > > > > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > Visite este grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/bb8ed7477dcde10406c26831f9e8fe > 62.squirrel%40www.lia.ufc.br. > -- Valeria de Paiva http://vcvpaiva.github.io/ http://research.nuance.com/author/valeria-de-paiva/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvHcPU-hC-r%3DM36JQhPS-b%2BKs8uckn7QdLmRTuNjkwChA%40mail.gmail.com.
