---

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.

---

Docente e pesquisador no IFSP, integrante do Comitê Gestor de Computa‡Æo Musical da Sociedade Brasileira de Computa‡Æo e coordenador do Núcleo Interdisciplinar de Produ‡Æo e Pesquisa Audiovisuais. Possui como principais linhas de interesse: Computa‡Æo Musical, Inteligência Artificial, Software Livre e Computa‡Æo Sustentável.

---