Towards Mass Spectrum Analysis with ASP
์ด ๋ ผ๋ฌธ์ Answer Set Programming (ASP)์ ์ด์ฉํด ์ง๋ ๋ถ์๋ฒ์ผ๋ก ์ป์ด์ง ๋ฐ์ดํฐ๋ฅผ ๋ฐํ์ผ๋ก ๋ถ์ ๊ตฌ์กฐ๋ฅผ ํ์งํ๋ ์๋ก์ด ๋ฐฉ๋ฒ๋ก ์ ์ ์ํ๊ณ ์์ต๋๋ค. ASP๋ ๋ณต์กํ ์กฐํฉ์ ๋ฌธ์ ๋ฅผ ํด๊ฒฐํ๊ธฐ ์ํ ๊ฐ๋ ฅํ ํ๋ก๊ทธ๋๋ฐ ๊ธฐ์ ๋ก, ์ด ๋ ผ๋ฌธ์์๋ ์ด๋ฅผ ํตํด ๋ถ์์ ์์ ๊ตฌ์ฑ๊ณผ ๊ตฌ์กฐ์ ์กฐ๊ฐ์ ์๋์ ํ๋ถ๋๋ฅผ ๋ฐํ์ผ๋ก ๋ถ์ ๊ตฌ์กฐ๋ฅผ ํ์ ํ๋ ๋ฐ ์ด์ ์ ๋ง์ถ๊ณ ์์ต๋๋ค. ํนํ, ์ง์์ ์ผ๋ก ์ฆ๊ฐํ๋ ํ์ ๊ณต๊ฐ์ ํจ๊ณผ์ ์ผ๋ก ์ ์ฝํ๊ธฐ ์ํด ์บ๋ ผ์ ํํ์ด๋ผ๋ ๊ฐ๋ ์ ๋์ ํ๊ณ ์ด๋ฅผ ASP์ ํตํฉํ์์ต๋๋ค. ์บ๋ ผ์ ํํ์ ๋ถ์์ ๋ค์ํ ํํ





































