到目前为止,对于逻辑的动态性并没有一个确定的标准,本文首先介绍了动态逻辑的内容,然后从逻辑语法、推理、语义的角度对动态性的......

CP-nets是表达定性偏好的图模型，从偏好知识的推理角度看，其上的一个典型的推理任务是CP-nets所表达的偏好是否一致，即CP-nets是否蕴......

非单调性推理是指如对前提集合中加进新的知识，那么原结论可能不成立的推理。推定可分为可反驳的推定和不可反驳的推定。可反驳推定......

推理的非单调性是指如对前提集合中加进新的知识,那么原结论可能不成立。推定是指由法律规定或审判者决定的对或然性的事实加以认......

<正>1.引言Grice在1967年著名的威廉姆斯讲座中提出将会话意义划分为所言(what is said)和所含(what is implicated),但语义学家和......