Raciocinio IA

Raciocinando dentro Ciência da
Computacao

1

OU
Raciocínio na Ciência da Computacao
 Lógica de Predicados/Primeira Ordem
 Métodos Formais para Desenvolvimento de
Sistemas
 Banco de Dados Dedutivo
 Inteligência Artificial
CIn- UFPE

Lógica

2

 Já viram com Ruy…
• Raciocínio dedutivo (regras de inferência)

CIn- UFPE

Métodos Formais para Desenvolvimento de Sistemas

3

 Alexandre

CIn- UFPE

Uma pausa... Sistemas Gerenciadores de
Banco de Dados

4

CIn- UFPE

5

SGBD Dedutivo
 Definição:


Um SGBD Dedutivo é um sistema que inclui capacidade para definir regras que podem deduzir ou inferir informações adicionais dos fatos que estão armazenados no banco de dados.



Parte da fundamentação teórica destes sistemas é a lógica matemática e, por isso, eles também são referidos como banco de dados lógicos.

CIn- UFPE

Bancos de Dados Dedutivos - Conceitos
Básicos

6

 Dois tipos de especificação são usados:
 Fatos - são especificados como relações, exceto pelo fato que o nome dos atributos não interessa mas sim a posição deles na tupla.
 Regras - especificam relações virtuais (similares às visões relacionais) que não estão armazenadas no banco mas que podem ser criadas a partir dos fatos, aplicando o mecanismo de dedução baseado nas regras. CIn- UFPE

7

E mais...Conceitos Básicos
 Um mecanismo de dedução (ou inferência) em um sistema pode deduzir novos fatos no banco de dados através da interpretação das regras.


O modelo usado pelos BD dedutivos é relacionado à Programação em Lógica (Prolog).

CIn- UFPE

8

SGBD Dedutivo


Existem outros sistemas que incorporam esta capacidade de inferência, chamados sistemas de banco de dados especialistas ou sistemas baseados em conhecimento, incluindo técnicas da inteligência artificial. Estes sistemas diferem do sistemas dedutivos por:
• tratar dados sempre em memória principal
• extrair o conhecimento dos especialistas das aplicações e não dos dados.

CIn- UFPE

9

SGBD Dedutivo




A principal