检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《学理论》2012年第9期3-5,共3页Theory Research
摘 要:从使用人工语言表示一个一元论或二元论观点入手,首先,在一阶逻辑上定义"归元谓词",并使用集合的观点改写其表达式;其次,运用"归元谓词"定义一元论和二元论,并指出二元论的逻辑错误;然后将以上观点运用于对一个实例的分析,即对试图使用哥德尔定理反驳强人工智能观点的工作加以反驳;最后得出结论:讨论"世界本原"问题是无意义的,一个一元论仅仅是在承认空集存在的意义上被我们接受。The text from using artificial language said a a yuan on the or II Yuan on the views start,first in a order logic Shang defined 'to yuan predicate',and using collection of views overwrite its expression type;second using 'to yuan predicate' defined monism and dualism,and pointed out that II yuan on the of logic errors;and will above views using Yu on a instance of analysis,is on tries to using G?del theorem refuted strong artificial intelligence views of work be refuted;last came conclusions: discussion 'world primitive' problem is no significance of,Monism is in the recognized sense of the empty set is only accepted.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.16.48.173