๐ ์ ๋ฌธ๊ฐ ์์คํ - Rules-Based System
@ GPT์ ๋ฌธ์ ์ : ๊ธฐ์ ์ ๋ณด๊ฐ OPEN AI๋ก ์ ์ถ๋๋ค, ๊ทธ๋์ ๋ชป์ฐ๊ฒ ํ๋ค, ๊ทผ๋ฐ ์ฐ๊ณ ๋ ์ถ์ด์ ์ง์ ๋ง๋ค์ด ์ด๋ค
๐ซ ์ ๋ฌธ๊ฐ ์์คํ - Rules-Based System
๐ซง์ ๋ฌธ๊ฐ ์์คํ _
์ด ์ฅ์์ ์ฐ๋ฆฌ๋ ๋
์ฐฝ์ ์ธ ์์ง์ ์ธ ์ธ๊ณต์ง๋ฅ ์์คํ
์ค ํ๋์ธ ์ง์ ๊ธฐ๋ฐ ์์คํ
์ ์ดํด๋ณผ ๊ฒ์
๋๋ค. ์ด๋ฌํ ์์คํ
์ ์ง์์ด ๊ท์น์ผ๋ก ์ธ์ฝ๋ฉ
๋๋ ์ ๋ฌธ๊ฐ ์์คํ
(๋๋ ์์ฐ ์์คํ
Production Systems)
์ด๋ผ๊ณ ๋ ํฉ๋๋ค. ์ง์(๋๋ ์ฌ์ค)์ ์์
๋ฉ๋ชจ๋ฆฌ์ ์ ์ฅ๋๊ณ ๊ท์น์ ๋ ๋ง์ ์ง์์ ๋ง๋ค๊ธฐ ์ํด ์ง์์ ์ ์ฉ๋ฉ๋๋ค. ์ด ๊ณผ์ ์ ์ด๋ค ๋ชฉํ ์ํ์ ๋๋ฌํ ๋๊น์ง ๊ณ์๋ฉ๋๋ค. ์ด ์ฅ์์ ์ฐ๋ฆฌ๋ Fault Tolerance
์์ญ์ ์์ฉ ํ๋ก๊ทธ๋จ๊ณผ ํจ๊ป ๊ฐ๋จํ ๊ท์น ๊ธฐ๋ฐ ์์คํ
์ ์กฐ์ฌํ ๊ฒ์
๋๋ค.
๊ท์น ๊ธฐ๋ฐ์ ์์คํ
์ด ๋ค์ํ๊ฒ ์กด์ฌํ๊ธฐ ๋๋ฌธ์, ์ฐ๋ฆฌ๋ Deduction ์ฐ์ญ ์์คํ
๊ณผ Reaction ๋ฐ์ ์์คํ
์ด๋ผ๊ณ ๋ถ๋ฆฌ๋ ๋ ๊ฐ์ง ํน์ ํ ์ ํ์ ์กฐํฉ์ ์ด์ ์ ๋ง์ถ ๊ฒ์
๋๋ค.
์ฐ์ญ ์์คํ
์ ์ ํ๊ณผ ๊ฒฐ๊ณผ๋ฅผ ๋ํ๋ด๋ ๊ท์น์ผ๋ก ๊ตฌ์ฑ๋ฉ๋๋ค. ์ ํ์ ์กฐ๊ฑด(๋ง์ฝ ๊ทธ๋ ๋ค๋ฉด โifโ ๋ฌธ์ฅ)์ด๊ณ ๊ฒฐ๊ณผ๋ ๊ฒฐ๊ณผ์ ์ธ ๋์(โthenโ ๋ถ๋ถ)์ ๋ํ๋
๋๋ค. Deduction์ ์ํด, ๊ท์น๋ค์ ์ฃผ์ด์ง ๊ท์น์ ์ํด ๊ธฐ์กด์ ์์
๋ฉ๋ชจ๋ฆฌ์์ โDeducedโ๋ ์๋ก์ด ์ฌ์ค์ ์์
๋ฉ๋ชจ๋ฆฌ์ ์ฝ์
ํฉ๋๋ค.
๋ฐ์ ์์คํ
์ ๋ด์ฅ๋ ์์คํ
์์ ๋ช
๋ น์ ์คํํ์ฌ ํ๊ฒฝ์ ๋ณ๊ฒฝํ๋ ๊ฒ๊ณผ ๊ฐ์ด ๊ฒฐ๊ณผ์ ์ผ๋ถ๋ก ์ํ๋๋ โActionsโ์ ํฌํจํฉ๋๋ค.
๐ซง์ ๋ฌธ๊ฐ ์์คํ __
๊ธฐํธ์ฃผ์, ๊ธฐํธ, Symbol์ ์ฒ๋ฆฌํ๋ค ๋
ผ๋ฆฌ p โ s
๋จ์ํ ๊ธฐํธ, ๋
ผ๋ฆฌ ๊ฐ์ง๊ณ ๋ ํํ์ด ์๋๊ฒ ๋ค
์ง์์ ๊ฐ์ง๊ณ ํํ์ ํด์ผ๊ฒ ๋ค !
์ง์ ๊ธฐ๊ฐ ์์คํ
์ฌ๋ฌ ๊ฐ์ง ์๋
i.e. ํ๋ ์
๊ฐ์ ์๊ธฐ๊ฐ ์๊ณ ์๋ Some์ ๋ํ ์ฌ์ค๋ค๊ณผ ์ฐ์ฐ๋ค์ด ๋ฌถ์ฌ์ ํํ๋์ด์ผ ํ๋ค = ๊ฐ์ฒด์งํฅ
๊ทผ๋ฐ ์ธ๊ฐ์ด ๊ฐ์ง๊ณ ์๋ ์ง์์ด ๋๋ฌด ๋ง์, ์ปดํจํฐ์ ๋ค ๋ชป ๋ค์ด๊ฐ, ๋ณ๋ชฉํ์์ด ์๋ค
ํนํ ๋น์๋ง ํ๋๋ผ๋ ์ฉ๋์ด ๊ต์ฅํ ์์
๋ค ์ํ๋ ์ธ๊ณต์ง๋ฅ์ ๋ง๋ค์ง ๋ง๊ณ ํน์ ํ ์ผ์ ์ํ๋ AI๋ฅผ ๋ง๋ค์ โ ์ ๋ฌธ๊ฐ ์์คํ
์ต์ด๋ก ์์
์ ์ผ๋ก ์ฑ๊ณตํ AI SYSYEAM์ด ๋๋ค โ AI BOOM
Like ์ํ๊ณ ์๋ฆฌ์ฆ
์ํ๊ณ (ํ์ ์์คํ
์ด๋ฉด์ ์ ๋ฌธ๊ฐ ์์คํ
, + ๋ฅ๋ฌ๋, ๊ฐํํ์ต = ํ์ด๋ธ๋ฆฌ๋), ์ํ์ ๋ก.. ๋ฒ์ฉ์ ์ผ๋ก
์ํ์ ๋ก, ์ํ๊ฒ์, ํน์ ์ฝ๋ฉ ์ํ๋.. ๋ค์ ์ธ๋ถํ
Chat GPT.. ๋ค์ ๋ฒ์ฉ์ ์ผ๋ก โ ์ ๋ฌธ๊ฐ์์คํ
ํ๊ณ ๊ทน๋ณต
๊ธฐํธ์ฃผ์๋ก ๋ถํฐ ์์๋ ์ง์๊ธฐ๋ฐ ์์คํ
๋ฅ๋ฌ๋์ ์ด์ฉํ ํจํด ์ธ์ ์์คํ
์ด๋, GPT๊ฐ์ ๊ฑฐ๋ํ ์ง์
์ด๋ฅผ ์ธ์ฝ๋ฉํ๋ ๋ฐฉ๋ฒ, ์ง์์ด ์ ์ฅ๋์ด ์๋ ๋ฐฉ์ -> ์ ๊ฒฝ๋ง์ ๊ฐ์ค์น
๐ซ ๊ตฌ์กฐ, ์ฒ๋ฆฌ ๋จ๊ณ
@ U ๊ธฐ๋ง๊ณ ์ฌ ์ถ์ : ์ ๋ฌธ๊ฐ ์์คํ ์ ๊ตฌ์ฑ ์์๋ฅผ ๊ทธ๋ฆฌ๊ณ ์ค๋ช ํ์์ค.
์์
๋ฉ๋ชจ๋ฆฌ Working Memory (Facts ์ฌ์ค, Data)
โ ์ฒ์์ ๋น์ด์๋ค๊ฐ, ์ฌ์ค๋ค์ ์ ์ฅ
์ง์ ๋ฒ ์ด์ค Rule Memory (Rules ๊ท์น/์ง์, Program)
โ ์ด๋ฏธ ๊ฐ์ง๊ณ ์์ํ๋
์ถ๋ก ์์ง (Executive)
โ ์ถ๋ก : inferance, chaning, ์ฐ์
๐ซง Match
Fact, i.e. ์ํ ์ฌ๋์ด ์๋ค
์ถ๋ก ์์ง์ Match
์ง์ ๋ฒ ์ด์ค์์ if (์ํ์ฌ๋์ด ์๋ค), ๋ค์๋งํด ๋ด๊ฐ ์๋ ์ง์์ ์ํ์ฌ๋์ ๋ํ ๋์ฒ๊ฐ ์๋ค ํ๋ค๋ฉด ์ฒ๋ฆฌ
Facts ์ฌ์ค๊ณผ ๊ทธ ์ฌ์ค์ ์ฒ๋ฆฌํ ์ ์๋ Rules๋ฅผ ์ฐพ๋ ์ผ
Facts์ ๋งค์นญ๋๋ Rules๊ฐ ์ฌ๋ฌ ๊ฐ๋ผ๋ฉด, Conflict Set์ด ๋ฐ์ํ ์ ์๋ค.
๐ซง Conflict Resolution (Restrove) - ์ถฉ๋ ํด์
์ผ๋ฐ์ ์ผ๋ก ์ฒ์ ๋ง๋๋ Rule์
๐ซง Single Rule Trigger (Fire) - ๊ท์น ์ ์ฉ/์ ํ
๊ทธ๋ ๊ฒ ์ฒ๋ฆฌ Fire๋ฅผ ํ๋ฉด, ๋ ์ด์ ์ํ์ฌ๋์ด ์๋ค ๋ผ๋ ๊ฑด ์ฌ์ค์ด ์๋, ๋์ ์๋ก์ด ์ฌ์ค -> ์ด์ ๋ ์ ์ํ ์ฌ๋์ด ์๋ค ๋ผ๋ ์ฌ์ค
๋ฐ๋ณตํ๋ค.
๐ซง ์ํ๊ณ ์ ๋์?
์๋ฅผ ๋๋ ๊ฒ์ด Fact๊ฐ ๋๊ณ , ์ด Fact์ ๋ง๋ ์ถ๋ก ์ ๋ฅ๋ฌ๋๊ณผ ๊ฐํํ์ต ๋ฑ๊ณผ ๊ฐ์ ์ถ๊ฐ์ ์ธ ๊ธฐ์ ์ ๋ถ์ฌ ์งํํ๋ค.
๐ซ ์ถ๋ก
@ U ๊ธฐ๋ง๊ณ ์ฌ ์ถ์ : ์ ๋ฐฉํฅ์ถ๋ก ๊ณผ ํ๋ฐฉํฅ์ถ๋ก ์ด ๊ฐ๊ฐ ์ด๋จ ๋ ์ฌ์ฉ๋๋์ง ์ค๋ช ํ์์ค.
๐ซง ์ ๋ฐฉํฅ์ถ๋ก - Forward Chaining
์ง์, ๊ท์น์ ํํ, p -> s, s -> r ๊ฐ์.. (์ง์ ๋ฒ ์ด์ค) ์ฌ์ค (์ํน ๋ฉ๋ชจ๋ฆฌ)
(๋นจ๊ฐ์ค, ์ ๊ธฐ์ตํด์ผ ๋ฉ๋๋ค) ์๋ ค์ง ์ฌ์ค๋ก๋ถํฐ ์๋ก์ด ์ฌ์ค ์์ฑ
์ฌ์ค์ด ๋ง์ด ๋ง๋ค์ด์ง๋ฉด, ์ธ๋ฐ์๋ ๊ฒ๋ค๋ ๋ง๊ฒ ์ฃ
๐ซง ํ๋ฐฉํฅ์ถ๋ก - Backward Chaining
๊ทผ๋ฐ ์ฐ๋ฆฌ๊ฐ ์ถ๋ก ํ ๋๋
์ฆ์์ ๋ฌผ์ด๋ณด๊ณ ์ถ๋ก ์ ํ๊ฒ ์ง๋ง, ๋ง์ ๊ฒฝ์ฐ์๋ ์ฌ์ค ๊ฐ์ ์ ํ๋ค (๊ฐ์ผ๋ก)
๋ด๊ฐ ๋์ ๋ฐ์์ผ ํ๋? โ ๋์ฒ๋ฅผ ํ๋์ง ํ์ธ ๋์ฒ๋ฅผ ํ๋? โ ์ํ ์ฌ๋์ด ์๋์ง ํ์ธ
์๊ณ ์ถ์ ๊ฑธ ์ ํด๋๊ณ , ๊ทธ๊ฑฐ์ ๋๊ธฐ ์ํ ๊ท์น์ ์์๋ด๋ ๊ฒ
p โ q ์์ q๋ฅผ ์ ํด๋๊ณ , p๋ฅผ ์ฐพ๋๊ฒ ๊ฐ์ค ์ฆ๋ช
๐ซง ์๋ฐฉํฅ์ถ๋ก - Bidirectional Chaining
ํ์ค์ธ๊ณ์์์ ์ถ๋ก
๐ซ ๊ฒฐํจ ํฌ์ฉ(/์์ฉ/ํ์ฉ) - Fault Tolerance
Tolerance, ๊ฒฌ๋ ์ ์๋ ํ๊ณ
๊ฒฐํจ/์ค๋ฅ๊ฐ ์์ด๋ ๊ฐ๋นํ๊ฒ ๋ค. (์์คํ
์ด ๋ค์ด๋์ง ์๋๋ค.)
i.e. ๋ฐฑ์ , ๋ฐฑ์ญ, ๋ถ์ฐ ์ ์ฅ์