뉴스로 돌아가기
혁신AI Understanding 브리핑

Lemmalog는 LLM 에이전트 메모리를 데이터로그 엔진으로 전환합니다.

오픈 소스 Rust 프로젝트는 벡터 저장소 스타일 에이전트 메모리를 출처 추적 사실, 규칙 및 증분 추론으로 대체합니다. README는 강력한 벤치마크 및 토큰 효율성 결과를 보고할 뿐만 아니라 추출 및 측정 한계도 문서화합니다.

5 min readRead the primary source
Source-page capture accompanying Lemmalog turns LLM agent memory into a Datalog engine
기본 소스 문서녹음된 소스
출판사
github.com
소스 링크
github.comhttps://github.com/JordyZomer/lemmalog
소스 유형
기본 문서 — 우리가 직접 읽는 공식 발표, 논문, 서류 또는 자사 페이지입니다.
맥락60초 안에 이해하세요

여기서 시작하세요

주요 용어

대형 언어 모델(LLM)
텍스트를 생성하고 분석하기 위해 대규모 텍스트 말뭉치를 학습한 언어 모델입니다.
메모리(에이전트 메모리)
AI 에이전트는 연속성을 향상하기 위해 여러 단계 또는 세션에서 사용하는 저장된 컨텍스트입니다.
MCP(모델 컨텍스트 프로토콜)
AI 애플리케이션이 표준 방식으로 외부 도구, 데이터 소스 및 컨텍스트 제공자에 연결할 수 있게 해주는 개방형 프로토콜입니다.
자신을 테스트해 보세요AI 에이전트 퀴즈

무슨 일이 일어났나요?

GitHub 저장소 Lemmalog는 LLM 에이전트를 위한 구조화된 메모리 역할을 하도록 설계된 오픈 소스 데이터로그 엔진을 제공합니다. 추출된 사실을 저장하고, 규칙을 통해 결론을 도출하고, 출처를 추적하고, 증분 업데이트를 지원하고, MCP 서버를 통해 시스템을 노출합니다.

Lemmalog는 LLM 에이전트 메모리를 위한 Rust 상자, 명령줄 REPL, 에이전트 기술 및 MCP 서버로 제공됩니다. 핵심 설계 주장은 에이전트의 메모리가 의미상 유사한 구절의 모음이 아니라 연역적 데이터베이스처럼 작동해야 한다는 것입니다. 시스템은 추출 경계에서 기본 사실을 받아들인 다음 계층화된 데이터로그 규칙을 적용하여 시간적 관점, 모순 후보, 관련성 관계 및 기타 결론을 도출합니다. README는 모든 사실을 소스 에피소드로 출처를 전달하는 것으로 설명하므로 에이전트가 결론이 나온 이유를 검사할 수 있습니다.

저장소에 따르면 구현된 엔진에는 런타임 구문 분석된 계층화된 데이터 로그, 부정 처리, 기본 수정점 평가, 증분 델타 유지 관리, 양방향 사실 및 신뢰도 및 출처 주석이 포함되어 있습니다. 또한 Why() 쿼리, 읽기 전용 Ask() 쿼리, 매직 세트를 사용하는 수요 중심 Ask_deep() 쿼리, 지속성, 규칙 배치, 엔터티 해결 보기, 집계 및 가상 가정 쿼리를 통해 증명 트리를 나열합니다. 소식통은 철회 및 대체된 사실이 관련되지 않은 파생 관계를 재구성하는 대신 영향을 받은 종속 항목의 범위 재계산을 촉발한다고 말합니다.

이 프로젝트는 LLM을 추출 경계에 엄격하게 배치합니다. README에 따르면 호스트 모델은 대화 자료를 선택적인 신뢰 값을 사용하여 주제, 관계 및 객체와 같은 줄 기반 사실 형식으로 변환합니다. 그런 다음 Lemmalog는 결정론적 업데이트 정책을 적용합니다. 즉, 보이지 않는 사실 추가, 중복 항목을 무작동으로 처리, 배타적 관계에 대한 값 대체 또는 모호한 비배타적 변경 사항 확대 등이 있습니다. 또한 시스템은 자동으로 성공적인 섭취로 처리하는 대신 삭제되거나 변형된 추출 라인을 기록합니다.

