非单调逻辑

贵州省科技基金项目，研究非单调逻辑的归纳学习。