사회적 논리 프로그래밍: 타인 정신 상태와 행동 모델링

본 논문은 개인 에이전트가 다른 에이전트의 정신 상태를 추론하고 그에 따라 행동하도록 지원하는 논리 프로그래밍 기반 언어인 SOLP(Social Logic Programming)를 제안한다. SOLP는 선택 조건을 통해 사회적·집단적 요구를 표현하고, 이를 기존 안정 모델(Stable Model) 의미론과 집계(aggregate) 연산을 이용해 변환한다.

저자: Francesco Buccafurri, Gianluca Caminiti

이 논문은 인간이 일상에서 타인의 생각과 행동을 추론하고 그에 맞춰 자신의 행동을 조정해야 하는 상황을 모델링하기 위해, 논리 프로그래밍 기반의 새로운 지식 표현 언어인 SOLP(Social Logic Programming)를 제안한다. SOLP는 기존 논리 프로그램에 ‘사회적 조건’이라는 메커니즘을 추가함으로써, 개별 에이전트가 자신의 목표·요구를 표현하는 동시에, 다른 에이전트들의 정신 상태(즉, 그들의 목표·요구·허용 옵션)를 고려한 추론을 가능하게 한다. 사회적 조건은 `

원본 논문

고화질 논문을 불러오는 중입니다...

댓글 및 학술 토론

Loading comments...

의견 남기기