메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
김군오 (한동대학교)
저널정보
한국지능시스템학회 한국지능시스템학회 논문지 한국지능시스템학회 논문지 제28권 제3호
발행연도
2018.6
수록면
294 - 303 (10page)
DOI
10.5391/JKIIS.2018.28.3.294

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
분산 시스템에서 공통지식의 형성은 이론적으로 불가능하다고 증명되어왔다. 그러나 현실적인 가정을 전제로 한 에이전트그룹에서 시간적 제약이 없는 명제이거나 우호적이고 협동적인 에이전트들의 경우 카카오톡과 같은 채팅 환경에서 에이전트들의 공통지식이 형성될 수 있음을 보인다. 각 에이전트는 논리 프로그래밍으로 표현한 규칙의 집합으로 추상화한다. 그리고 지식이나 믿음과 같은 인식론적 개념은 정리증명을 통한 메타논리로 형식화 한다. 공통지식을 나타내기 위해 메타논리 프로그래밍으로 확장하고 몇 가지 사례를 통해 그 타당성을 보인다. 멀티 에이전트의 공통지식 형성을 위해 우호적, 협동적, 그리고 신의 있는 에이전트라는 세 가지 특징을 정의하고 이에 관한 성질들을 증명한다. 카카오톡 모델에서 공통지식이 한 그룹 채팅방에서 다른 그룹 채팅방으로 확산될 수 있음을 확인한다. 명제가 공통지식일 때 대응하는 방향그래프는 완전 그래프임도 증명한다. 사례 중 하나를 구현하여 본 연구의 형식론적 접근의 실용적 가능성을 보인다.

목차

요약
Abstract
1. 서론
2. 논리프로그래밍을 이용한 공통지식의 표현
3. CBK모델에서 공통지식 형성에 필요한 특성
4. CBK모델에서 공통지식의 구현
5. 연구 결과 비교 분석
6. 결론
References

참고문헌 (20)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2018-003-002236760