ANTON: Composing Logic and Logic Composing

被引：3

作者：

Boenn, Georg ^{[1
]}

Brain, Martin ^{[2
]}

De Vos, Marina ^{[2
]}

Ffitch, John ^{[2
]}

机构：

[1] Univ Glamorgan, Cardiff Sch Creat & Cultural Ind, Pontypridd CF37 1DL, M Glam, Wales

[2] Univ Bath, Dept Comp Sci, Bath, Avon BA2 7AY, England

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS | 2009年 / 5753卷

关键词：

D O I：

10.1007/978-3-642-04238-6_55

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. This paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose both melodic and harmonic music, dignose errors in human compositions and serve is a computer-aided composition tool.

引用

页码：542 / +

页数：2

共 50 条

[1] Composing open logic programs
Brogi, A.
Lamma, E.
Mello, P.
[J]. Journal of Logic and Computation, 1993, 3 (04)
[2] Composing general logic programs
Brogi, A
Contiero, S
Turini, F
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 273 - 288
[3] COMPOSING RECURSIVE LOGIC PROGRAMS WITH CLAUSAL JOIN
LAKHOTIA, A
STERLING, L
[J]. NEW GENERATION COMPUTING, 1988, 6 (2-3) : 211 - 225
[4] Composing programs in a rewriting logic for declarative programming
Molina-Bravo, JM
Pimentel, E
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 189 - 221
[5] Composing temporal-logic specifications with machine assistance
Teng, JW
Tsay, YK
[J]. FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 719 - 738
[6] Using Logic to Evolve More Logic: Composing Logical Operators via Self-Assembly
LaCroix, Travis
[J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2022, 73 (02): : 407 - 437
[7] COMPOSING COMPOSING AS A WOMAN - A PERSPECTIVE ON RESEARCH
FLYNN, EA
[J]. COLLEGE COMPOSITION AND COMMUNICATION, 1990, 41 (01) : 83 - 89
[8] Composing real-time objects:: A case for Petri nets and Girard's linear logic
Taïani, F
Paludetto, M
Delatour, J
[J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 298 - 305
[9] Composing
Stuth, Tricia
[J]. JOURNAL OF ARCHITECTURAL EDUCATION, 2018, 72 (01) : 178 - 179
[10] 'COMPOSING'
CATCHINGS, M
[J]. DEKALB LITERARY ARTS JOURNAL, 1976, 9 (02): : 48 - 48

← 1 2 3 4 5 →