MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
中介逻辑是一种以清晰的和模糊的事物为研究对象的非经典逻辑系统。
Medium logic is an non-classical logic system about researching distinct objects and fuzzy objects.
应用推荐