非标准逻辑相关论文
人工智能飞速发展,自然语言在人工智能中的表达至关重要。逻辑学通过一阶逻辑和模态逻辑等研究领域,在人工智能语言表达中起着至关......
<正> 中国逻辑学会第四次代表大会和第六次全国形式逻辑讨论会、第五次全国辩证逻辑讨论会于8月17日至21日在天津市塘沽区委党校召......
【正】 林邦瑾的《制约逻辑——传统逻辑与现代逻辑的结合》一书已由贵州人民出版社正式出版,通过《人民日报》和中央电视台的报道......
'隐式愿望'的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的......
<正> 一 自从弗雷格的《表意文字》1879年发表以来,现代形式逻辑有了巨大的发展。二值命题逻辑和谓词逻辑可以看做为“标准逻辑”......
<正>逻辑哲学是一门新兴的哲学学科,它研究与逻辑的性质或意义有关的哲学问题。在哲学这个很大的领域中,逻辑哲学跟科学哲学、语......
【正】 法律中经常出现带有“必须”、“应当”、“可以”等模态词的法规。为了准确地理解和正确地执行这类带有模态词的法规,就必......
【正】 什么是传统逻辑的特点?我认为,有以下几点可以肯定。 第一,传统逻辑是用静态的观点来反映客观事物的。它是客观事物的相对......
【正】 树枝(有的文章译为表列方法)是一种树形的反驳逻辑系统,在人工智能文献中又叫语义树。命题和一阶逻辑的树枝图理论是由Beth......
【正】 10年改革,我国逻辑学界思想十分活跃,学术研究空气异常浓厚,编写出版了大量教材、专著及其他著述,所取得的成就令人瞩目.这......
结合新近发展起来的Ｆｕｚｚｙ命题逻辑的思想和组合线路险象识别技术的背景，改造Ｇｏｅｄｅｌ蕴算子和公式代数的赋值格，构造了另一种带Ｆｕｚｚｙ外壳和Ｂｏｏｌｅ心脏的险象识......
<正> 在现代科学的认识过程中,除了传统的归纳逻辑方法之外,逻辑方法至少还应包括如下形态: 1.基本逻辑:(1)标准逻辑:命题逻辑和......
