SYMBOLIC-PRODUCTION SYSTEMS AS A TOOL FOR FORMAL DESCRIPTION OF INFORMATION PROCESSES .1.

被引：0

作者：

NAZAROV, SV

SHEREMET, IA

机构：

来源：

AUTOMATION AND REMOTE CONTROL | 1992年 / 53卷 / 09期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We consider the main features of the symbolic-production model of knowledge representation by flow symbolic-production systems designed for description and implementation of information processes.

引用

页码：1459 / 1464

页数：6

共 50 条

[1] SYMBOLIC-PRODUCTION SYSTEMS AS A TOOL FOR FORMAL DESCRIPTION OF INFORMATION-PROCESSING .2.
NAZAROV, SV
SHEREMET, IA
AUTOMATION AND REMOTE CONTROL, 1992, 53 (10) : 1637 - 1641
[2] A SYMBOLIC DESCRIPTION OF THE PROCESSES OF COMPLEX-SYSTEMS
KOROTKIKH, VV
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1995, 33 (04) : 16 - 26
[3] FORMAL DESCRIPTION AND VERIFICATION OF PRODUCTION SYSTEMS
LIU, NK
DILLON, T
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1995, 10 (04) : 399 - 442
[4] INFORMATION PROCESSES .1. HIERARCHICAL INFORMATION-SYSTEMS
HOLLENBERG, D
JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1986, 37 (05): : 300 - 306
[5] Towards a formal description and automatic execution of production processes
Vjestica, Marko
Dimitrieski, Vladimir
Pisaric, Milan
Kordic, Slavica
Ristic, Sonja
Lukovic, Ivan
2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 463 - 468
[6] Formal architectural description language based on symbolic transition systems and modal logic
Poizat, Pascal
Royer, Jean-Claude
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (12) : 1741 - 1782
[7] Formal specification - an analytic tool for (management) information systems
Swatman, P. A.
Swatman, P. M. C.
INFORMATION SYSTEMS JOURNAL, 1992, 2 (02) : 121 - 160
[8] FORMAL TECHNOLOGY AND UNIVERSAL SYSTEMS .1.
KRYLOV, SM
CYBERNETICS, 1986, 22 (04): : 512 - 518
[9] DIAMOND AS A PRODUCTION TOOL .1.
TOWN, HC
MACHINERY AND PRODUCTION ENGINEERING, 1975, 127 (3269): : 98 - 101
[10] HIERARCHY OF DESCRIPTION LEVELS OF COMPLEX STATISTICAL SYSTEMS .1. PRINCIPLE OF INFORMATION DEGENERATION
GURIKOV, YV
ZHURNAL FIZICHESKOI KHIMII, 1983, 57 (05): : 1287 - 1289

← 1 2 3 4 5 →