Bom dia! Obrigada ao Vivek e Alexandre por mais informações. Como será um vídeo informal e curto, as respostas que recebi já são suficientes para ilustrar como alguém da área de lógica pode atuar fora das universidades usando seu conhecimento em lógica. Eu queria exemplos concretos e já tenho o suficiente.
Muito grata, Ana > 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. > -- 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/38391589240379239f8f1bc8d3add4b6.squirrel%40webmail.lia.ufc.br.
