Sign In

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effec

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Alan L. McCann

πŸ’‘ κ°œμš”

λ³Έ 논문은 AI μ‹œμŠ€ν…œμ΄ λŸ°νƒ€μž„μ— μ‹€ν–‰ κ°€λŠ₯ν•œ ꡬ쑰λ₯Ό ν•©μ„±ν•˜λŠ” ν˜„μƒμ΄ 증가함에 따라, μ½”λ“œ ν‘œν˜„μ—μ„œ μ‹€ν–‰μœΌλ‘œμ˜ μ „ν™˜μ΄ μ œμ•½ 없이 μ΄λ£¨μ–΄μ§€λŠ” evalκ³Ό 같은 κΈ°λ³Έ 연산을 ν†΅μ œλœ 효과(governed effect)둜 μž¬λΆ„λ₯˜ν•΄μ•Ό ν•œλ‹€κ³  μ£Όμž₯ν•©λ‹ˆλ‹€. 이λ₯Ό μœ„ν•΄ ν”„λ‘œκ·Έλž¨ ν‘œν˜„μ„ 일급 κ°’μœΌλ‘œ μ·¨κΈ‰ν•˜κ³ , 순수 κ³„μ‚°μœΌλ‘œ μ‘°μž‘ν•˜λ©°, μ‹€ν–‰ κ°€λŠ₯ν•œ 기계 ν˜•νƒœλ‘œ λ³€ν™˜ν•˜λŠ” 과정을 μ •μ±… μ€€μˆ˜, λŠ₯λ ₯ μš”κ΅¬μ‚¬ν•­, μžμ› μΆ”μ • 등을 λΆ„μ„ν•˜λŠ” ν†΅μ œ μ‹œμŠ€ν…œμ„ 톡해 κ΄€λ¦¬ν•˜λŠ” 'ν†΅μ œλœ λ©”νƒ€ν”„λ‘œκ·Έλž˜λ°'을 μ œμ•ˆν•©λ‹ˆλ‹€.

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

β€’
AI μ‹œμŠ€ν…œμ˜ λŸ°νƒ€μž„ μ½”λ“œ 생성이 증가함에 따라 evalκ³Ό 같은 μ‹€ν–‰ λ©”μ»€λ‹ˆμ¦˜μ— λŒ€ν•œ ν†΅μ œ 및 κ±°λ²„λ„ŒμŠ€μ˜ ν•„μš”μ„±μ„ κ°•μ‘°ν•©λ‹ˆλ‹€.
β€’
ν”„λ‘œκ·Έλž¨ ν‘œν˜„μ˜ μ‘°μž‘μ„ 순수 κ³„μ‚°μœΌλ‘œ λΆ„λ¦¬ν•˜κ³ , μ‹€μ œ μ‹€ν–‰μœΌλ‘œμ˜ μ „ν™˜(materialization)을 μ—„κ²©νžˆ ν†΅μ œν•˜λŠ” μƒˆλ‘œμš΄ μ–Έμ–΄ 섀계 νŒ¨λŸ¬λ‹€μž„μ„ μ œμ‹œν•©λ‹ˆλ‹€.
β€’
eval을 μ–Έμ–΄μ˜ κΈ°λ³Έ μ›μ‹œ μ—°μ‚°μ—μ„œ λ²—μ–΄λ‚˜, 잠재적 μœ„ν—˜μ„ 관리할 수 μžˆλŠ” 'ν†΅μ œλœ 효과'둜 μž¬μ •μ˜ν•˜λŠ” 것이 핡심적인 κΈ°μ—¬μž…λ‹ˆλ‹€.
β€’
MashinTalk DSL을 톡해 μ œμ•ˆλœ λ©”νƒ€ν”„λ‘œκ·Έλž˜λ° 방식을 κ΅¬ν˜„ν•˜κ³  기쑴의 μ •ν˜• κ²€μ¦λœ 정리(machine-checked theorems)μ™€μ˜ 톡합을 μ„±κ³΅μ μœΌλ‘œ λ³΄κ³ ν•©λ‹ˆλ‹€.
β€’
ν•œκ³„μ μœΌλ‘œλŠ” μ œμ•ˆλœ ν†΅μ œ μ‹œμŠ€ν…œμ˜ ν™•μž₯μ„± 및 μ‹€μ œ λ³΅μž‘ν•œ AI μ›Œν¬ν”Œλ‘œμš°μ—μ„œμ˜ μ„±λŠ₯ νŠΉμ„±μ— λŒ€ν•œ 좔가적인 연ꡬ가 ν•„μš”ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
πŸ‘
Made with Slashpage