소식통은 여러 가지 평가를 보고합니다. Claude Opus 4.8을 사용하여 실행한 30개의 질문으로 구성된 LongMemEval에서 저장소는 전체 메모리 F1이 0.48이고 원시 기록 모드의 경우 0.51이라고 보고하는 동시에 지식 업데이트 및 상당히 작은 컨텍스트에서 더 나은 성능을 주장합니다. 102개 질문으로 구성된 MemEval 비교에서 F1은 3회 실행에서 0.463 ± 0.010이고 이진 정확도는 0.575로 보고되었으며, 이는 자체 전체 컨텍스트 실행에서 보고된 0.197과 비교됩니다. LoCoMo에서는 세 번의 실행에 걸쳐 F1이 0.533 +/- 0.001로 보고됩니다. 이는 독립적으로 확립된 결과가 아닌 저장소에서 보고한 결과입니다.

소스 세부정보: github.com ↗

왜 중요한가요?

이 프로젝트는 증거를 보존하면서 정보를 유지하고, 업데이트를 처리하고, 모델에 전송되는 컨텍스트의 양을 제한하는 등 장기 실행 AI 에이전트의 실질적인 약점을 해결합니다. 자체 벤치마크 결과는 답변 품질, 컨텍스트 크기 및 추출 비용 간의 가능한 절충안을 제시합니다.

장기 실행 에이전트는 시간이 지남에 따라 변경되는 정보에 대한 질문에 답변해야 하는 경우가 많습니다. Lemmalog의 디자인은 주장된 사실과 파생된 뷰를 분리하여 해당 문제를 직접적으로 목표로 삼습니다. 새로운 고용주나 관리자와 같은 변경 사항은 이전 값을 대체할 수 있는 반면, 규칙은 변경된 관계에 따른 결론만 다시 계산할 수 있습니다. 구현이 설명된 대로 작동하면 에이전트 메모리를 더 감사하기 쉽게 만들고 언어 모델에 원시 성적표에서 기록을 재구성하도록 반복적으로 요청하는 것에 대한 의존도를 줄일 수 있습니다.

출처는 또 다른 실질적인 구별입니다. README에는 Why() 증명 트리가 파생된 사실을 이를 뒷받침하는 규칙 및 소스 에피소드에 연결할 수 있다고 나와 있습니다. 이는 기본 추출이 정확하다는 것을 입증하지는 않지만 오류를 더 쉽게 찾을 수 있도록 할 수 있습니다. 잘못된 결론은 나쁜 사실, 모호한 별칭, 결함이 있는 규칙 또는 불완전한 에피소드로 추적될 수 있습니다. 연구, 운영 또는 조사에 사용되는 시스템의 경우 이러한 분리는 사용자가 불투명한 메모리 검색을 받아들이는 대신 증거를 검토하는 데 도움이 될 수 있습니다.

보고된 컨텍스트 절감은 비용과 안정성 측면에서 잠재적으로 중요합니다. 저장소는 검색 경로가 전체 대화를 버리는 대신 순위가 매겨진 사실과 소스 에피소드에서 집중된 컨텍스트를 수집한다고 말합니다. LongMemEval 질문당 대략 2,300개의 답변 단계 토큰을 보고하고 전체 컨텍스트의 경우 약 104,000개를 보고하며 LoCoMo의 경우 대략 3,200개와 18,900개를 보고합니다. 소스는 증가하는 대화에 대해 지속적인 질문당 컨텍스트 비용을 추가로 모델링하는 동시에 풍부한 추출이 메모리 크기를 늘리고 추출 자체가 일회성 모델 비용을 수반한다고 경고합니다.

주장은 또한 프로젝트 자체의 증거에 의해 제한됩니다. README에 따르면 선호도 질문은 여전히 ​​약하고, 시간적 추론은 관련된 날짜의 이벤트를 모두 추출하는 데 의존하며, 사실이 추출되지 않았기 때문에 일부 다중 세션 답변이 실패했다고 합니다. 응답 모델의 온도를 제어할 수 없는 경우 벤치마크 결과가 크게 달라질 수 있다고 보고합니다. 이러한 제한 사항은 상징적 추론 계층이 저장된 사실이 완전하고, 올바르게 귀속되거나, 자연어에서 정확하게 추출된다는 것을 보장하지 않고 저장된 사실에 대한 일관성을 보장할 수 있기 때문에 중요합니다.

