Sign In

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration

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

μ €μž

Davide Bizzaro, Alessandro Daniele

πŸ’‘ κ°œμš”

λ³Έ μ—°κ΅¬λŠ” 신경망 ν•™μŠ΅κ³Ό 기호 좔둠을 κ²°ν•©ν•˜λŠ” μ‹ κ²½κΈ°ν˜Έ 톡합(Neurosymbolic Integration, NeSy) λΆ„μ•Όμ—μ„œ, 데이터 기반 κ·œμΉ™ ν•™μŠ΅κ³Ό 기호적 사전 지식 및 μ „λ¬Έκ°€ 지식을 μœ μ—°ν•˜κ²Œ 톡합할 수 μžˆλŠ” μƒˆλ‘œμš΄ 언어인 Logic of Hypotheses (LoH)λ₯Ό μ œμ•ˆν•©λ‹ˆλ‹€. LoHλŠ” 선택 μ—°μ‚°μž(choice operator)λ₯Ό ν¬ν•¨ν•˜λŠ” ν™•μž₯된 λͺ…μ œ 논리 ꡬ문을 μ‚¬μš©ν•˜μ—¬, ν•™μŠ΅ κ°€λŠ₯ν•œ νŒŒλΌλ―Έν„°λ₯Ό 톡해 μ—¬λŸ¬ μ˜΅μ…˜ 쀑 ν•˜λ‚˜μ˜ λΆ€λΆ„ 곡식을 μ„ νƒν•˜κ²Œ ν•©λ‹ˆλ‹€. 이λ₯Ό 퍼지 λ…Όλ¦¬λ‘œ μ»΄νŒŒμΌν•˜μ—¬ λ―ΈλΆ„ κ°€λŠ₯ν•œ 계산 κ·Έλž˜ν”„λ‘œ λ³€ν™˜ν•¨μœΌλ‘œμ¨, μ—­μ „νŒŒλ₯Ό 톡해 졜적의 선택을 ν•™μŠ΅ν•  수 μžˆμŠ΅λ‹ˆλ‹€.

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

β€’
κΈ°μ‘΄ NeSy λͺ¨λΈμ„ ν¬κ΄„ν•˜λ©°, 지식 λͺ…μ‹œμ„±μ˜ μž„μ˜μ  정도λ₯Ό μ§€μ›ν•˜μ—¬ μœ μ—°μ„±μ„ λ†’μž…λ‹ˆλ‹€.
β€’
괴델 퍼지 논리와 괴델 νŠΈλ¦­μ„ μ‚¬μš©ν•˜μ—¬ μ„±λŠ₯ μ €ν•˜ 없이 λͺ¨λΈμ„ 이산적인 λΆ€μšΈ κ°’ ν•¨μˆ˜λ‘œ λ³€ν™˜ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
ν‘œ ν˜•μ‹ 데이터와 지각 μš”μ†Œλ₯Ό ν¬ν•¨ν•˜λŠ” 두 가지 NeSy νƒœμŠ€ν¬μ—μ„œ κ°•λ ₯ν•œ μ‹€ν—˜ κ²°κ³Όλ₯Ό λ³΄μ—¬μ€λ‹ˆλ‹€.
β€’
선택 μ—°μ‚°μžμ™€ κ΄€λ ¨λœ ν•™μŠ΅ 및 μ΅œμ ν™”μ˜ λ³΅μž‘μ„± 증가 κ°€λŠ₯성이 μžˆμŠ΅λ‹ˆλ‹€.
β€’
LoH μ–Έμ–΄μ˜ ν‘œν˜„λ ₯κ³Ό 적용 λ²”μœ„λ₯Ό λ”μš± ν™•μž₯ν•˜κΈ° μœ„ν•œ 좔가적인 연ꡬ가 ν•„μš”ν•©λ‹ˆλ‹€.
πŸ‘
Made with Slashpage