Sign In

Model Change for Description Logic Concepts

Created by
  • Haebom
Category
Empty

μ €μž

Ana Ozaki, Jandson S. Ribeiro

πŸ’‘ κ°œμš”

λ³Έ 논문은 기술 논리(Description Logic) κ°œλ…μ„ 점으둜 ν‘œμ‹œλœ 해석(pointed interpretations)으둜 ν‘œν˜„λœ λͺ¨λΈμ„ 기반으둜 μˆ˜μ •ν•˜λŠ” 'λͺ¨λΈ λ³€κ²½(model change)' 문제λ₯Ό λ‹€λ£Ήλ‹ˆλ‹€. λͺ¨λΈ λ³€κ²½μ—λŠ” λͺ¨λΈμ„ μ œκ±°ν•˜λŠ” '퇴거(eviction)', λͺ¨λΈμ„ ν¬ν•¨ν•˜λŠ” '수용(reception)', 그리고 μ œκ±°μ™€ 포함을 κ²°ν•©ν•œ 'μˆ˜μ •(revision)'의 μ„Έ 가지 μœ ν˜•μ΄ μžˆμŠ΅λ‹ˆλ‹€. 특히, μˆ˜μ •μ€ λ‹¨μˆœνžˆ 퇴거와 수용의 κ²°ν•©μœΌλ‘œ ν™˜μ›λ˜μ§€ μ•ŠλŠ”λ‹€λŠ” 점을 μ œμ•ˆν•˜κ³ , EL 및 ALC 기술 논리 κ°œλ…μ—μ„œμ˜ 퇴거와 수용의 ν˜Έν™˜μ„±, 그리고 ALC κ°œλ…μ—μ„œμ˜ μˆ˜μ • ν˜Έν™˜μ„±μ— λŒ€ν•œ 긍정적/뢀정적 κ²°κ³Όλ₯Ό μ œμ‹œν•©λ‹ˆλ‹€.

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

β€’
기술 논리 κ°œλ…μ„ λ™μ μœΌλ‘œ λ³€κ²½ν•˜κ³  μ—…λ°μ΄νŠΈν•˜λŠ” μƒˆλ‘œμš΄ ν”„λ ˆμž„μ›Œν¬μΈ 'λͺ¨λΈ λ³€κ²½'을 μ •μ˜ν•˜μ—¬, λΆˆν™•μ‹€ν•˜κ±°λ‚˜ λ³€ν™”ν•˜λŠ” 정보λ₯Ό μ²˜λ¦¬ν•˜κΈ° μœ„ν•œ 이둠적 κΈ°λ°˜μ„ μ œκ³΅ν•©λ‹ˆλ‹€.
β€’
직관과 달리, λͺ¨λΈμ˜ μ œκ±°μ™€ 포함을 κ²°ν•©ν•˜λŠ” 'μˆ˜μ •' 연산은 λ‹¨μˆœνžˆ 두 연산을 λΆ„λ¦¬ν•˜μ—¬ μ μš©ν•˜λŠ” 것과 λ‹€λ₯΄λ©°, μ΄λŠ” λ³΅μž‘ν•œ λͺ¨λΈ λ³€κ²½ μ‹œλ‚˜λ¦¬μ˜€μ— λŒ€ν•œ 깊이 μžˆλŠ” 이해λ₯Ό μš”κ΅¬ν•©λ‹ˆλ‹€.
β€’
EL 및 ALC와 같은 νŠΉμ • 기술 λ…Όλ¦¬μ—μ„œ λͺ¨λΈ λ³€κ²½ μ—°μ‚°λ“€μ˜ ν˜Έν™˜μ„±μ— λŒ€ν•œ 뢄석은 μ‹€μ§ˆμ μΈ 적용 κ°€λŠ₯성을 νƒμƒ‰ν•˜λŠ” 데 μ€‘μš”ν•œ 정보λ₯Ό μ œκ³΅ν•˜μ§€λ§Œ, 더 λ³΅μž‘ν•˜κ±°λ‚˜ λ‹€μ–‘ν•œ 기술 논리에 λŒ€ν•œ ν™•μž₯ 연ꡬ가 ν•„μš”ν•©λ‹ˆλ‹€.
πŸ‘
Made with Slashpage