Update Semantics in Communicated Information System

Guang Ming Chen; Xiao Wu Li

doi:10.4028/www.scientific.net/AMR.403-408.1460

Paper Titles

Research of Node Localization Algorithm Based on DV-HOP in Wireless Sensor Networks
p.1442

Shallow Analysis of Mobile Learning Environment under Cloud Computing
p.1447

The Method of Real-Time Distance Measurement Based on Monocular Vision
p.1451

An Algorithm of Incremental Bayesian Classifier Based on K-Nearest Neighbor
p.1455

Update Semantics in Communicated Information System
p.1460

A 2D Ray Tracing Method Based on the Virtual Source Tree in Urban Environment
p.1466

Analysis on Convenience of Beijing Urban Subway Transfer Stations Based on GIS
p.1471

Study on Assessment Mechanism of Emergency Management System in China
p.1475

Research on Intrusion Detection Method Based on Neural Network
p.1479

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 403-408Update Semantics in Communicated Information...

Update Semantics in Communicated Information System

Abstract:

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 403-408)

Pages:

1460-1465

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.403-408.1460

Citation:

Cite this paper

Online since:

November 2011

Authors:

Guang Ming Chen, Xiao Wu Li

Keywords:

Communicationed Information System, Multi-Agent (MA), Update Semantics

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] J. McCarthy. Generality in artificial intelligence. Communications of ACM. 30(12), 1987, pp.1030-1035.

DOI: 10.1145/33447.33448

Google Scholar

[2] F. Giunchiglia. Contextual reasoning. Epistemologia. XVI(1993), pp.345-364.

Google Scholar

[3] F. Giunchiglia and L . Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence. 65(1), 1994, pp.29-70.

DOI: 10.1016/0004-3702(94)90037-x

Google Scholar

[4] F . Roelofsen and L . Serafini. Minimal and absent information in contexts. In Proc. 19th International Joint conference on Artificial Intelligence. IJCAI-05, (2005).

Google Scholar

[5] Gerhard Brewka, Floris Roelofsen, and Luciano Serafini. In Proc. 20th International Joint Conference on Artificial Intelligence. IJCAI-07, (2007).

Google Scholar

[6] Frank Veltman. Defualts in update semantics. ITLI Prepublication series LP-91-02, University of Amsterdam, (1991).

Google Scholar

[7] Groeneveld, W. and Veltman, F.: 1994, Inference systems for update semantics. in R. Cooper and J. Groenendijk (eds. ): Integrating Semantic Theories II. Amsterdam, (1995).

Google Scholar

[8] LI Xiao-wu. Update Semantics for Epistemic Systems and Conditional Systems. Mind and Computation. 2008(2), pp.74-135.

Google Scholar

[9] LI Xiao-wu. A Course in Mathematical Logic. Sun Yat-sen University Press, China, (2002).

Google Scholar