Multiagent System for Provably Multifaceted AI Cooperation
개인기초연구(과기정통부)(R&D) · 우수연구-핵심연구(전략형)
2026년
2710113470
과학기술정보통신부
한국연구재단
고려대학교
이동헌
6명
2026.09.01 ~ 2027.08.31
2025.09.01 ~ 2028.08.31
1.9억원
1.9억원
기초연구
대학
서울특별시 성북구
정보/통신 > 정보이론 > 인공지능
본 연구는 인간의 논리적 사고와 다면적 상호협력 능력을 인공지능 시스템에서 구현하여, 다면적 상호협력이 증명으로 보장되는 인공지능 멀티에이전트 시스템을 실제로 개발하고 그 성능을 실증하는 것을 최종 목표로 합니다. 이를 위한 세부 목표는 다음과 같습니다. 첫째, 형식 수리논증 기반의 논리정합성 검증 도구를 Lean 프로그래밍 언어를 활용하여 설계하고 구현합니다. ...
... Lean 프로그래밍 언어를 사용하여 AI 에이전트의 판단 결과를 논리적으로 증명할 수 있는 도구를 설계하고 구현합니다. 이 도구는 자동 형식화 기법과 증명 자동화 기법을 활용하여 AI 시스템의 판단과 추론 과정이 명확한 논리 구조로 설명될 수 있도록 합니다.두 번째 세부 목표는 자발적 도구 호출이 가능한 언어모델 내재 AI 에이전트 설계 및 구현입니다. 이를 위해 Language ...
... 수학적 추론을 수행함으로써 기존의 연구 방식을 혁신하고, 복잡한 증명 및 연구문제에 대한 새로운 협력적 접근법을 제공할 것으로 기대됩니다.또한, 스마트 팩토리, 스마트 그리드, 지능형 교통 시스템 등 다양한 분산 시스템의 인공지능 기반 자율적 의사결정 체계에 적용되어 운영의 안정성과 효율성을 동시에 높일 수 있으며, 법률·의료·공공업무 등 전문 분야의 복합 문제 해결에 필요한 협력형 ...