Weighted Rules under the Stable Model Semantics
์์ฑ์
- Haebom
์นดํ
๊ณ ๋ฆฌ
Empty
์ ์
Joohyung Lee, Yi Wang
๐ก ๊ฐ์
๋ณธ ๋
ผ๋ฌธ์ ๋ง๋ฅด์ฝํ ๋
ผ๋ฆฌ์ ๋ก๊ทธ-์ ํ ๋ชจ๋ธ์ ๊ธฐ๋ฐ์ผ๋ก ๊ฐ์ค์น ๊ท์น ๊ฐ๋
์ ์์ ๋ชจ๋ธ ์๋ฏธ๋ก ์ ๋์
ํฉ๋๋ค. ์ด๋ฅผ ํตํด ์์ ๋ชจ๋ธ ์๋ฏธ๋ก ์ ๊ฒฐ์ ๋ก ์ ํน์ฑ์ ๊ทน๋ณตํ๊ณ , ํ๋ก๊ทธ๋จ์ ๋ถ์ผ์น ํด๊ฒฐ, ์์ ๋ชจ๋ธ ์์ ๋งค๊ธฐ๊ธฐ, ํ๋ฅ ๋ถ์ฌ, ํต๊ณ์ ์ถ๋ก ์ ์ฉ ๋ฑ์ ๋ค์ํ ๋ฐฉ๋ฒ์ ์ ๊ณตํฉ๋๋ค.
๐ ์์ฌ์ ๋ฐ ํ๊ณ
โข
์์ ๋ชจ๋ธ ์๋ฏธ๋ก ์ ๊ฒฐ์ ๋ก ์ ํ๊ณ๋ฅผ ๊ทน๋ณตํ์ฌ ๋ถ์ผ์น ํด๊ฒฐ, ๋ชจ๋ธ ์์ ์ง์ , ํ๋ฅ ๋ถ์ฌ ๋ฑ ์ ์ฐํ ์ถ๋ก ์ด ๊ฐ๋ฅํด์ง๋๋ค.
โข
๊ธฐ์กด์ Answer Set Programming, Markov Logic, ProbLog, P-log ๋ฑ๊ณผ ๊ฐ์ ๊ด๋ จ ํ์์ฃผ์๋ค๊ณผ์ ํ์์ ๋น๊ต๋ฅผ ํตํด ๋ณธ ๋ฐฉ๋ฒ๋ก ์ ์์น์ ์ฅ์ ์ ๋ช
ํํ ํฉ๋๋ค.
โข
ํต๊ณ์ ์ถ๋ก ์ ๊ฐ์ค์น ์์ ๋ชจ๋ธ ๊ณ์ฐ์ ์ ์ฉํ ์ ์๋ ๊ธฐ๋ฐ์ ๋ง๋ จํ์ฌ, ๋ถํ์ค์ฑ์ด ์กด์ฌํ๋ ๋ณต์กํ ์ง์ ํํ ๋ฐ ์ถ๋ก ๋ฌธ์ ์ ๋ํ ์๋ก์ด ์ ๊ทผ ๋ฐฉ์์ ์ ์ํฉ๋๋ค.
