Sign In

Model Space Reasoning as Search in Feedback Space for Planning Domain Generation

Created by
  • Haebom
Category
Empty

μ €μž

James Oswald, Daniel Oblinsky, Volodymyr Varha, Vasilije Dragovic, Harsha Kokel, Kavitha Srinivas, Michael Katz, Shirin Sohrabi

πŸ’‘ κ°œμš”

μžμ—°μ–΄ μ„€λͺ…μœΌλ‘œλΆ€ν„° κ³„νš 도메인을 μƒμ„±ν•˜λŠ” λ¬Έμ œλŠ” LLM의 λ°œμ „μ—λ„ λΆˆκ΅¬ν•˜κ³  μ—¬μ „νžˆ μ–΄λ €μš΄ 과제둜 남아 μžˆμŠ΅λ‹ˆλ‹€. λ³Έ μ—°κ΅¬λŠ” μ—μ΄μ „νŠΈ μ–Έμ–΄ λͺ¨λΈ ν”Όλ“œλ°± ν”„λ ˆμž„μ›Œν¬λ₯Ό ν™œμš©ν•˜μ—¬, 상징적 정보가 μ•½κ°„ μΆ”κ°€λœ μžμ—°μ–΄ μ„€λͺ…μœΌλ‘œλΆ€ν„° κ³ ν’ˆμ§ˆ κ³„νš 도메인을 μƒμ„±ν•˜λŠ” 방법을 νƒκ΅¬ν•©λ‹ˆλ‹€. 특히, λžœλ“œλ§ˆν¬λ‚˜ VAL ν”Œλžœ 검증기 좜λ ₯κ³Ό 같은 λ‹€μ–‘ν•œ 상징적 ν”Όλ“œλ°±μ„ 톡해 도메인 생성 ν’ˆμ§ˆμ„ ν‰κ°€ν•˜κ³ , λͺ¨λΈ 곡간 탐색을 톡해 도메인 ν’ˆμ§ˆμ„ μ΅œμ ν™”ν•©λ‹ˆλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
LLM에 상징적 ν”Όλ“œλ°±μ„ κ²°ν•©ν•¨μœΌλ‘œμ¨ κ³„νš 도메인 μƒμ„±μ˜ ν’ˆμ§ˆμ„ 크게 ν–₯μƒμ‹œν‚¬ 수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
λͺ¨λΈ κ³΅κ°„μ—μ„œμ˜ 탐색은 효율적인 도메인 생성 및 μ΅œμ ν™”λ₯Ό μœ„ν•œ μœ λ§ν•œ μ ‘κ·Ό λ°©μ‹μž…λ‹ˆλ‹€.
β€’
λ‹€μ–‘ν•œ 도메인과 λ³΅μž‘μ„±μ— λŒ€ν•œ μΌλ°˜ν™” μ„±λŠ₯ 검증 및 ν”„λ‘¬ν”„νŠΈ μ—”μ§€λ‹ˆμ–΄λ§μ˜ 역할에 λŒ€ν•œ μΆ”κ°€ 연ꡬ가 ν•„μš”ν•©λ‹ˆλ‹€.
πŸ‘