Optical vector logic theorem-proving

被引：0

作者：

Westphal, J ^{[1
]}

Caulfield, J ^{[1
]}

Hardy, J ^{[1
]}

Qian, L ^{[1
]}

机构：

[1] Idaho State Univ, COLD Project, Business & Technol Ctr, Pocatello, ID 83201 USA

来源：

Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3 | 2005年

关键词：

''Vector Logic; optics; theorem-proving;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Vector Logic converts the processes of logical argument into geometrical transformations. There has been prior work in diagrammatic logic and the geometrical representations of logic [1]. Unlike some of these systems, Vector Logic has an optical implementation. By reducing theorem-proving to image translations, this implementation enables optical theorem-proving.

引用

页码：1323 / 1326

页数：4

共 10 条

[1]

ANDERSON M, 1994, P C INF OR APPR LOG

[2]

[Anonymous], 1879, BEGRIFFSSCHRIFT ARIT

[3]

[Anonymous], LINE DIAGRAMS LOGIC

[4]

BARKERPLUMMER D, 1992, P 10 EUR C ART INT

[5]

Bryant RandalE., 1992, ACM Computing Surveys (CSUR), V24, P293

[6]

GARDNER M, 1988, EUREKA, V48

[7]

HUBBELING HG, 1965, LOGIQUE ANAL, V8

[8]

Leibniz GottfriedWilhelm., 1966, Logical Papers

[9]

PEARL J, 1987, P AAAI 87 C

[10]

Uribe T. E., 1994, Constraints in Computational Logics. First International Conference, CCL'94. Proceedings, P34, DOI 10.1007/BFb0016843

← 1 →