Proposicionalização: uma nova abordagem para a lógica indutiva

A programação em lógica indutiva tem os seus objetivos baseados no aprendizado indutivo e da programação lógica. A aplicação da programação em lógica indutiva pode ser vista em vários problemas importantes como: dimensionamento de malhas em métodos de elementos finitos, previsão de estrutura de proteínas, detecção de problemas de tráfego, processamento de linguagem natural, e outros. Atualmente existem muitos sistemas inteligentes que a partir da programação em lógica indutiva, do aprendizado de máquina e do uso da lógica de primeira-ordem como linguagem de representação dos dados, aprendem através de um conhecimento preliminar e são capazes de classificar exemplos. Nesse livro apresentaremos a aplicação de uma técnica chamada proposicionalização, para a criação de um sistema inteligente, que poderá encontrar soluções que possam competir com os sistemas considerados estado da arte. e. Acreditamos que a mudança da linguagem de representação de lógica de primeira-ordem para a lógica proposicional tornará o sistema mais eficiente.