K-nearest neighbor is a instance based learning or lazy learning algorithm. Does it any way convinces us to accept it as a machine learning algorithm? Is there any paper which strongly recommends it to be so?
Why not? Machine learning is and the artificial intelligence is bringing together different methods, techniques and approaches. For example, predicate calculus is included in artificial intelligence and discrete mathematic.