Sign In

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

์ž‘์„ฑ์ž
  • Haebom
์นดํ…Œ๊ณ ๋ฆฌ
Empty

์ €์ž

Xavier Parent

๐Ÿ’ก ๊ฐœ์š”

๋ณธ ๋…ผ๋ฌธ์€ ์ด์ „ ์—ฐ๊ตฌ์—์„œ ์ œ๊ธฐ๋œ ๋ฌธ์ œ๋ฅผ ํ•ด๊ฒฐํ•˜๊ธฐ ์œ„ํ•ด ๋‘ ๋‹จ๊ณ„์˜ ์„ ํ˜ธ๋„ ๊ธฐ๋ฐ˜ ์˜๋ฏธ๋ก ์  ํ”„๋ ˆ์ž„์›Œํฌ๋ฅผ ๊ฐœ๋ฐœํ•˜์—ฌ, ์–‘๋ฆฝํ•  ์ˆ˜ ์—†๋Š” ์ •๋ณด๊ฐ€ ์ถ”๊ฐ€๋  ๋•Œ ์ด์ „์— ๋„์ถœ๋œ ์˜๋ฌด๋ฅผ ์ฒ ํšŒํ•  ์ˆ˜ ์žˆ๋Š” ๋น„๋‹จ์กฐ์  ์ถ”๋ก  ๋ฉ”์ปค๋‹ˆ์ฆ˜์„ ํ†ตํ•ฉํ•ฉ๋‹ˆ๋‹ค. ๋‘ ๊ฐœ์˜ ๊ณ„์ธต(์ด์ƒ์„ฑ ๋ฐ ์ •์ƒ์„ฑ)์— ๋Œ€ํ•œ ์ˆœ์œ„ ๋ถ€์—ฌ ๋ฐฉ์‹์„ ํ™œ์šฉํ•˜์—ฌ ๊ธฐ์กด ์ ‘๊ทผ ๋ฐฉ์‹์˜ ํ•œ๊ณ„๋ฅผ ๊ทน๋ณตํ•˜๋ฉฐ, ์ œ์•ฝ์  ์ž…์ถœ๋ ฅ(I/O) ๋…ผ๋ฆฌ๋ฅผ ํฌํ•จํ•œ ๊ทœ๋ฒ”์  ์ถ”๋ก ์˜ ํ‘œ์ค€๊ณผ๋„ ์—ฐ๊ฒฐ๋ฉ๋‹ˆ๋‹ค.

๐Ÿ”‘ ์‹œ์‚ฌ์  ๋ฐ ํ•œ๊ณ„

โ€ข
๊ธฐ์กด ์„ ํ˜ธ๋„ ๊ธฐ๋ฐ˜ ์˜๋ฏธ๋ก ์— ๋น„๋‹จ์กฐ์  ์ถ”๋ก ์„ ํ†ตํ•ฉํ•˜์—ฌ ๋™์ ์ด๊ณ  ์ถฉ๋Œ ๊ฐ€๋Šฅํ•œ ๊ทœ๋ฒ”์  ์ƒํ™ฉ์„ ํšจ๊ณผ์ ์œผ๋กœ ๋ชจ๋ธ๋งํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
โ€ข
์ด์ƒ์„ฑ(ideality)๊ณผ ์ •์ƒ์„ฑ(normality)์ด๋ผ๋Š” ๋‘ ๊ฐ€์ง€ ์ฐจ์›์˜ ์„ ํ˜ธ๋„๋ฅผ ํ™œ์šฉํ•จ์œผ๋กœ์จ ๋”์šฑ ์ •๊ตํ•˜๊ณ  ํ˜„์‹ค์ ์ธ ์˜๋ฌด ๋ชจ๋ธ๋ง์ด ๊ฐ€๋Šฅํ•ฉ๋‹ˆ๋‹ค.
โ€ข
๋…ผ๋ฌธ์—์„œ ๊ณ ๋ ค๋œ ๊ณต๋ฆฌ(antecedent strengthening, inclusion, no-drowning ๋“ฑ)๋“ค์€ ๋น„๋‹จ์กฐ์  ์ถ”๋ก ์˜ ๊ฒฌ๊ณ ์„ฑ์„ ๋ณด์žฅํ•˜๋Š” ๋ฐ ๊ธฐ์—ฌํ•ฉ๋‹ˆ๋‹ค.
โ€ข
์ œ์•ฝ์  ์ž…์ถœ๋ ฅ(I/O) ๋…ผ๋ฆฌ์™€์˜ ์—ฐ๊ฒฐ์€ ์„œ๋กœ ๋‹ค๋ฅธ ๋ฐฉ๋ฒ•๋ก ์„ ์‚ฌ์šฉํ•˜๋Š” ๋‘ ๋ถ„์•ผ ๊ฐ„์˜ ์ด๋ก ์  ํ†ตํ•ฉ ๊ฐ€๋Šฅ์„ฑ์„ ๋ณด์—ฌ์ค๋‹ˆ๋‹ค.
โ€ข
ํ–ฅํ›„ ์—ฐ๊ตฌ์—์„œ๋Š” ์ œ์•ˆ๋œ ํ”„๋ ˆ์ž„์›Œํฌ๋ฅผ ์‹ค์ œ์ ์ธ ๊ทœ๋ฒ”์  ์‹œ์Šคํ…œ์— ์ ์šฉํ•˜๊ณ , ๋ณต์žกํ•œ ์ถฉ๋Œ ํ•ด๊ฒฐ ์ „๋žต์„ ํƒ๊ตฌํ•  ํ•„์š”๊ฐ€ ์žˆ์Šต๋‹ˆ๋‹ค.
๐Ÿ‘