2026-05-29T21:32:32Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/333702026-02-03T11:13:51Zcom_10630_2254col_10630_37953

Aguilera-Venegas, Gabriel Galán-García, José Luis Madrid, Rafael Martínez, Antonio Manuel Padilla-Domínguez, Yolanda Carmen Rodríguez-Cielos, Pedro 2024-09-26T08:27:49Z 2024-09-26T08:27:49Z 2010 Gabriel Aguilera, José Luis Galán, Rafael Madrid, Antonio Manuel Martínez, Yolanda Padilla, Pedro Rodríguez, Automated generation of contrapuntal musical compositions using probabilistic logic in Derive, Mathematics and Computers in Simulation, Volume 80, Issue 6, 2010, Pages 1200-1211, ISSN 0378-4754, https://doi.org/10.1016/j.matcom.2009.04.012. https://hdl.handle.net/10630/33370 10.1016/J.MATCOM.2009.04.012 In this work, we present a new application developed in Derive 6 to compose counterpoint for a given melody (“cantus firmus”). The result is non-deterministic, so different counterpoints can be generated for a fixed melody, all of them obeying classical rules of counterpoint. In the case where the counterpoint cannot be generated in a first step, backtracking techniques have been implemented in order to improve the likelihood of obtaining a result. The contrapuntal rules are specified in Derive using probabilistic rules of a probabilistic logic, and the result can be generated for both voices (above and below) of first species counterpoint. The main goal of this work is not to obtain a “professional” counterpoint generator but to show an application of a probabilistic logic using a CAS tool. Thus, the algorithm developed does not take into account stylistic melodic characteristics of species counterpoint, but rather focuses on the harmonic aspect. The work developed can be summarized in the following steps: (1) Development of a probabilistic algorithm in order to obtain a non-deterministic counterpoint for a given melody. (2) Implementation of the algorithm in Derive 6 using probabilistic Logic. (3) Implementation in Java of a program to deal with the input (“cantus firmus”) and with the output (counterpoint) through inter-communication with the module developed in Derive. This program also allows users to listen to the result obtained. eng open access Música Álgebra Automated generation of contrapuntal musical compositions using probabilistic logic in Derive journal article