Creating a Second Order Diagrammatic Logic

被引：0

作者：

Chapman, Peter ^{[1
]}

Stapleton, Gem ^{[1
]}

机构：

[1] Univ Brighton, Visual Modelling Grp, Brighton BN2 4AT, E Sussex, England

来源：

DIAGRAMMATIC REPRESENTATION AND INFERENCE | 2010年 / 6170卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Many of the formal diagrammatic logics that have been developed are limited to be first order (typically monadic). This means that such logics cannot define commonly occurring concepts and, thus, are not as widely applicable as we might like. Suitably increasing their expressiveness will allow both the formalization of second order concepts and the study of such concepts from a new perspective. Our aim is to produce a second order diagrammatic logic and we present the initial ideas towards the development of such a logic.

引用

页码：298 / 300

页数：3

共 8 条

[1]

[Anonymous], 2004, J SOFTWARE SYSTEM MO

[2]

[Anonymous], 1994, The logical status of diagrams

[3]

[Anonymous], 2005, LMS Journal of Computation and Mathematics, DOI DOI 10.1112/S1461157000000942

[4] A diagrammatic reasoning system for the description logic ALC [J].

Dau, Frithjof ;

Eklund, Peter .

JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (05) :539-573

[5]

Delaney A, 2008, LECT NOTES ARTIF INT, V5223, P172, DOI 10.1007/978-3-540-87730-1_18

[6]

KENT S, 1997, P OOPSLA97, P327, DOI DOI 10.1145/263698.263756

[7]

Stapleton G., 2007, VLC 2007, P187

[8] CLASSIFYING REGULAR EVENTS IN SYMBOLIC LOGIC [J].

THOMAS, W .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (03) :360-376

← 1 →