Sign In

Why Not? Solver-Grounded Certificates for Explainable Mission Planning

Created by
  • Haebom
Category
Empty

μ €μž

Najeeb Khan

πŸ’‘ κ°œμš”

λ³Έ 논문은 지ꡬ κ΄€μΈ‘ μœ„μ„± 운용 μ‹œ μŠ€μΌ€μ€„λ§ 결정에 λŒ€ν•œ νƒ€λ‹Ήν•œ κ·Όκ±°λ₯Ό μ œκ³΅ν•˜λŠ” μ„€λͺ… κ°€λŠ₯ν•œ λ―Έμ…˜ κ³„νšμ„ μœ„ν•œ μƒˆλ‘œμš΄ μ ‘κ·Ό 방식을 μ œμ•ˆν•©λ‹ˆλ‹€. κΈ°μ‘΄ λ°©μ‹μ˜ ν•œκ³„λ₯Ό κ·Ήλ³΅ν•˜κΈ° μœ„ν•΄ μ΅œμ ν™” λͺ¨λΈ μžμ²΄μ—μ„œ 직접 νŒŒμƒλœ '솔버 기반 μΈμ¦μ„œ'λ₯Ό μ‚¬μš©ν•˜μ—¬ μ„€λͺ…μ˜ 좩싀도λ₯Ό λ†’μ˜€μŠ΅λ‹ˆλ‹€. μ œμ•ˆλœ 방법둠은 κ±°λΆ€λœ μš”μ²­μ— λŒ€ν•œ μ΅œμ†Œ λΆˆκ°€λŠ₯ 뢀뢄집합, μ„ νƒλœ μš”μ²­μ— λŒ€ν•œ μ œμ•½ 쑰건 및 λŒ€μ‘°μ  μ ˆμΆ©μ•ˆ, 그리고 "λ§Œμ•½μ—" μ§ˆμ˜μ— λŒ€ν•œ μ—­λ°©ν–₯ ν•΄κ²°μ±… 등을 ν¬ν•¨ν•˜λ©°, 이λ₯Ό 톡해 높은 μ •ν™•μ„±κ³Ό μ•ˆμ •μ„±μ„ λ‹¬μ„±ν–ˆμŠ΅λ‹ˆλ‹€.

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

β€’
μ„€λͺ…μ˜ 좩싀도 ν–₯상: μ΅œμ ν™” λͺ¨λΈ μžμ²΄μ—μ„œ 직접 μ„€λͺ…(μΈμ¦μ„œ)을 μΆ”μΆœν•¨μœΌλ‘œμ¨, 기쑴의 사후 뢄석 λ°©μ‹μ—μ„œ λ°œμƒν•  수 μžˆλŠ” 인과 관계 였λ₯˜, λΆˆμ™„μ „ν•œ μ œμ•½ 쑰건 μ‘°ν•©, 솔버 경둜 μ˜μ‘΄μ„± 문제λ₯Ό ν•΄κ²°ν•©λ‹ˆλ‹€.
β€’
λ‹€μ–‘ν•œ μœ ν˜•μ˜ μ„€λͺ… 제곡: μš”μ²­ κ±°λΆ€, 선택, 그리고 미래 μ‹œλ‚˜λ¦¬μ˜€μ— λŒ€ν•œ μ§ˆλ¬ΈκΉŒμ§€ ν¬κ΄„ν•˜λŠ” 체계적이고 톡합적인 μ„€λͺ… 체계λ₯Ό μ œκ³΅ν•©λ‹ˆλ‹€.
β€’
μ‹€μš©μ μΈ ν™•μž₯μ„±: λŒ€κ·œλͺ¨ μŠ€μΌ€μ€„λ§ μΈμŠ€ν„΄μŠ€μ— λŒ€ν•΄μ„œλ„ μ‹€μ œ μš΄μ˜μ— ν•„μš”ν•œ μ‹œκ°„ 내에 μ„€λͺ…을 μΆ”μΆœν•  수 μžˆμŒμ„ μž…μ¦ν–ˆμŠ΅λ‹ˆλ‹€.
πŸ‘
Made with Slashpage