Update semantics for multilevel relations

2002 ◽  
Author(s):  
S. Jajodia ◽  
R. Sandhu ◽  
E. Sibley
Keyword(s):  
Update Semantics

scholarly journals A Schema for Generating Update Semantics

2012 ◽  
Vol 3 (3) ◽  
Author(s):  
Jos´e Luis ◽  
Claudia Zepeda ◽  
Guillermo Flores
Keyword(s):  
Update Semantics

Update Semantics in Communicated Information System

2011 ◽  
Vol 403-408 ◽  
pp. 1460-1465
Author(s):  
Guang Ming Chen ◽  
Xiao Wu Li
Keyword(s):  
Information Systems ◽  
Propositional Logic ◽  
General Purpose ◽  
Main Task ◽  
Information Communication ◽  
Classical Propositional Logic ◽  
Update Semantics ◽  
Essential Form ◽  
Soundness And Completeness ◽  
Multi Agents

An approach, which is called Communicated Information Systems, is introduced to describe the information available in a number of agents and specify the information communication among the agents. The systems are extensions of classical propositional logic in multi-agents context, providing with us a way by which not only the agent’s own information, but the information from other agents may be applied to agent’s reasoning as well. Communication rules, which are defined in the most essential form, can be regarded as the base to characterize some interesting cognitive proporties of agents. Since the corresponding communication rules can be chosen for different applications, the approach is general purpose one. The other main task is that the soundness and completeness of the Communicated Information Systems for the update semantics have been proved in the paper.

Sign in / Sign up

Export Citation Format

Share Document