常用的逻辑模型有