%0 Journal Article
%T 逻辑中的元级概念
%A 王献昌
%J 计算机科学
%D 1992
%I 
%X 语言和思维的主要作用是将主观规定的性质归于事物,然后断言之。对语言和思维的这一研究构成了元语言的基础。属性本身亦是一类事物,故也可以把元语言看作是对象语言。这个事实具有重要的影响,并成为逻辑和 AI 领域内许多研究的基础。本文将综述这方面工作。
%K 人工智能
%K 逻辑
%K 元级概念
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8BFF5C64406C80AB625C921F1142169B&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=94C357A881DFC066&sid=5D311CA918CA9A03&eid=FC0714F8D2EB605D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0