IA baseada em lógica ou baseada em regras

Eu sempre pensei que baseado em regras era sinônimo de IA baseada em lógica. A lógica tem axiomas e regras de inferência, enquanto o ai baseado em regras tem uma base de conhecimento (essencialmente axiomas) e regras if-then para criar novo conhecimento (essencialmente regras de inferência).

Mas em seu famoso artigo "O que é uma Representação do Conhecimento?", Davis, Shrobe e Szolovits parecem sugerir que não são:

Lógica, regras, quadros, etc., cada um incorpora um ponto de vista sobre os tipos de coisas que são importantes no mundo. A lógica, por exemplo, envolve um compromisso (bastante mínimo) de ver o mundo em termos de entidades individuais e relações entre elas. Os sistemas baseados em regras vêem o mundo em termos de triplos atributo-objeto-valor e as regras de inferência plausível que os conectam, enquanto os quadros nos fazem pensar em termos de objetos prototípicos.

Isso significa apenas dizer que baseada em regras é proposicional, enquanto que a lógica costuma significar lógica de predicado? Ou há mais do que isso?

Quero prefaciar isso dizendo que a distinção não é clara. No entanto, vou lhe contar o que sei sobre isso e tentarei fazer mais esclarecimentos:

A Estrutura dos agentes baseados em regras é: Receber informações do ambiente, passar por regras baseadas em condições e executar a ação por meio de atuadores ou qualquer coisa que crie alguma ação no ambiente.

vs.

A estrutura dos agentes lógicos (baseada no estado interno) é: Pegue a entrada do ambiente, a partir das verificações internas de conhecimento sobre o que é o estado e como o modelo pode evoluir; a seguir, deduza o que minha ação fará; finalmente, repasse regras baseadas em condições e tome medidas no ambiente

_{FONTE: Inteligência Artificial: Uma abordagem moderna de Stuart Russell e Peter Norvig}

Como esta é minha primeira resposta aqui, se eu violar alguma regra, informe-me.

Os sistemas baseados em regras cobrem uma ampla variedade de sistemas. Alguns usam regras booleanas if / then / else, outros podem usar ponderação ou até inferência probabilística. Alguns operam em quadros, outros em objetos java, outros em proposições que podem ser formuladas na lógica de predicados. Um exemplo de um sistema de regras popular é o Drools .

Alguns sistemas de regras podem ser expressos como um subconjunto da lógica de predicado. Por exemplo, SWRL é uma linguagem de regras padrão do W3C que estende a OWL Description Logic (DL) com regras de buzina. OWL-DL e SWRL são expressáveis ​​na lógica de predicado de primeira ordem. No entanto, nem todas as linguagens de regras são diretamente expressáveis ​​dessa maneira, pois as linguagens de regras abrangem esse intervalo de semântica. Mesmo em casos como o Prolog, há sutilezas. Prolog puro é um subconjunto do FOL, mas as implementações atuais existentes do Prolog não são subconjuntos do FOL (por exemplo, a ordem de precedência é importante).

O grupo de trabalho R3 (W3C Rules Interchange Format) fez muito trabalho para unificar essas diferentes perspectivas. Não tenho certeza do melhor lugar para começar a ver um resumo, mas você pode ver algum material útil na página de abertura do grupo .