SBC IA by Daniel Borba Varela dos Santos https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw Sistemas baseado em conhecimento en-us 2020-10-29 22:37:49 UTC 2020-10-29 23:09:53 UTC hello@padlet.com https://padlet.net/icons/png/1f600.png Mecanismo de Inferência oigab https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875082213 Trata-se do processo de raciocínio lógico simulado pela máquina onde chega-se a uma sentença baseado em sentenças anteriores. Dessa forma, toda nova sentença torna-se uma dedução lógica daquilo que a base de dados já possuía anteriormente.]]> 2020-10-29 22:38:27 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875082213 Agentes baseados em conhecimento rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875083329 2020-10-29 22:39:12 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875083329 Agentes baseados em conhecimento gpiskesc https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875084752 Lidam mais facilmente com ambientes parcialmente observáveis]]> 2020-10-29 22:40:12 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875084752 O papel da lógica na IA danielvarelaborba https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875088010 O papel da lógica na IA é conseguir retornar o resultado satisfatório com base em conhecimento extraído.]]> 2020-10-29 22:42:21 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875088010 Lógica proposicional https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875092962 Só fatos verdadeiros ou falsos.
Conectivos como: “e”, “ou” e “não”]]> 2020-10-29 22:45:48 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875092962 Lógica de primeira ordem https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875094315 Objetos, propriedades, relações, funções]]> 2020-10-29 22:46:43 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875094315 Dentro dos sistemas de IA danielvarelaborba https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875096663 Modelo SBC é bom para sistemas sem muitos dados para treinamento.]]> 2020-10-29 22:48:27 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875096663 rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875097758 Facilita a criação dos agentes. É possível dizer o que o agente sabe pormeio de sentenças lógicas.]]> 2020-10-29 22:49:10 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875097758 A base de conhecimento danielvarelaborba https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875100131 É formada por um conjunto de sentenças expressas por meio de uma linguagem lógica de representação de conhecimento]]> 2020-10-29 22:50:52 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875100131 Como representar o conhecimento? gpiskesc https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875100923
  • Lógica proposicional
  • Lógica de primeira ordem
  • Outras linguagens lógicas

    • ]]>     2020-10-29 22:51:27 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875100923     rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875102614 O agente pode adicionar novas sentenças a sua base de conhecimentoenquanto ele explora o ambiente.]]> 2020-10-29 22:52:36 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875102614 Declarativa: rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875103500  Projetista informa sentenças uma a uma até que o agente saiba operar]]> 2020-10-29 22:53:10 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875103500 Procedural: rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875103706 Comportamentos desejados diretamente como código de programa]]> 2020-10-29 22:53:20 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875103706 Toda representação deve possibilitar representar https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875107083 Objetos
    Seus atributos
    Relacionamentos entre objetos]]>     2020-10-29 22:55:42 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875107083     Conectivos rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875115739  ¬ (não)
    ∧ (e)
    ∨ (ou)
    ⇒ (implicação: então)
    ⇔ (dupla implicação: se e somente se) 
    Sentença cujo principal conectivo é ∧: conjunção 
    Sentença cujo principal conectivo é ∨: disjunção ]]>     2020-10-29 23:01:54 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875115739     rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875116154 2020-10-29 23:02:11 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875116154 rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875116531 2020-10-29 23:02:23 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875116531 rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875117098 2020-10-29 23:02:42 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875117098 rafaelsantosrodrigues321 https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875117191 2020-10-29 23:02:45 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875117191 Lógica proposicional gpiskesc https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875119122 É necessário definir:
    1. Sintaxe
    2. Semântica
    3. Consequência lógica
    4. Algoritmo para inferência lógica
    ]]>     2020-10-29 23:04:10 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875119122     gpiskesc https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875126419 2020-10-29 23:09:21 UTC https://padlet.com/danielvarelaborba/1tg2ghfkb4i1f1bw/wish/875126419