Interactive Mechanism

대화형 메커니즘: 실제로 작동하는 방식

이 개발의 이면에 있는 기본 기술을 대화식으로 살펴보세요.

Thinking Budget (Test-Time Tokens):1,024 tokens
Complex Accuracy79%Math & Code Logic
Latency3.2sTime to first full output
Inference Cost$0.0092Per query estimated
Reasoning StyleStep VerificationInternal chain depth
Active Thinking Trace:
1Deconstruct user problem into formal constraints
2Propose candidate hypotheses & step-by-step calculation
3Self-correction: Backtrack and refute subtle edge cases
4Exhaustive consistency check & final output synthesis
Core takeaway: Test-time compute fundamentally changes AI economics. Instead of only scaling during pre-training, giving reasoning models more tokens at inference time allows them to systematically solve PhD-level STEM problems.
대화형 개념 확인+10 Points
AI Agents Quiz

An agent must create a draft calendar event for Tuesday at 2 p.m. Which evidence would establish the requested result?

다음에 무엇을 볼 것인가

주요 질문은 보고된 결과가 저장소의 테스트 설정 외부에서 재현되는지 여부, 추출 및 응답에 사용되는 모델에 따라 성능이 얼마나 달라지는지, 프로젝트의 현재 구현이 프로덕션 메모리 워크로드에 충분히 성숙한지 여부입니다. 제공된 소스에는 명확한 게시 타임스탬프나 독립적인 평가가 표시되지 않습니다.

재현성은 모니터링해야 할 첫 번째 문제입니다. 저장소는 테스트 하네스, 캐시된 추출 결과 및 벤치마크 구성을 설명하지만 제공된 소스는 독립적인 복제, 공식 문서 또는 명확하게 보이는 릴리스 날짜를 제공하지 않습니다. 향후 조사에서는 보고된 F1, 토큰 및 대기 시간 결과가 모델, 데이터 세트, 하드웨어 및 제어된 샘플링을 통한 반복 실행 전반에 걸쳐 유지되는지 조사해야 합니다.

추출 경계는 시스템의 주요 실패 지점으로 남을 가능성이 높습니다. Lemmalog의 결정론적 엔진은 수신한 사실에 규칙을 적용할 수 있지만 README에서는 누락된 사실, 인식할 수 없는 양 또는 불완전한 이벤트 추출로 인해 여러 오류가 명시적으로 발생한다고 명시적으로 설명합니다. 실제 배포에서는 데이터로그 엔진의 정확성과 별도로 추출 리콜, 속성 정확도 및 신뢰도 보정을 측정해야 합니다.

규모와 워크로드 동작에도 주의가 필요합니다. 소스는 M 시리즈 노트북에서 500노드 체인 폐쇄에 약 17초가 걸리고, 증분 회전에 약 50밀리초가 걸리고, 조밀한 전이 폐쇄가 390만 팩트에 도달한다고 보고합니다. 이는 밀집된 폐쇄를 맹목적으로 구체화하는 것을 방지하는 방법으로 수요 쿼리를 제시하지만 대규모 프로덕션 시스템에서 메모리 사용, 지속성, 동시 액세스 또는 규칙 복잡성이 어떻게 작동하는지 설정하지 않습니다.

마지막으로 사용자는 MCP 인터페이스와 규칙 설치 모델이 어떻게 관리되는지 살펴봐야 합니다. 저장소에 따르면 에이전트는 버전이 지정된 규칙 배치를 설치 및 제거하고 Claude Code 또는 Kimi CLI를 통해 엔진을 공유 브레인으로 사용할 수 있습니다. 이는 유용한 유연성을 제공하지만 제공된 소스에서 답변되지 않은 운영 질문(예: 누가 규칙을 승인하는지, 충돌하는 스키마를 검토하는 방법, 민감한 에피소드를 보호하는 방법, 사용자가 모델에서 추출된 주장과 기계적으로 파생된 결론을 구별하는 방법)을 제기합니다.

관련 가이드 및 퀴즈

AI 에이전트ChatGPT와 LLMAI 트레이닝알고 있는 내용을 테스트해 보세요. 무료 AI 퀴즈를 시도해 보세요.용어집에서 AI 용어를 찾아보세요.AI 모델 출시 추적기를 따르세요.
이것이 유용하다고 생각하시나요?