목차
Chapter 01 다중에이전트시스템 = 1
1.1 에이전트란? = 3
1.1.1. 제어 시스템 = 4
1.1.2. 소프트웨어 데몬(software demons) = 5
1.1.3. 환경(Environments) = 5
1.1.4. 지능형 에이전트 = 7
1.2 다중에이전트시스템 = 7
1.2.1. 전자상거래에서 중재자로서의 에이전트 = 9
1.2.1.1 에이전트의 유형 = 11
1.2.2. 공급망 관리 시스템(SCM: Supply Chain Management systems) = 12
1.2.2.1 SCM에서의 제도를 위한 모델 = 14
1.3 요약 = 16
1.4 연습 문제 = 17
Chapter 02 에이전트 의사소통 = 19
2.1 인간의 의사소통 = 22
2.1.1. 정신 상태 = 22
2.1.2. 화자의 의미 = 24
2.1.3. 인간의 언어학적 의사소통 = 25
2.2 언화 행위 이론 = 27
2.2.1. 선조건(Precondition)과 효과 = 28
2.2.2. 언표 내적 행위들의 분류 = 29
2.3 에이전트 의사소통 언어들 = 31
2.3.1. 구문론 = 32
2.3.1.1 추상적인 구문론 = 32
2.3.1.2 구체적인 구문론 = 33
2.3.2. 어휘 목록 = 34
2.3.3. 의미론: 다른 방법들 = 36
2.3.3.1 정신적인 접근법(Mentalistic approach) = 36
2.3.3.2 사회적 책임 이행 - 기반의 접근법(Social Commitment - based approach) = 38
2.3.3.3 그 외 접근법 = 39
2.4 요약 = 39
2.5 연습 문제 = 40
Chapter 03 책임 이행-기반의 에이전트 의사소통 언어 = 41
3.1 개요 = 43
3.2 주요 개념 = 45
3.2.1. 사회적 책임 이행(Social commitment) = 46
3.2.1.1 조건부 책임 이행(Conditional commitment) = 47
3.2.1.2 선-책임 이행(Pre-commitment) = 48
3.2.2. 시간적인 명제(Temporal proposition) = 49
3.3 기술적 명세 = 51
3.3.1. 정의 = 51
3.3.2. 책임 이행 클래스 = 52
3.3.1.1 필드 = 52
3.3.1.2 기본적인 메소드들 = 56
3.3.3. 시간적인 명제 클래스 = 57
3.3.4. 행위들 = 58
3.3.5. 갱신 규칙 = 59
3.4 주요 언화 행위들의 정의 = 60
3.4.1. 주장 행위(Assertives) = 61
3.4.2. 지시 행위(Directives) = 62
3.4.3. 위임 행위(Commissives) = 65
3.4.4. 선언 행위(Declarations) = 67
3.4.5. 제안 행위(Proposals) = 67
3.4.6. 제의 행위(Offers) = 68
3.5 제안된 의미론의 중요한 사용법 = 69
3.6 응용의 실례 = 70
3.6.1. Query = 72
3.6.2. 제안 행위(Proposal) = 72
3.6.3. 제의 행위(Offer) = 74
3.7 요약 = 75
3.8 연습 문제 = 76
Chapter 04 다중에이전트 시스템을 위한 논리 = 77
4.1 개요 = 79
4.2 모달 논리와 모달 언어의 가능 세계 의미론 = 79
4.2.1. 모달 논리의 필요성 = 79
4.2.2. 모달 언어의 가능 세계 의미론 = 81
4.3 모달 논리 = 83
4.3.1. 모달 논리의 개요 = 83
4.3.2. Kripke 의미론 = 85
4.3.3. 모달 논리의 완전성(Completeness) = 87
4.3.4. 시간적 논리 CTL = 88
4.3.5. LTL = 92
4.3.6. ATL, ATL＊, 그리고 ATEL = 93
4.4 번역 시스템(Interpreted Systems) = 99
4.4.1. 번역 시스템 = 99
4.4.2. 올바른 행위 번역 시스템(Correct Behaviour Interpreted Systems) = 104
4.5 의무 논리(Deontic Logic) = 105
4.5.1. 표준 의무 논리(Standard deontic logic) = 105
4.6 요약 = 108
4.7 연습 문제 = 108
Chapter 05 모델 체킹 = 109
5.1 모델 체킹(Model Checking)의 필요성 = 111
5.2 모델 체킹의 기법들 = 112
5.2.1. 고정점 특성화와 라벨링 알고리즘 = 112
5.2.2. 상징적 모델 체킹(Symbolic model checking) = 115
5.2.2.1 상태들의 집합의 인코딩 = 117
5.2.2.2 전이 관계의 인코딩 = 118
5.2.2.3 라벨링 알고리즘 = 119
5.2.2.4 OBDD를 이용한 라벨링 알고리즘과 모델 체킹 = 119
5.2.3. 오토마카-기반의 모델 체킹(Automata-based model checking) = 120
5.2.3.1 모델 체킹과 오토마타 = 121
5.2.4 SAT-기반 번역 = 123
5.2.4.1 LTL을 위한 제한된 모델 체킹 = 124
5.2.4.2 CTL을 위한 제한된 모델 체킹 = 124
5.2.4.3 한정되지 않은 모델 체킹 = 124
5.3 요약 = 125
5.4 연습 문제 = 126
Chapter 06 게임 이론 = 127
6.1 개요 = 129
6.2 전략형 게임(Strategic games) = 132
6.2.1. 2인 선수 게임 = 134
6.3 확장형 게임(Extensive games) = 137
6.3.1. 완전한 정보 게임(Perfect information games) = 138
6.3.2. 불완전한 정보 게임(Imperfect information games) = 143
6.4 논리와 게임의 관계 = 146
6.5 에이전트들의 전략적 제한(Strategic Constraints) = 147
6.5.1. 포괄적 게임과 번역시스템과의 관계 = 147
6.5.2. 전략적 제한(Strateic Constraints: SC) = 148
6.5.3. 전략적 제한에 기초한 번역시스템의 모델 체킹 = 150
6.6 요약 = 152
6.7 연습 문제 = 153
Chapter 07 SOA와 웹 서비스 = 155
7.1 SOA(Service Oriented Architecture)의 기초 = 157
7.1.1. SOA의 캡슐화 = 157
7.1.2. SOA의 통신 = 159
7.1.3. SOA의 설계 = 160
7.1.4. SOA의 특성 = 163
7.2 SOA의 장점 = 164
7.3 웹 서비스(Web Service)란? = 165
7.3.1. 웹 서비스 아키텍처의 구성 요소와 구동 = 167
7.3.2. 웹 서비스 기술 = 168
7.3.2.1 XML = 168
7.3.2.2 SOAP = 169
7.3.2.3 WSDL = 170
7.3.2.4 UDDI = 170
7.3.3. 웹 서비스의 사용 = 171
7.4 요약 = 173
7.5 연습 문제 = 174
부록 = 175
A.1 제의 행위(Offer) 프로토콜의 상호 작용 다이어그램의 상태들과 연관된 내용들 = 177
A.2 제안 행위(Proposal) 프로토콜의 상호 작용 다이어그램의 상태들과 연관된 내용들 = 179
참고문헌 = 181
찾아보기 = 185
