Oi Valéria, Obrigada por suas explicações.
Lembrei também do Yuri Gurevich, famoso na área de Finite Model Theory e que trabalha na Microsoft. Talvez sua pesquisa em lógica tenha ajudado seus trabalhos em complexidade computacional e banco de dados. Lembrei também do ENEM e de vários concursos para as mais diversas profissões que exigem raciocínio lógico. Beijos e abraços, Ana > 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. > -- 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/273ff2e4929590dec648f75680b16c82.squirrel%40www.lia.ufc.br.
