LLM with PDDL

LLM의 행동에 대한 제약? 방법론에 대한 구조를 제시

LLM+P: Empowering Large Language Models with Optimal Planning Proficiency - 논문 리뷰

Cp-solver

프래닝하는 방식의 솔버로 정수형인데, 스케줄링을 하는데에 많이용함

제약조건을 명시했을떄 가능한 조합을 구하는 솔버임

CP-SAT 솔버  |  OR-Tools  |  Google for Developers

affordance, grounding llm

??

particle filter

확률론 기반 필터 SLAM쪽에서 많이 이용함

dbow2

특정 fiture를 잡아서 SLAM에서 closing-loop를 하기위한 클레시컬한 방법으로 인식