Abstract:

We start by proposing a computer aided scientific discovery system. This system may be seen as a knowledge acquisition environment. We present a knowledge representation (the Semi-Empirical Theories) usable to formulate, to experiment, and to divulge that knowledge, and a protocol (MOSCA) for cooperation between rational agents. The protocol is geared to the acquisition and evolution of knowledge. The objetive of this system, rather than producing an exact knowledge, is yielding a knowledge which may present a high level argumentation on its validity and may also be improved via a dialog protocol. As an application, we aim at making the machine to behave rationally when perforning Musical Analysis, which involves the four technical fields of Music: composition, execution, theory, and sound digital processing.