×

HYPERSOLVER:常识集理论的图形工具。 (英语) Zbl 0873.03047号

摘要:本文研究了一种替代集理论(由Aczel提出),称为超集理论。Aczel使用集合的图形表示,因此允许表示非基础良好的集合。提出了一个名为HYPERSOLVER的程序,该程序可以求解在这一新理论的宇宙中以集合定义的方程组。这可能是常识推理的有用工具。

MSC公司:

03E70型 非经典和二阶集合论
03-04 数学逻辑和基础相关问题的软件、源代码等
68T27型 人工智能中的逻辑
03B35型 证明和逻辑运算的机械化

软件:

超溶剂
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Akman,V.,《从Zermelo到Aczel的集合理论》(1992年3月10日),安卡拉比尔肯特大学数学系,研讨会
[2] 阿克曼,V.,《超集与常识》(1992年10月21日),中东技术大学计算机工程系:中东技术大学安卡拉计算机工程系,研讨会
[3] Pakkan,M.,《超时空中的方程求解》(硕士论文(1993),比尔肯特大学计算机工程与信息科学系:土耳其安卡拉比尔肯特大学计算机工程和信息科学系)
[4] Pakkan,M。;阿克曼,V。,超解算器《常识集理论的图形工具》,(Gün,L.;澨nvural,R.;Gelenbe,E.,第八届计算机与信息科学国际研讨会(ISCIS VIII)论文集。第八届计算机与信息科学国际研讨会论文集(ISCIS VIII),斯坦福大学(1993),436-443
[5] Shoenfield,J.R.,《集合论公理》(Barwise,J.,《数学逻辑手册》(1977年),北荷兰:北荷兰阿姆斯特丹),321-344
[6] Fraenkel,A.A。;Bar-Hillel,Y。;Levy,A.,《集合论基础》(1973),北荷兰:北荷兰阿姆斯特丹·Zbl 0248.02071号
[7] Barwise,J.,《可容许集与结构》(1975),Springer-Verlag:Springer-Verlag Berlin·Zbl 0316.02047号
[8] Barwise,J。;Etchemendy,J.,《骗子:真理与循环论论文》(1987),牛津大学出版社:牛津大学出版社纽约·Zbl 0678.03001号
[9] McCarthy,J.(国际人工智能联合会议(IJCAI-85)。国际人工智能联合会议(IJCAI-85),加利福尼亚州洛杉矶(1985),卓越研究奖
[10] Perlis,D.,《常识集理论》(Maes,P.;Nardi,D.,Meta-Level Architectures and Reflection(1988),Elsevier(北荷兰人):Elsevie(北荷兰人)阿姆斯特丹),87-98·Zbl 0658.03038号
[11] Pakkan,M。;阿克曼,V.,《常识集理论中的问题》,(Oflazer,K.;阿克曼,V;哈利奇,U.,《第一届土耳其人工智能和神经网络研讨会论文集》(1992年),比尔肯特大学:安卡拉比尔肯特大学),47-52·兹伯利0814.03036
[12] Aczel,P.,《非西方基金集》(CSLI课堂讲稿(1988)第14号,语言与信息研究中心:加利福尼亚州斯坦福大学语言与信息中心)·Zbl 0668.04001号
[13] Barwise,J。;Moss,L.,超集,数学智能,13,4,31-41(1991)·Zbl 0756.03026号
[14] Barwise,J.,AFA与信息的统一,(the Situation in Logic.the Sitution in Logic,CSLI课堂讲稿(1989)第17号,语言与信息研究中心:加利福尼亚州斯坦福大学语言与信息中心),277-283
[15] McLarty,C.,《反资助与自我参照》,《哲学逻辑杂志》,22,19-28(1993)·Zbl 0780.03001号
[16] Perlis,D.,《语言与自我参照I:基础,人工智能》,25,3,301-322(1985)·Zbl 0581.03005号
[17] Barwise,J。;Perry,J.,《情境与态度》(1983年),麻省理工学院出版社:麻省理学院出版社,剑桥·Zbl 0946.03007号
[18] Barwise,J.,情境、集合和基础公理,(《逻辑情境》,《逻辑情境》,CSLI讲义第17期(1989年),语言与信息研究中心:语言与信息研究中心,加利福尼亚州斯坦福),177-200
[19] Barwise,J.,情境集理论(The Situation in Logic(1989),语言与信息研究中心:语言与信息中心,加利福尼亚州斯坦福市),第14章·Zbl 0219.02046号
[20] Barwise,J.,《论公共知识的模型理论》(the Situation in Logic.the Sitution in Logic,CSLI课堂讲稿(1989)第17号,语言与信息研究中心:语言与信息中心,加利福尼亚州斯坦福市),201-220
[21] Heller,D.(XView Programming Manual(1990),O'Reilly&Associates:O'Relly&Asseciates Sebastopol,CA)
[22] 罗伊,洛杉矶。;Davis,M。;梅辛格,E。;迈耶,C。;斯皮拉基斯,C。;Tuan,A.,有向图浏览器,软件实践与经验,17,1,61-76(1987)
[23] 甘斯纳,E.R。;南卡罗来纳州北部。;Vo,K.P.,绘制有向图的DAG-A程序,软件实践与经验,18,11,1047-1062(1988)·Zbl 0661.68067号
[24] Kamada,T。;卡瓦伊,S.,《绘制一般无向图的算法》,《信息处理快报》,31,7-15(1989)·Zbl 0679.68128号
[25] Paulisch,F.N。;Tichy,W.F.,EDGE:一个可扩展的图形编辑器,《软件实践与经验》,20,S1,63-88(1990)
[26] 锡,E。;Akman,V.,BABY-SIT:走向情境理论计算环境,(Martin-Vide,C.,数学语言学的当前问题(1994),Elsevier Science B.V:Elsevior Science B.V Amsterdam),299-308·Zbl 0804.68142号
[27] Mislove,M.W。;莫斯,L.S。;Oles,F.J.,部分集,(Copper,R.;Mukai,K.;Perry,J.,情境理论及其应用I.情境理论及其运用I,CSLI课堂讲稿第22期(1990年),语言与信息研究中心:加利福尼亚州斯坦福语言与信息研究中心),117-131
[28] 莫斯,L.S。,审查《骗子:真理与循环论论文》,《美国数学学会公报》,20,2,216-225(1989)
[29] Suppes,P。;Sheehan,J.,公理集理论CAI课程,(Suppes,P.,斯坦福大学计算机辅助教学:1968-1980(1981),斯坦福大学社会科学数学研究所:斯坦福大学社会学数学研究所,加利福尼亚州斯坦福大学),3-80
[30] Barwise,J。;Etchemendy,J.,《一阶逻辑的语言》(包括塔斯基的World 4.0的Macintosh版本),(CSLI课堂讲稿(1993)第23号,语言与信息研究中心:语言与信息中心,加利福尼亚州斯坦福市)·Zbl 0858.0302号
[31] Zadrozny,W.,《公理集合理论中的基数和良序》(Brachman,R.J.;Levesque,H.J.);Reiter,R.,《第一届知识表示和推理原理国际会议论文集》(1989),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),486-497·Zbl 0706.03023号
[32] McCarthy,J.,《人工智能需要更多地重视基础研究:总统季度致辞》,人工智能杂志,4,5(1983)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。