OnDoc
| sign
in
up
~
pub
|
pdf
txt
html
toc
url
|
<<
>>
1
2
3
4
5
6
7
8
~
244
Table of Contents
Introduction
Computer-Aided Composition
Constraint-Based Computer-Aided Composition
Requirements for a Generic Music Constraint System
The Approach Taken
Outline
Survey I: Issues in Music Representation for Computer-Aided Composition
Introduction
What is a Music Representation?
The Broader Perspective
Terminology
A Basic Representation: Event List
Parameter Representation
Topologies of Hierarchic Representations
Two-Dimensional Representation
Representation with Specialised Containers in a Tree
Representation with Generic Containers in a Tree
Representation with Containers in an Acyclic Graph
Summary
Extensibility
Textual Representation vs. Data Abstraction
Class Hierarchy
Higher-Order Programming for Score Processing
Conclusion
Survey II: Composing with Constraint Programming
What is Constraint Programming?
Constraint-Based Composition
Motivation
A First Example
Musical Constraint Satisfaction Problems
Generic Music Constraint Systems
PWConstraints
Situation
OMClouds
Other Systems
Conclusion
Motivation and System Overview
Limited Generality of Existing Systems
Music Representation
Rule Formalism
Search Strategy
The Research Goal
Strasheela Design Overview
Search Strategy
Rule Formalism
Music Representation
The Strasheela Music Representation
Overview: Score Object Classes
Class Hierarchy
Textual Representation and Data Abstraction
Hierarchic Representation
The Parameter Class: Variables in the Representation
The Event Class
The Container Class
Temporal Hierarchy
The Data Abstraction Interface
Basic Interface
Generic Interface for Hierarchic Structures
Score Contexts
Principles for Expressing Score Information
User-Defined Score Contexts
The Generality of the Strasheela Score Context Formalism
The Strasheela Rule Formalism
Constraints and Rules are First-Class Functions
Programmable Rule Application
Direct Rule Application to a Single Object
Applying a Rule to Every Element in a List
Applying a Rule to Neighbours in a List
User-Defined Rule Application Mechanisms
Index-Based Rule Application
Rule Application with a Pattern Matching Language
Rule Application to Selected Objects in a Score Hierarchy
Implicit Rule Application
Rule Application to Arbitrary Score Contexts
Constraining Inaccessible Score Contexts
The Inaccessible Score Context Problem
Delayed Rule Application
Reformulating the Problem Definition
Using Logical Connectives
Comparison
How Strasheela Finds a Solution
The Underlying Programming Model
The Constraint Model Based on Computational Spaces
Propagate and Search
An Example
Features of the Space-Based Constraint Model
Specialising the Constraint Model for Music
The Basic Idea
Score Distribution Strategies
Strasheela Examples
Fuxian First Species Counterpoint
The Music Theory
The Formal Model
Search Process and Results
Conclusion
Florid Counterpoint
The Music Theory
Search Process and Results
Constraining the Shape of the Temporal Hierarchy
Motivation
Approach
Elimination of Symmetries
Discussion
The Strasheela Prototype
Relation to the Model Presented
Input and Output
Extended Strasheela Core Music Representation
Extensions for Specific CSP Classes
Programming Language Issues
Limitations of the Prototype
Comparison and Evaluation
Music Representation
Representation Format
Constrainable Aspects
Rule Formalism
Search Strategy
Can Strasheela be Further Generalised?
Summary
Conclusion
Main Contributions
Future Work
Notational Conventions
Variables
Functional Abstraction
Control Structures
Values and Data Structures
Operations
Additional Definitions
The Strasheela Website
Source Material