论文部分内容阅读
根据偏好及其变化是否在逻辑语言及语义模型中有直接的反映，可以将其分为隐偏好和显偏好。本文旨在对含有隐偏好信息的逻辑进行研究，基于对直觉主义逻辑中的认知信息的分析，通过修改直觉主义逻辑的语义解释提出了隐偏好逻辑，并证明了该逻辑系统的可靠性和相对于可区分模型类的完全性；最后，通过定义哥德尔式的翻译映射将隐偏好逻辑嵌入到偏好逻辑中。