Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

A process algebraic framework for multi-agent dynamic epistemic systems

Created by
  • Haebom
Category
Empty

저자

Alessandro Aldini

개요

본 논문은 레이블 전환 시스템의 고전적 모델과 지식 추론을 위한 인식 모델을 결합하여, 다중 에이전트, 지식 기반, 동적 시스템을 모델링하고 분석하기 위한 통합 프레임워크를 제시한다. 모델링 측면에서는 실용적인 목적에 쉽게 사용할 수 있는 프로세스 대수 기반의 에이전트 지향 명세 언어를 제안한다. 검증 측면에서는 시간적 연산자와 인식 연산자를 포함하는 모달 논리를 정의한다.

시사점, 한계점

다중 에이전트 시스템의 모델링 및 분석을 위한 통합 프레임워크 제공
실용적인 에이전트 지향 명세 언어 제안
시간적 및 인식적 연산자를 포괄하는 모달 논리 정의
(한계점은 논문 요약에 명시되지 않아, 여기서는 기재하지 않음)
👍