Representacao de Conhecimento Musical com Programacao Logica Indutiva

O processo de representao de conhecimento em Computao Musical constitui um elemento essencial para o desenvolvimento de sistemas. Mtodos tm sido aplicados visando fornecer ao computador a capacidade de inferir informaes a partir da experincia e definies previamente estabelecidas. Neste sentido, a Programao Lgica Indutiva apresenta-se como um crescente campo de pesquisa, que incorpora conceitos de Programao em Lgica e Aprendizado de Mquina. Ao serem abordados assuntos ligados Inteligncia Artificial, como Representao de Conhecimento, Aprendizado de Mquina e Composio Algortmica, a noo literal da "arte da programao de computadores" encontra um vasto ambiente para desenvolvimento. A unio de tais elementos com o trabalho de investigao cientfica gerou a principal motivao para a realizao da presente obra, que apresenta uma abordagem de programao multiparadigma, incluindo o desenvolvimento do sistema musical baseado em conhecimento "Fraseado". Por fim apresentado um mtodo para avaliao de sistemas de composio algortmica - o Teste de Turing Expandido.