
Lumpability Abstractions of Rule-based Systems
๋ณธ ์ฐ๊ตฌ๋ ๊ท์น ๊ธฐ๋ฐ(ruleโbased) ํน์ ์์ด์ ํธ ๊ธฐ๋ฐ(agentโbased) ๋ชจ๋ธ๋ง์ด ์ ํต์ ์ธ ํํ ๋์ญํ์ ํ๊ณ๋ฅผ ์ด๋ป๊ฒ ๊ทน๋ณตํ ์ ์๋์ง๋ฅผ ์ฒด๊ณ์ ์ผ๋ก ํ๊ตฌํ๋ค. ๋จผ์ , ์์ฒด๋ถ์ ๋ฐ์ ์์คํ ์์ ๋ฐ์ํ๋ ์กฐํฉ์ ํญ๋ฐ(combinatorial explosion)์ ์ง์ ํ๊ณ , ์ด๋ฅผ ์์ ํ๊ฒ ์ด๊ฑฐํ๋ ๊ฒ์ด ์คํ์ ์ผ๋ก๋ ์ด๋ก ์ ์ผ๋ก๋ ๋ถ๊ฐ๋ฅํจ์ ๊ฐ์กฐํ๋ค. ์ด๋ฌํ ์ํฉ์์ โ๊ท์นโ์ ํน์ ๋งฅ๋ฝ์๋ง ์์กดํ๋ ์ ํ๋ ์ฌ๊ฑด์ ๊ธฐ์ ํจ์ผ๋ก์จ, ์์ ํ ์ ์๋์ง ์์ ๋ถ์ ์ข ์ ๋ํด์๋ ์ ์ฉ ๊ฐ๋ฅํ๊ฒ ๋ง๋ ๋ค. ๋ ผ๋ฌธ์ ๊ธฐ์กด์ ํ๋๊ทธ๋จผํธ(fragm
































