Perguntas com a marcação «artificial-intelligence»

Quais métodos gerais de aprendizado de máquina existem que tentam "aprender" ou interpolar uma função multivariada suave e que conseguem realmente escolher os pontos em que a função é avaliada durante o processo de aprendizado (exploração)? A idéia seria que cada avaliação de função seja mais ou menos dispendiosa e …

7 machine-learning  artificial-intelligence 

A sonda Rosetta alcançou um cometa em agosto de 2014 e enviou uma sonda à superfície. Foi uma das maiores notícias científicas do ano. As técnicas automatizadas de planejamento e agendamento são realmente importantes nas operações desse tipo de missão. No último ICAPS, houve até uma palestra convidada de um …

7 reference-request  artificial-intelligence  planning 

Atualizado com base nos comentários: De que maneiras podemos distinguir um ser humano que realiza determinadas atividades on-line e um bot programado para realizar atividades semelhantes, como verificar e-mail, baixar alguns arquivos de música, fazer compras no ebay, pesquisar no Google etc. ou talvez tentar desfigurar / invadir um site …

7 machine-learning  artificial-intelligence  game-theory  computer-vs-human 

Eu sou novo neste tópico e, em alguns artigos científicos que tenho lido sobre previsão em esportes, encontrei o termo raciocínio baseado em regras. É este termo o mesmo que um raciocínio semântico (onde as duas direções principais estão encadeadas para frente e para trás?). Se sim, você pode apontar …

7 terminology  artificial-intelligence  data-mining 

Tenho um jogo que estou construindo ai ai pois tem 2 jogadores fazendo movimentos simultâneos. Neste jogo, há exatamente um movimento em que, se os dois fazem ao mesmo tempo, o resultado é diferente do que se tivessem feito separadamente (todos os outros movimentos são bem independentes). Enfim, estou tentando …

7 algorithms  artificial-intelligence  search-algorithms  game-theory 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free