Sign In

Cplus2ASP: Computing Action Language C+ in Answer Set Programming

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

μ €μž

Joseph Babb, Joohyung Lee

πŸ’‘ κ°œμš”

λ³Έ 논문은 μ•‘μ…˜ μ–Έμ–΄ C+의 결정적 쑰각을 κ΅¬ν˜„ν•˜λŠ” μ‹œμŠ€ν…œ Cplus2ASP의 버전 2λ₯Ό μ†Œκ°œν•©λ‹ˆλ‹€. μƒˆλ‘œμš΄ μ‹œμŠ€ν…œμ€ μ΅œμ‹  Answer Set Programming (ASP) 기법을 ν™œμš©ν•˜μ—¬ 이전 버전에 λΉ„ν•΄ μƒλ‹Ήν•œ 속도 ν–₯상을 μ΄λ£¨μ—ˆμŠ΅λ‹ˆλ‹€. μ΄λŠ” f2lp, clingo, iclingo, as2transitionκ³Ό 같은 도ꡬλ₯Ό μ‘°ν•©ν•˜μ—¬ C+ μ„€λͺ…을 iclingo의 점진적 μ‹€ν–‰ λͺ¨λ“œμ— λ§žλŠ” ν˜•νƒœλ‘œ λ³€ν™˜ν•¨μœΌλ‘œμ¨ κ°€λŠ₯ν•΄μ‘ŒμŠ΅λ‹ˆλ‹€.

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

β€’
μ•‘μ…˜ μ–Έμ–΄ C+ ν”„λ‘œκ·Έλž¨μ„ ASPλ₯Ό 톡해 효율적으둜 계산할 수 μžˆλŠ” μƒˆλ‘œμš΄ μ‹œμŠ€ν…œ(Cplus2ASP v2)을 μ œμ‹œν•©λ‹ˆλ‹€.
β€’
점진적 μ‹€ν–‰ λͺ¨λ“œλ₯Ό 톡해 νš¨μœ¨μ„±μ„ λ†’μ˜€μœΌλ©°, μ€‘μ²©λœ ν‘œν˜„μ‹μ„ ν¬ν•¨ν•˜λŠ” ν”„λ‘œκ·Έλž¨μ— λŒ€ν•œ λͺ¨λ“ˆ 정리가 ν™•μž₯λ˜μ—ˆμŒμ„ λ³΄μ—¬μ€λ‹ˆλ‹€.
β€’
Lua ν˜ΈμΆœμ„ ν†΅ν•œ μ™ΈλΆ€ μ›μž 및 μ‚¬μš©μž μƒν˜Έμž‘μš© λͺ¨λ“œμ™€ 같은 μœ μš©ν•œ κΈ°λŠ₯을 μ œκ³΅ν•˜λ©°, B 및 BC와 같은 λ‹€λ₯Έ μ•‘μ…˜ μ–Έμ–΄λ‘œμ˜ ν™•μž₯ κ°€λŠ₯ν•œ 닀쀑 λͺ¨λ‹¬ λ²ˆμ—­μ„ μ§€μ›ν•©λ‹ˆλ‹€.
β€’
λ…Όλ¬Έμ—μ„œλŠ” Cplus2ASP v2의 ꡬ체적인 μ„±λŠ₯ ν‰κ°€λ‚˜ μ‹€μ œ λ³΅μž‘ν•œ μ‹œλ‚˜λ¦¬μ˜€μ—μ„œμ˜ 적용 사둀에 λŒ€ν•œ μƒμ„Έν•œ μ„€λͺ…은 μ œν•œμ μΌ 수 μžˆμŠ΅λ‹ˆλ‹€.
πŸ‘
Made with Slashpage