Cara Ana, Aqui na fortiss usamos métodos de verificação de software/hardware que utilizam princípios e formalismos lógicos. Eu precisaria de mais informação para te responder melhor...
Abraços, Vivek On Mon, Apr 2, 2018 at 4:01 PM Valeria de Paiva <[email protected]> wrote: > 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/bb8ed7477dcde10406c26831f9e8fe62.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ê recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvHcPU-hC-r%3DM36JQhPS-b%2BKs8uckn7QdLmRTuNjkwChA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAFx3SPJtSi-pbLV6WaRHtFddKKePk9NVaEDQ7pgPNdgj861knw%40mail.gmail.com.
