The concept of logical fiberings and fibered logical controllers

被引：0
|
作者：
Pfalzgraf, J [1 ]
机构：
[1] Salzburg Univ, Dept Comp Sci, A-5020 Salzburg, Austria
来源：
COMPUTING ANTICIPATORY SYSTEMS | 2001年 / 573卷
关键词：
logical fiberings; polycontextural logics; distributed logics; decomposition of m-valued logics; cooperating robots;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The notion of a logical fibering is introduced originating in an industrial project on so-called polycontextural logic (PCL). It is shown that PCL is a special class of logical fiberings. Based on an example it is indicated how given rn-valued logical connectives can be represented by a logical fibering. The notion of a transjunction is explained and it is motivated how it can be exploited to model a "logical controller" for cooperating robots.
引用
收藏
页码：683 / 693
页数：5
相关论文
共 50 条
  • [1] LOGICAL FIBERINGS AND POLYCONTEXTURAL SYSTEMS
    PFALZGRAF, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 170 - 184
  • [2] Logical fiberings and polycontextural systems
    Pfalzgraf, J.
    International Workshop on Fundamentals of Artificial Intelligence Research, 1991,
  • [3] Logical linguistic controllers
    Vassilyev, S. N.
    Kudinov, I. Y.
    Kudinov, Y. I.
    Pashchenko, F. F.
    XII INTERNATIONAL SYMPOSIUM INTELLIGENT SYSTEMS 2016, (INTELS 2016), 2017, 103 : 629 - 636
  • [4] ON THE CONCEPT OF THE LOGICAL
    DEJKOV, A
    FILOSOFICKY CASOPIS, 1980, 28 (02): : 227 - 236
  • [5] FUNDIERUNG AS A LOGICAL CONCEPT
    ROTA, GC
    MONIST, 1989, 72 (01): : 70 - 77
  • [6] The concept of logical consequence
    Glavanicova, Daniela
    ORGANON F, 2015, 22 (04) : 577 - 581
  • [7] The concept of logical consequence
    Hanson, WH
    PHILOSOPHICAL REVIEW, 1997, 106 (03): : 365 - 409
  • [8] CONCEPT AS A LOGICAL OBJECT
    MATERNA, P
    FILOSOFICKY CASOPIS, 1993, 41 (05): : 843 - 857
  • [9] The concept of logical consequences
    Arazim, Pavel
    FILOSOFICKY CASOPIS, 2016, 64 (01): : 136 - 141
  • [10] Modeling cooperating agents scenarios by deductive planning methods and logical fiberings
    Pfalzgraf, J
    Sigmund, UC
    Stokkermans, K
    INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 167 - 190
12345