This research proposal aims to develop an algorithmic counterpoint music composition practice. It will extend common western music notation to represent the underlying logic and instrumental parts in an abstract way. A new notation system will be created along with an authoring/performance technology environment to represent and execute the logical layer of musical pieces. As part of the research, a collection of interactive algorithmic counterpoint music pieces will be composed to explore, develop and evaluate the proposed notation system. The goal is to introduce new notational mechanisms that integrate organically with traditional western music notation.