The greatest lower bound of two semantic schemas

被引：0
|
作者：
Tandareanu, Nicolae [1 ]
机构：
[1] Univ Craiova, Dept Comp Sci, Craiova, Romania
来源：
3RD INT CONF ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS, AND APPLICAT/4TH INT CONF ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 1 | 2006年
关键词：
Peano algebra; semantic schema; partial order; infimum;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We consider two semantic schemas S-1 and S-2 and the partial order between schemas introduced in [4]. The following results are obtained in this paper: a necessary and sufficient condition for the existence of inf {S-1, S-2} is proved; a method to obtain this structure is presented. This method is applied to multi-agent systems, where we introduce some kind of common knowledge of two agents whose knowledge are represented by S-1 and S-2.
引用
收藏
页码：124 / 129
页数：6
相关论文
共 50 条
  • [31] On semantic weighting and decomposition techniques for XML schemas
    Chen, YF
    Kuo, CCJ
    [J]. INTERNET MULTIMEDIA MANAGEMENT SYSTEMS V, 2004, 5601 : 100 - 110
  • [32] Hierarchical Distributed Systems Based on Semantic Schemas
    Colhon, Mihaela
    [J]. ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2009, 36 (02): : 47 - 52
  • [33] Path-based Reasoning in Semantic Schemas
    Tandareanu, N.
    Ghindeanu, M.
    [J]. ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2008, 35 : 171 - 181
  • [34] Semantic schemas and applications in logical representation of knowledge
    Tandareanu, N
    [J]. ISAS/CITSA 2004: International Conference on Cybernetics and Information Technologies, Systems and Applications and 10th International Conference on Information Systems Analysis and Synthesis, Vol 3, Proceedings, 2004, : 82 - 87
  • [35] Semantic Representation for Age Word Problems with Schemas
    Sundaram, Sowmya S.
    Abraham, Savitha Sam
    [J]. NEW GENERATION COMPUTING, 2019, 37 (04) : 429 - 452
  • [36] An Extension of Semantic Schemas to Represent Multiple Meanings
    Tandareanu, Nicolae
    [J]. IMETI 2008: INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING AND TECHNOLOGICAL INNOVATION, VOL I, PROCEEDINGS, 2008, : 143 - 148
  • [37] Semantic Representation for Age Word Problems with Schemas
    Sowmya S. Sundaram
    Savitha Sam Abraham
    [J]. New Generation Computing, 2019, 37 : 429 - 452
  • [38] Mapping DTDs to relational schemas with semantic constraints
    Lv, T
    Yan, P
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (04) : 245 - 252
  • [39] Generalized Semantic Schemas and Arguments to Use These Structures
    Tandareanu, Nicolae
    [J]. WMSCI 2008: 12TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS, 2008, : 56 - 61
  • [40] A lower bound for biases amongst products of two primes
    Hough P.
    [J]. Research in Number Theory, 3 (1)
12345