MULTI-AGENT SYSTEM FORMAL MODEL BASED ON NEGOTIATION AXIOM SYSTEM OF TEMPORAL LOGIC

Xia Youming, Yin Hongli, Zhao Lihong

2005

Abstract

In this paper we describe the formal semantic frame and introduce the formal language LTN to express the time and the ability and right of an agent on selecting action and negotiation process in a Multi-Agent System, the change of the right over time, the free action of an agent and the time need by a agent to complete an action. Based on the above, the independent negotiation system has been further complete. In this paper, it is also addressed that the axiom system is rational, validate and negotiation reasoning logic is soundness, completeness and consistent.

Paper Citation

in Harvard Style

Youming X., Hongli Y. and Lihong Z. (2005). MULTI-AGENT SYSTEM FORMAL MODEL BASED ON NEGOTIATION AXIOM SYSTEM OF TEMPORAL LOGIC . In Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 972-8865-19-8, pages 362-365. DOI: 10.5220/0002517503620365

in Bibtex Style

@conference{iceis05,
author={Xia Youming and Yin Hongli and Zhao Lihong},
title={MULTI-AGENT SYSTEM FORMAL MODEL BASED ON NEGOTIATION AXIOM SYSTEM OF TEMPORAL LOGIC},
booktitle={Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2005},
pages={362-365},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002517503620365},
isbn={972-8865-19-8},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - MULTI-AGENT SYSTEM FORMAL MODEL BASED ON NEGOTIATION AXIOM SYSTEM OF TEMPORAL LOGIC
SN - 972-8865-19-8
AU - Youming X.
AU - Hongli Y.
AU - Lihong Z.
PY - 2005
SP - 362
EP - 365
DO - 10.5220/0002517503620365