中文
相关论文

相关论文: Automatic Music Composition using Answer Set Progr…

200 篇论文

Building systems that possess the sensitivity and intelligence to identify and describe high-level attributes in music audio signals continues to be an elusive goal, but one that surely has broad and deep implications for a wide variety of…

声音 · 计算机科学 2016-06-10 Bob L. Sturm

Music is an expressive form of communication often used to convey emotion in scenarios where "words are not enough". Part of this information lies in the musical composition where well-defined language exists. However, a significant amount…

声音 · 计算机科学 2017-08-14 Iman Malik , Carl Henrik Ek

Musical mode is one of the most critical element that establishes the framework of pitch organization and determines the harmonic relationships. Previous works often use the simplistic and rigid alignment method, and overlook the diversity…

声音 · 计算机科学 2025-01-15 Qian Liang , Yi Zeng , Menghaoran Tang

Human action is naturally compositional: humans can easily recognize and perform actions with objects that are different from those used in training demonstrations. In this paper, we study the compositionality of action by looking into the…

计算机视觉与模式识别 · 计算机科学 2020-09-15 Joanna Materzynska , Tete Xiao , Roei Herzig , Huijuan Xu , Xiaolong Wang , Trevor Darrell

With the development of AI-Generated Content (AIGC), text-to-audio models are gaining widespread attention. However, it is challenging for these models to generate audio aligned with human preference due to the inherent information density…

声音 · 计算机科学 2024-02-02 Huan Liao , Haonan Han , Kai Yang , Tianjiao Du , Rui Yang , Zunnan Xu , Qinmei Xu , Jingquan Liu , Jiasheng Lu , Xiu Li

Program synthesis is the task of automatically deriving a program that has been specified by a user in advance. Combining automated theorem proving with program synthesis enables the automated construction of proven-to-be-correct programs,…

计算机科学中的逻辑 · 计算机科学 2026-05-20 Márton Hajdu , Petra Hozzová , Laura Kovács , Eva Maria Wagner

Composing knowledge from multiple pieces of texts is a key challenge in multi-hop question answering. We present a multi-hop reasoning dataset, Question Answering via Sentence Composition(QASC), that requires retrieving facts from a large…

计算与语言 · 计算机科学 2020-02-06 Tushar Khot , Peter Clark , Michal Guerquin , Peter Jansen , Ashish Sabharwal

Compositionality is a widely discussed property of natural languages, although its exact definition has been elusive. We focus on the proposal that compositionality can be assessed by measuring meaning-form correlation. We analyze…

计算与语言 · 计算机科学 2020-12-08 Timothee Mickus , Timothée Bernard , Denis Paperno

Predictive models for music are studied by researchers of algorithmic composition, the cognitive sciences and machine learning. They serve as base models for composition, can simulate human prediction and provide a multidisciplinary…

机器学习 · 计算机科学 2017-10-04 Jonas Langhabel

Compositionality is a cognitive mechanism that allows humans to systematically combine known concepts in novel ways. This study demonstrates how artificial neural agents acquire and utilize compositional generalization to describe…

人工智能 · 计算机科学 2026-01-16 Boaz Carmeli , Ron Meir , Yonatan Belinkov

Modelling musical structure is vital yet challenging for artificial intelligence systems that generate symbolic music compositions. This literature review dissects the evolution of techniques for incorporating coherent structure, from…

声音 · 计算机科学 2024-03-14 Keshav Bhandari , Simon Colton

Generative artificial intelligence models can be a valuable aid to music composition and live performance, both to aid the professional musician and to help democratize the music creation process for hobbyists. Here we present a novel…

声音 · 计算机科学 2022-09-22 Ignacio J. Tripodi

While recent generative models can produce engaging music, their utility is limited. The variation in the music is often left to chance, resulting in compositions that lack structure. Pieces extending beyond a minute can become incoherent…

声音 · 计算机科学 2023-11-01 Lilac Atassi

Music transcription is the process of transcribing music audio into music notation. It is a field in which the machines still cannot beat human performance. The main motivation for automatic music transcription is to make it possible for…

音频与语音处理 · 电气工程与系统科学 2021-08-25 Bojan Sofronievski , Branislav Gerazov

Answer Set Programming (ASP) is a purely declarative formalism developed in the field of logic programming and nonmonotonic reasoning: computational problems are encoded by logic programs whose answer sets, corresponding to solutions, are…

人工智能 · 计算机科学 2020-02-19 Francesco Calimeri , Simona Perri , Jessica Zangari

Additive composition (Foltz et al, 1998; Landauer and Dumais, 1997; Mitchell and Lapata, 2010) is a widely used method for computing meanings of phrases, which takes the average of vector representations of the constituent words. In this…

计算与语言 · 计算机科学 2017-04-05 Ran Tian , Naoaki Okazaki , Kentaro Inui

Artificial Intelligence (AI) approaches to problem-solving and decision-making are becoming more and more complex, leading to a decrease in the understandability of solutions. The European Union's new General Data Protection Regulation…

人工智能 · 计算机科学 2018-09-24 Jorge Fandinno , Claudia Schulz

A musical score provides the essential instructions for its performance while containing indications - at times implicit - regarding the composer's intentions. The presence of authorial variants, and even more so complex series of revisions…

声音 · 计算机科学 2026-05-21 Silvia Licciardi , Daniela Macchione , Emmanuel Caronna , Elisa Francomano

This essay recounts my personal journey towards a deeper understanding of the mathematical foundations of algorithmic music composition. I do not spend much time on specific mathematical algorithms used by composers; rather, I focus on…

声音 · 计算机科学 2025-05-09 Michael Gogins

Artistic creation is often seen as a uniquely human endeavor, yet robots bring distinct advantages to music-making, such as precise tempo control, unpredictable rhythmic complexities, and the ability to coordinate intricate human and robot…

机器人学 · 计算机科学 2025-02-04 Isabella Pu , Jeff Snyder , Naomi Ehrich Leonard