# data[].attributes.body
Lidam mais facilmente com ambientes parcialmente observáveis

# data[].attributes.body
É necessário definir:

1. Sintaxe

2. Semântica

3. Consequência lógica

4. Algoritmo para inferência lógica

# data[].attributes.body
Facilita a criação dos agentes. É possível dizer o que o agente sabe pormeio de sentenças lógicas.

# data[].attributes.body
Facilita a criação dos agentes. É possível dizer o que o agente sabe pormeio de sentenças lógicas.

# data[].attributes.body
 projetista informa sentenças uma a uma até que o agente saiba operar

# data[].attributes.body
comportamentos desejados diretamente como código de programa

# data[].attributes.body
O agente pode adicionar novas sentenças a sua base de conhecimentoenquanto ele explora o ambiente.

# data[].attributes.body
Comportamentos desejados diretamente como código de programa

# data[].attributes.body
Projetista informa sentenças uma a uma até que o agente saiba operar

# data[].attributes.body
Facilita a criação dos agentes. É possível dizer o que o agente sabe pormeio de sentenças lógicas.

# data[].attributes.body
É formada por um conjunto de sentenças expressas por meio de uma linguagem lógica de representação de conhecimento

# data[].attributes.headline
Toda representação deve possibilitar representar

# data[].attributes.subject
Toda representação deve possibilitar representar

# data[].attributes.body
Objetos
Seus atributos
Relacionamentos entre objetos

# data[].attributes.body
Modelo SBC é bom para sistemas sem muitos dados para treinamento.

# data[].attributes.body
Lidam mais facilmente com ambientes parcialmente observáveis

# data[].attributes.body
Objetos, propriedades, relações, funções

# data[].attributes.body
O papel da lógica na IA é conseguir retornar o resultado satisfatório com base em conhecimento extraído.

# data[].attributes.body
Só fatos verdadeiros ou falsos.
Conectivos como: “e”, “ou” e “não”

# data[].attributes.body
¬ (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

# data[].attributes.body
Lógica proposicional

Lógica de primeira ordem

Outras linguagens lógicas

# data[].attributes.body
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.