ํฌ์ŠคํŠธ

๐ŸŒ’ ์ „๋ฌธ๊ฐ€ ์‹œ์Šคํ…œ - 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. ๋ฐฑ์—…, ๋ฐฑ์„ญ, ๋ถ„์‚ฐ ์ €์žฅ์†Œ

์ด ๊ธฐ์‚ฌ๋Š” ์ €์ž‘๊ถŒ์ž์˜ CC BY 4.0 ๋ผ์ด์„ผ์Šค๋ฅผ ๋”ฐ๋ฆ…๋‹ˆ๋‹ค.