A process algebraic framework for multi-agent dynamic epistemic systems
Created by
Haebom
Category
Empty
저자
Alessandro Aldini
개요
본 논문은 레이블 전환 시스템의 고전적 모델과 지식 추론을 위한 인식 모델을 결합하여, 다중 에이전트, 지식 기반, 동적 시스템을 모델링하고 분석하기 위한 통합 프레임워크를 제시한다. 모델링 측면에서는 실용적인 목적에 쉽게 사용할 수 있는 프로세스 대수 기반의 에이전트 지향 명세 언어를 제안한다. 검증 측면에서는 시간적 연산자와 인식 연산자를 포함하는 모달 논리를 정의한다.