KIPS Transactions on Software and Data Engineering (정보처리학회논문지:소프트웨어 및 데이터공학)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Study on the Illocutionary Effect-Based FIPA-ACL Semantics

언표내적 효과 기반의 FIPA-ACL 의미론 연구

  • 구자록 (울산대학교 전기공학부)
  • Received : 2015.11.16
  • Accepted : 2015.12.07
  • Published : 2016.01.31
Download PDF
⟨ Previous Next ⟩

Abstract

One of the most important aspects of the research on multi-agent systems is the definition of agent communication languages(ACLs) and the specification of a proper formal semantics of ACLs. In this paper, we propose an illocutionary effect-based FIPA-ACL semantics which overcomes the two traditional semantic approaches. The key idea of this new semantics is based on the semantic concepts of success and satisfaction conditions of illocutionary acts in speech act theory, and the common ground theory-based framework. As case studies using this new semantics, we define the primitive speech acts of FIPA-ACL such as inform and request. For the strengths of the proposed approach we illustrate our new semantics on an e-commerce agent purchase negotiation. Also, we compare this approach with two traditional semantic approaches for ACLs.

다중에이전트 시스템에서 매우 중요한 연구 분야 중 하나는 에이전트소통언어(ACL)의 정의와 ACL의 적당한 공식적 의미론의 제시이다. 본 논문에서는 기존의 두 개의 의미론적 접근방식을 뛰어넘는 언표내적 효과 기반의 FIPA-ACL의 의미론을 제안한다. 제안한 의미론의 주요 개념은 언화행위이론의 언표내적 행위의 성공과 만족조건에 대한 의미론적 개념과 공통근거 기반의 프레임워크에 기초하고 있다. 제안한 의미론을 사용하여 사례연구로 inform과 request와 같은 FIPA-ACL의 대표적인 언화행위를 정의한다. 제안된 의미론의 강점을 보이기 위하여 자동차 판매자와 잠재 고객 간의 전자상거래 에이전트 구매협상을 응용 예로 제시한다. 그리고 기존의 의미론적 방식들과의 비교를 보인다.

Keywords

References

  1. FIPA, "FIPA Communicative Act Library Specification," http://www.fipa.org, Foundation for Intelligent Physical Agents, 2002.
  2. J. R. Searle, "Speech acts: An essay in the philosophy of language," Cambridge University Press, pp.54-71, 1969.
  3. J. R. Searle, D. Vanderveken, Foundations of illocutionary logic, Cambridge University Press, pp.1-26, 1985.
  4. B. Gaudou, A. Herzig, and D. Longin, M. Nickles, "A New Semantics for the FIPA Agent Communication Language based on Social Attitudes," 17th European Conf. on Artificial Intelligence, pp.245-249, 2006.
  5. Hans Madsen Pedersen, "Speech Acts and Agents-A Semantic Analysis," PhD. Dissertation, 2002.
  6. B. Gaudou, "Formalizing social attitudes in modal logic," PhD. Dissertation, 2008.
  7. J. R. Austin, "How to Do Things With Words," Oxford, UK., 1962.
  8. D. Vanderveken, "Principles of language use, Vol.1 of Meaning and Speech Acts," Cambridge University Press, pp.103-227, 1990.
  9. R. Hakli and S. Negri, "Reasoning about collectively accepted group beliefs," Journal of Philosophy Logic, Vol.40, pp.531- 555, 2011. https://doi.org/10.1007/s10992-011-9188-0
  10. M. Gilbert, "On Social Facts," Princeton University Press, pp.204-214, 1989.
  11. M. Gilbert, "Collective Epistemology," Episteme, Vol.1, Issue 02, pp.95-107, Oct., 2004. https://doi.org/10.3366/epi.2004.1.2.95
  12. B. Gaudou, A. Herzig, and D. Longin, "Group belief and grounding in conversation," A. Trognon et al.(ed.), Language, Cognition, Interaction, pp.1-31, 2008.
  13. B. Gaudou, A. Herzig, and D. Longin, "Grounding and the expression of belief," Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp.221-229, AAAI Press, 2006.
  14. B. Gaudou, A. Herzig, and D. Longin, "A logical framework for grounding-based dialogue analysis," Electronic Notes in Theoretical Computer Science, Vol.157, No.4, pp.117-137, 2006. https://doi.org/10.1016/j.entcs.2006.02.016
  15. J. Pfau, L. Sonenberg, and Y. Kashima, "Towards a computational formalism for a grounding model of cultural transmission," Proceedings of the 2012 ASE/ IEEE International Conference on Social Computing, pp.383-391, 2012.
  16. D. R. Traum, "Computational theory of grounding in natural language conversation," PhD. thesis, Computer Science Department, University of Rochester, pp.1-175, 1994.
  17. Douglas N. Walton, Erik C. W. Krabbe, "Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning," State University of New-York Press, NY, 1995.
  18. FIPA, "FIPA Contract Net Interaction Protocol Specification," http://www.fipa.org, Foundation for Intelligent Physical Agents, 2002.