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

Xia Youming, Yin Hongli, Zhao Lihong

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.

References

  1. N.R.Jennings, P.Faratin et al. Automated Negotiation: Prospects, Methods and Challenges, Int Journal of Group Decision and Negotiation, 2000
  2. Sarit Kraus, Automated Negotiation and Decision Making in Multiagent Environments, 9th ECCAI, ACAI 2001, EASSS 2001 P151-171
  3. Pietro Panzarasa and Nicholas R.Jennings, Formalizing collaborative decision-making and practical reasoning in multi-agent systems. Logic computer, Vol.12,pp.55-117,2002
  4. M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception, and Knowledge In Logic Journal of the IGPL , 9(2):273-288, 2001.
  5. Li Jing,Multi-Agent System based on Negotiation Axiom System of Capability and Thought, master dissertation, 2003, Yunnan Normal University, Kunming P.R.China.
Download


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