에이전트스펙
AgentSpeak | 이 글에는 여러 가지 문제가 있다.이 문제를 개선하거나 대화 페이지에서 토의하십시오.(이러한 템플릿 메시지를 제거하는 방법 및 시기 알아보기)
|
| 패러다임 | 에이전트 지향 프로그래밍 |
|---|---|
| 설계자 | 아난드 라오 |
| 첫 등장 | 1996; 전 ( |
| 주요 구현 | |
| 제이슨이야. | |
AgentSpeak은 에이전트 지향 프로그래밍 언어다.그것은 (인지적) 자율 에이전트를 위한 논리 프로그래밍과 신념-욕망-의도적 소프트웨어 모델(BDI) 아키텍처를 기반으로 한다.이 언어는 원래 AgentSpeak(L)이라고 불렸으나 원래 언어의 변형을 가리키는 용어인 AgentSpeak(에이전트Speak)으로 더 유명해졌다.
역사
1996년 아난드 라오는 BDI 아키텍처를 기반으로 논리 기반의 에이전트 프로그래밍 언어를 만들어 에이전트스피크(L)라고 명명했다.[1]이것은 다중 에이전트 시스템 문헌에서 매우 인용된 논문이 되었다.원래 개념에서, AgentSpeak은 절차적 추론 시스템(PRS)[2]과 같은 BDI 아키텍처의 실제 구현과 모달 로지스틱을 사용한 BDI 아키텍처 뒤의 아이디어의 공식화 사이의 관계에 대한 이해를 돕기 위한 추상적인 에이전트 프로그래밍 언어였다.[3]
예를 들어, 다양한 저자들이 AgentSpeak(L) 언어의 추가적인 공식화에 기여했다.[4]최근 몇 년 동안, 그 언어는 연구와 개발 모두에서 부활되었다.연구 측면에서는, 모델 점검을 이용한 AgentSpeak 프로그램의 정식 검증뿐만 아니라 AgentSpeak의[5][6][7] 확장에 관한 연구도 있었다.[8][9]이 언어는 또한 제이슨 플랫폼의 발달로 인해 가장 인기 있는 에이전트 중심 언어 중 하나이다.
또한 에이전트스피크(L)는 대회 초반부터 최신판까지 멀티 에이전트 프로그래밍 콘테스트의 솔루션을 개발하는 데 있어 가장 눈에 띄는 수단이다.
참고 항목
참조
- ^ 아난드 S.라오, 1996년AgentSpeak(L): 논리 계산 가능한 언어로 BDI 에이전트 발표MAAMAW-96) Multi-Agent World에서 자율 에이전트 모델링에 관한 제7차 유럽 워크숍의 진행.
- ^ 마이클 P.조지프, 에이미 L. 랜스키: 반응적 추론과 계획AAAI 1987: 677–682
- ^ A.Rao와 M.조지프BDI 로직의 의사결정 절차.Logic and Computing 8(3), 293–343(1998)의 저널.
- ^ Mark d'Inverno, Michael Luck: 엔지니어링 에이전트Speak(L): 공식 계산 모델.J. 로그.계산 8(3): 233-260(1998).
- ^ R.H.보르디니, J.F.허브너, M.울드리지Jason을 사용하여 AgentSpeak에서 Multi-에이전트 시스템 프로그래밍존 와일리 & 선즈, 2007년
- ^ 라파엘 보르디니, 알바로 F.Moreira: 에이전트 지향 프로그래밍 언어의 BDI 속성 입증.앤. 수학.아티팩트 42(1–3): 197–226(2004)
- ^ 알바로 F. 레나타 비에이라모레이라, 마이클 울드리지, 라파엘 H. 보르디니:에이전트 지향 프로그래밍 언어에서의 음성-법률 기반 의사소통의 공식 의미론에 관한 연구J. Artitude.인텔.(JAIR) 29: 221-267(2007)
- ^ 라파엘 H. 보르디니, 마이클 피셔, 윌렘 비서, 마이클 울드리지:모델 검사 Rational 에이전트.IEEE 지능형 시스템 19(5): 46–52(2004).
- ^ 라파엘 H. 보르디니, 마이클 피셔, 윌렘 비서, 마이클 울드리지:모델 검사로 다중 에이전트 프로그램 확인.자율 에이전트 및 멀티 에이전트 시스템 12(2): 239–256(2006)
외부 링크
- SourceForge의 AgentSpeak은 AgentSpeak의 확장을 위한 통역이다.
