Representação de Conhecimento Musical com Programação Lógica Indutiva

O processo de representação de conhecimento em Computação Musical constitui um elemento essencial para o desenvolvimento de sistemas. Métodos têm sido aplicados visando fornecer ao computador a capacidade de inferir informações a partir da experiência e definições previamente estabelecidas. Neste sentido, a Programação Lógica Indutiva apresenta-se como um crescente campo de pesquisa, que incorpora conceitos de Programação em Lógica e Aprendizado de Máquina. Ao serem abordados assuntos ligados à Inteligência Artificial, como Representação de Conhecimento, Aprendizado de Máquina e Composição Algorítmica, a noção literal da "arte da programação de computadores" encontra um vasto ambiente para desenvolvimento. A união de tais elementos com o trabalho de investigação científica gerou a principal motivação para a realização da presente obra, que apresenta uma abordagem de programação multiparadigma, incluindo o desenvolvimento do sistema musical baseado em conhecimento "Fraseado". Por fim é apresentado um método para avaliação de sistemas de composição algorítmica - o Teste de Turing Expandido.