๊ท์ ์ค์๊น์ง ํ์ตํ๋ ์์ธก ๋ชจ๋ํฐ๋ง AI๊ฐ ๋์์ด์. ๋ฐ์ดํฐ ์๊ด๊ด๊ณ๋ง ๋ณด๋ ๊ธฐ์กด ๋ฐฉ์ ํ๊ณ๋ฅผ, ์ ๊ฒฝ-๊ธฐํธ ๊ฒฐํฉ์ผ๋ก ๋์๋ค๋ ์ ์ด ํต์ฌ์ด์์.
๋ ผ๋ฌธ์ Logic Tensor Networks(LTN)๋ก ๋๋ฉ์ธ ๊ท์น์ ๋ชจ๋ธ์ ์ฃผ์ ํ์ด์. ์๋ฅผ ๋ค๋ฉด โํ์ ํด์ ํ 1์ฃผ ์ด์ ์ง๋์ผ ์์ ๊ณํ ๊ฐ๋ฅโ ๊ฐ์ ํ๋ก์ธ์ค ์ ์ฝ์ ํจ๊ป ํ์ต์ํค๋ ๋ฐฉ์์ด๊ฑฐ๋ ์.
ํ์ดํ๋ผ์ธ์ 4๋จ๊ณ์์. ํน์ง ์ถ์ถ, ๊ท์น ์ถ์ถ, ์ง์๋ฒ ์ด์ค ์์ฑ, ์ง์ ์ฃผ์ ์์๋ก ์ค๊ณ๋๊ณ , ์ปดํ๋ผ์ด์ธ์ค ์ธ์ง ์คํ ์ ๋ฐ์์ ๋ฒ ์ด์ค๋ผ์ธ ๋๋น ๋ ๋์ ๊ท์ ์ค์์ ์ ํ๋๋ฅผ ๋ณด์์ด์. ์ด ์ฐ๊ตฌ๋ CAiSE 2026 ์ฑํ ๋ ผ๋ฌธ์ด์์.
์๋ฏธ๋ ๋ถ๋ช ํด์. ์์ผ๋ก ์ ๋ฌด AI ํ๊ฐ๋ ์ ํ๋๋ง์ด ์๋๋ผ โ๊ท์น์ ์งํค๋ฉฐ ๋ง์ถ๋๊ฐโ๋ก ์ด๋ํ๊ฒ ๋ ๊ฐ๋ฅ์ฑ์ด ์ปค์ก์ด์.