[{"data":1,"prerenderedAt":1033},["ShallowReactive",2],{"i-kinnu:logo":3,"i-kinnu:origami-folding":8,"tile-technology-artificial-intelligence-symbolic-programming":12,"i-lucide:chevron-right":1028,"i-lucide:menu":1031},{"left":4,"top":4,"width":5,"height":5,"rotate":4,"vFlip":6,"hFlip":6,"body":7},0,27,false,"\u003Cg fill=\"none\">\u003Cpath d=\"M0.046875 1.05555C0.046875 1.03541 0.048197 1.01579 0.0507438 0.996728C0.0987149 0.438619 0.586845 0 1.18194 0H25.4398C26.451 0 26.9575 1.171 26.2424 1.85585L15.7301 11.9243L1.31574 0.903476C1.17475 0.79568 1.01137 0.761884 0.859586 0.784111L26.2936 25.1441C27.0086 25.829 26.5022 27 25.4909 27H1.18194C0.555061 27 0.046875 26.5133 0.046875 25.9129V1.05555Z\" fill=\"currentColor\"/>\u003C/g>",{"left":4,"top":4,"width":9,"height":10,"rotate":4,"vFlip":6,"hFlip":6,"body":11},1000,236,"\u003Cg fill=\"none\">\u003Cpath fill-rule=\"evenodd\" clip-rule=\"evenodd\"\n    d=\"M193.68 38.2238C195.994 38.2238 197.87 40.0989 197.87 42.412V231.812C197.87 234.125 195.994 236 193.68 236H4.19013C1.87603 236 2.02305e-07 234.125 0 231.812V42.412C-2.02305e-07 40.0989 1.87603 38.2238 4.19013 38.2238H193.68ZM111.76 89.0072C111.685 87.9474 110.572 87.2905 109.608 87.7376L96.8872 93.641C95.7786 94.1554 95.702 95.7016 96.7545 96.3225L101.579 99.167C94.7045 109.365 90.5733 122.892 90.5732 137.642C90.5733 154.323 95.8569 169.439 104.416 179.945C105.301 181.032 106.9 181.196 107.987 180.311C109.075 179.426 109.238 177.828 108.353 176.741C100.621 167.25 95.6522 153.305 95.6521 137.642C95.6522 123.661 99.6138 111.051 105.963 101.754L110.456 104.403C111.508 105.024 112.826 104.21 112.74 102.991L111.76 89.0072ZM9.63194 136.286C9.14864 136.286 8.75684 136.678 8.75684 137.161C8.7569 137.644 9.14868 138.035 9.63194 138.035H17.2161C17.6993 138.035 18.0912 137.644 18.0912 137.161C18.0912 136.678 17.6994 136.286 17.2161 136.286H9.63194ZM22.6813 136.286C22.198 136.286 21.8062 136.678 21.8062 137.161C21.8063 137.644 22.1981 138.035 22.6813 138.035H30.2655C30.7487 138.035 31.1406 137.644 31.1406 137.161C31.1406 136.678 30.7488 136.286 30.2655 136.286H22.6813ZM35.7464 136.286C35.2631 136.286 34.8713 136.678 34.8713 137.161C34.8713 137.644 35.2631 138.035 35.7464 138.035H44.4973C44.9805 138.035 45.3724 137.644 45.3724 137.161C45.3724 136.678 44.9806 136.286 44.4973 136.286H35.7464ZM49.9977 136.286C49.5144 136.286 49.1226 136.678 49.1226 137.161C49.1226 137.644 49.5144 138.035 49.9977 138.035H57.5819C58.0651 138.035 58.4569 137.644 58.457 137.161C58.457 136.678 58.0651 136.286 57.5819 136.286H49.9977ZM63.0783 136.286C62.595 136.286 62.2032 136.678 62.2032 137.161C62.2033 137.644 62.5951 138.035 63.0783 138.035H70.6625C71.1457 138.035 71.5375 137.644 71.5376 137.161C71.5376 136.678 71.1457 136.286 70.6625 136.286H63.0783ZM76.1277 136.286C75.6444 136.286 75.2526 136.678 75.2526 137.161C75.2527 137.644 75.6445 138.035 76.1277 138.035H83.7119C84.1951 138.035 84.5869 137.644 84.587 137.161C84.587 136.678 84.1951 136.286 83.7119 136.286H76.1277ZM102.266 136.286C101.782 136.286 101.39 136.678 101.39 137.161C101.391 137.644 101.782 138.035 102.266 138.035H109.85C110.333 138.035 110.725 137.644 110.725 137.161C110.725 136.678 110.333 136.286 109.85 136.286H102.266ZM115.338 136.286C114.855 136.286 114.463 136.678 114.463 137.161C114.463 137.644 114.855 138.035 115.338 138.035H122.923C123.406 138.035 123.798 137.644 123.798 137.161C123.798 136.678 123.406 136.286 122.923 136.286H115.338ZM128.403 136.286C127.92 136.286 127.528 136.678 127.528 137.161C127.528 137.644 127.92 138.035 128.403 138.035H135.988C136.471 138.035 136.863 137.644 136.863 137.161C136.863 136.678 136.471 136.286 135.988 136.286H128.403ZM141.468 136.286C140.985 136.286 140.593 136.678 140.593 137.161C140.593 137.644 140.985 138.035 141.468 138.035H149.053C149.536 138.035 149.928 137.644 149.928 137.161C149.928 136.678 149.536 136.286 149.053 136.286H141.468ZM154.541 136.286C154.058 136.286 153.666 136.678 153.666 137.161C153.666 137.644 154.058 138.035 154.541 138.035H162.125C162.609 138.035 163 137.644 163.001 137.161C163.001 136.678 162.609 136.286 162.125 136.286H154.541ZM167.614 136.286C167.131 136.286 166.739 136.678 166.739 137.161C166.739 137.644 167.131 138.035 167.614 138.035H175.198C175.681 138.035 176.073 137.644 176.073 137.161C176.073 136.678 175.681 136.286 175.198 136.286H167.614ZM180.671 136.286C180.188 136.286 179.796 136.678 179.796 137.161C179.796 137.644 180.188 138.035 180.671 138.035H188.255C188.739 138.035 189.13 137.644 189.131 137.161C189.131 136.678 188.739 136.286 188.255 136.286H180.671Z\"\n    fill=\"currentColor\" />\n  \u003Cpath fill-rule=\"evenodd\" clip-rule=\"evenodd\"\n    d=\"M444.85 38.2277C447.164 38.2277 449.04 40.1028 449.04 42.4159V132.928C449.04 135.241 447.164 137.116 444.85 137.116H255.36C253.046 137.116 251.17 135.241 251.17 132.928V42.4159C251.17 40.1028 253.046 38.2277 255.36 38.2277H444.85ZM361.96 125.388C361.618 125.046 361.064 125.046 360.722 125.388L354.534 131.572C354.192 131.914 354.192 132.468 354.534 132.81C354.876 133.151 355.43 133.151 355.772 132.81L361.96 126.624C362.301 126.283 362.301 125.73 361.96 125.388ZM371.047 116.311C370.705 115.969 370.15 115.969 369.809 116.311L364.446 121.671C364.104 122.012 364.104 122.567 364.446 122.908C364.788 123.249 365.342 123.25 365.684 122.908L371.047 117.548C371.388 117.207 371.388 116.652 371.047 116.311ZM380.124 107.246C379.782 106.904 379.227 106.904 378.885 107.246L373.523 112.606C373.181 112.948 373.181 113.502 373.523 113.844C373.864 114.185 374.419 114.185 374.761 113.844L380.124 108.483C380.465 108.142 380.465 107.587 380.124 107.246ZM385.736 65.8841C385.891 64.6727 384.622 63.7845 383.536 64.3434L371.069 70.7636C370.124 71.2504 369.96 72.5334 370.752 73.2424L381.2 82.5938C382.11 83.4081 383.561 82.8672 383.717 81.6557L384.393 76.3725C391.143 77.1933 398.567 80.7709 404.771 86.9711C411.124 93.3213 414.726 100.952 415.43 107.827C415.573 109.221 416.819 110.236 418.214 110.093C419.609 109.95 420.624 108.703 420.481 107.309C419.644 99.1317 415.435 90.4514 408.362 83.3817C401.466 76.489 393.038 72.3185 385.038 71.338L385.736 65.8841ZM389.2 98.1733C388.859 97.8319 388.304 97.8318 387.962 98.1733L382.6 103.534C382.258 103.875 382.258 104.429 382.6 104.771C382.941 105.112 383.496 105.112 383.838 104.771L389.2 99.4108C389.542 99.0693 389.542 98.5149 389.2 98.1733ZM398.262 89.1047C397.92 88.7633 397.365 88.7632 397.024 89.1047L391.661 94.4649C391.319 94.8065 391.319 95.3608 391.661 95.7024C392.002 96.0436 392.557 96.0438 392.899 95.7024L398.262 90.3421C398.603 90.0007 398.603 89.4463 398.262 89.1047ZM416.431 70.9616C416.089 70.6202 415.534 70.6201 415.193 70.9616L409.83 76.3218C409.488 76.6634 409.488 77.2177 409.83 77.5592C410.172 77.9005 410.726 77.9007 411.068 77.5592L416.431 72.199C416.772 71.8575 416.772 71.3032 416.431 70.9616ZM425.508 61.891C425.166 61.5496 424.611 61.5495 424.27 61.891L418.907 67.2512C418.565 67.5928 418.565 68.1471 418.907 68.4887C419.249 68.8299 419.803 68.8301 420.145 68.4887L425.508 63.1284C425.849 62.787 425.849 62.2326 425.508 61.891ZM434.569 52.8146C434.227 52.4731 433.673 52.4731 433.331 52.8146L427.968 58.1748C427.626 58.5163 427.627 59.0706 427.968 59.4122C428.31 59.7534 428.864 59.7537 429.206 59.4122L434.569 54.052C434.91 53.7105 434.91 53.1562 434.569 52.8146ZM443.638 43.7479C443.296 43.4065 442.742 43.4064 442.4 43.7479L437.037 49.1081C436.695 49.4496 436.696 50.004 437.037 50.3455C437.379 50.6868 437.933 50.687 438.275 50.3455L443.638 44.9853C443.98 44.6438 443.979 44.0895 443.638 43.7479Z\"\n    fill=\"currentColor\" />\n  \u003Cpath fill-rule=\"evenodd\" clip-rule=\"evenodd\"\n    d=\"M684.066 38.2277C687.798 38.2281 689.667 42.7391 687.027 45.3773L596.473 135.889C595.687 136.675 594.621 137.116 593.51 137.116H506.335C504.021 137.116 502.145 135.241 502.145 132.928V42.4159C502.145 40.1028 504.021 38.2277 506.335 38.2277H684.066ZM514.603 124.566C514.261 124.224 513.707 124.224 513.365 124.566L507.178 130.751C506.836 131.093 506.836 131.646 507.178 131.988C507.519 132.329 508.073 132.329 508.415 131.988L514.603 125.803C514.945 125.462 514.945 124.908 514.603 124.566ZM523.689 115.491C523.348 115.15 522.794 115.15 522.452 115.491L517.09 120.852C516.748 121.193 516.748 121.747 517.09 122.088C517.431 122.43 517.985 122.43 518.327 122.088L523.689 116.728C524.031 116.386 524.031 115.833 523.689 115.491ZM532.102 65.8295C530.707 65.6872 529.46 66.7017 529.318 68.0957C529.175 69.4896 530.189 70.7355 531.584 70.8787C538.463 71.5825 546.096 75.1826 552.45 81.5329C558.723 87.8037 562.312 95.3226 563.079 102.13L557.738 102.392C556.518 102.452 555.865 103.855 556.607 104.827L565.115 115.969C565.76 116.814 567.051 116.751 567.611 115.847L574.992 103.928C575.635 102.889 574.848 101.555 573.628 101.615L568.161 101.882C568.161 101.878 568.162 101.874 568.161 101.871C567.324 93.6931 563.114 85.0124 556.041 77.9425C548.968 70.873 540.283 66.6668 532.102 65.8295ZM532.766 106.421C532.425 106.079 531.871 106.079 531.529 106.421L526.166 111.781C525.825 112.123 525.825 112.676 526.166 113.018C526.508 113.359 527.062 113.359 527.403 113.018L532.766 107.657C533.108 107.316 533.108 106.762 532.766 106.421ZM541.843 97.3445C541.501 97.003 540.948 97.003 540.606 97.3445L535.243 102.705C534.901 103.046 534.902 103.6 535.243 103.941C535.585 104.283 536.139 104.283 536.48 103.941L541.843 98.5809C542.185 98.2393 542.185 97.686 541.843 97.3445ZM550.92 88.2778C550.578 87.9363 550.025 87.9363 549.683 88.2778L544.32 93.638C543.978 93.9796 543.978 94.5329 544.32 94.8745C544.662 95.2161 545.215 95.2161 545.557 94.8745L550.92 89.5142C551.262 89.1727 551.262 88.6193 550.92 88.2778ZM569.066 70.1405C568.724 69.799 568.17 69.7991 567.829 70.1405L562.466 75.5008C562.124 75.8423 562.124 76.3956 562.466 76.7372C562.808 77.0788 563.361 77.0788 563.703 76.7372L569.066 71.377C569.407 71.0354 569.407 70.4821 569.066 70.1405ZM578.143 61.0699C577.801 60.7284 577.247 60.7285 576.906 61.0699L571.543 66.4302C571.201 66.7717 571.201 67.3251 571.543 67.6666C571.885 68.0082 572.438 68.0082 572.78 67.6666L578.143 62.3064C578.484 61.9648 578.484 61.4115 578.143 61.0699ZM587.219 51.9896C586.878 51.6481 586.324 51.6481 585.982 51.9896L580.62 57.3498C580.278 57.6914 580.278 58.2447 580.62 58.5863C580.961 58.9279 581.515 58.9279 581.857 58.5863L587.219 53.2261C587.561 52.8845 587.561 52.3312 587.219 51.9896ZM596.288 42.9249C595.947 42.5833 595.392 42.5833 595.05 42.9249L589.689 48.2851C589.347 48.6267 589.347 49.18 589.689 49.5216C590.03 49.863 590.584 49.8631 590.926 49.5216L596.288 44.1613C596.63 43.8198 596.63 43.2664 596.288 42.9249Z\"\n    fill=\"currentColor\" />\n  \u003Cpath fill-rule=\"evenodd\" clip-rule=\"evenodd\"\n    d=\"M850.814 38.2277C854.547 38.2281 856.416 42.739 853.777 45.3773L763.223 135.889C762.437 136.674 761.371 137.116 760.26 137.116H673.176C669.443 137.116 667.574 132.605 670.213 129.966L760.768 39.4544C761.554 38.6692 762.62 38.2277 763.731 38.2277H850.814ZM761.338 121.8C760.855 121.8 760.463 122.191 760.463 122.674V131.13H762.213V122.674C762.213 122.191 761.821 121.8 761.338 121.8ZM761.338 108.971C760.855 108.971 760.463 109.363 760.463 109.846V118.301H762.213V109.846C762.213 109.363 761.821 108.971 761.338 108.971ZM761.338 96.1402C760.855 96.1406 760.463 96.5321 760.463 97.0149V105.47H762.213V97.0149C762.213 96.532 761.821 96.1404 761.338 96.1402ZM782.263 71.887C781.043 71.951 780.395 73.3571 781.139 74.3257L784.474 78.6631C779.115 82.951 771.242 85.7443 762.35 85.7444C753.366 85.7442 745.421 82.8944 740.059 78.5305C738.972 77.6461 737.373 77.8099 736.488 78.8961C735.602 79.983 735.766 81.582 736.853 82.467C743.231 87.6574 752.348 90.8207 762.35 90.8209C772.209 90.8208 781.205 87.746 787.568 82.6884L790.833 86.9341C791.577 87.9025 793.103 87.6391 793.479 86.4767L797.791 73.138C798.118 72.127 797.33 71.1017 796.268 71.1566L782.263 71.887ZM761.338 70.4847C760.855 70.4851 760.463 70.8767 760.463 71.3594V79.8147H762.213V71.3594C762.213 70.8766 761.821 70.485 761.338 70.4847ZM761.338 57.656C760.855 57.6564 760.463 58.048 760.463 58.5307V66.986H762.213V58.5307C762.213 58.0479 761.821 57.6563 761.338 57.656ZM761.338 44.8293C760.855 44.8297 760.463 45.2212 760.463 45.704V54.1592H762.213V45.704C762.213 45.2211 761.821 44.8295 761.338 44.8293Z\"\n    fill=\"currentColor\" />\n  \u003Cpath\n    d=\"M995.759 38.2277C999.53 38.228 1001.42 42.5171 998.752 45.0253L959.55 81.9005L905.796 41.5363C905.271 41.1418 904.662 41.0182 904.096 41.0994L997.485 130.319C1000.15 132.828 998.262 137.116 994.491 137.116H905.298C902.96 137.116 901.065 135.333 901.065 133.134V42.0941C901.065 42.0204 901.07 41.9483 901.079 41.8786C901.258 39.8345 903.079 38.2277 905.298 38.2277H995.759Z\"\n    fill=\"currentColor\" />\n  \u003Cpath\n    d=\"M505.873 0C506.657 4.57042e-05 507.307 0.195499 507.823 0.587023C508.338 0.969046 508.596 1.53802 508.596 2.29251C508.596 2.76034 508.467 3.19015 508.209 3.58162C507.951 3.96344 507.497 4.26401 506.848 4.48361V4.54114C507.65 4.67487 508.205 4.96191 508.51 5.4012C508.816 5.83087 508.969 6.31772 508.969 6.86193C508.969 7.74056 508.672 8.41851 508.08 8.89604C507.497 9.38304 506.733 9.62731 505.787 9.62738C504.861 9.62738 504.158 9.42172 503.68 9.0111C503.212 8.60054 502.935 8.08005 502.849 7.44993L503.881 7.10571L503.924 7.24028C504.035 7.54934 504.211 7.82925 504.454 8.07986C504.731 8.36635 505.166 8.50986 505.758 8.50989C506.465 8.50989 506.943 8.32772 507.191 7.9648C507.449 7.6019 507.579 7.20078 507.579 6.7615C507.579 6.2173 507.378 5.80683 506.977 5.52992C506.585 5.25295 505.93 5.10026 505.013 5.07161V4.15402C505.901 4.12537 506.489 3.92484 506.776 3.55237C507.062 3.18009 507.206 2.82242 507.206 2.47876C507.206 1.62801 506.752 1.17539 505.845 1.12237L505.658 1.11749C505.467 1.11752 505.242 1.14605 504.985 1.2033C504.736 1.25105 504.511 1.3274 504.31 1.43245L504.081 2.56457L503.05 2.44951L503.322 0.687461C503.666 0.49653 504.068 0.33454 504.526 0.200875C504.985 0.0671945 505.434 0 505.873 0Z\"\n    fill=\"currentColor\" />\n  \u003Cpath\n    d=\"M905.727 2.30616L904.638 2.4066L904.466 1.26083H901.428V3.72497C901.533 3.71544 901.643 3.71034 901.757 3.71034H902.086C902.755 3.71034 903.386 3.78668 903.979 3.93949C904.58 4.09229 905.068 4.38363 905.44 4.8132C905.822 5.23335 906.014 5.84949 906.014 6.66106C906.014 7.64468 905.722 8.38068 905.14 8.86776C904.557 9.36434 903.783 9.6127 902.818 9.61275C901.91 9.61275 901.213 9.40711 900.725 8.99648C900.248 8.59544 899.96 8.08007 899.865 7.44993L900.911 7.10571C901.007 7.49723 901.203 7.8271 901.499 8.09449C901.795 8.37131 902.211 8.50985 902.746 8.50989C903.395 8.50989 903.869 8.33787 904.165 7.99405C904.461 7.65981 904.609 7.22507 904.609 6.69031C904.609 5.87861 904.337 5.3625 903.792 5.14279C903.248 4.91361 902.612 4.79958 901.886 4.79955C901.695 4.79955 901.489 4.80365 901.27 4.8132C901.059 4.82275 900.854 4.83701 900.653 4.85611L900.224 4.44071V0.143343H905.569L905.727 2.30616Z\"\n    fill=\"currentColor\" />\n  \u003Cpath fill-rule=\"evenodd\" clip-rule=\"evenodd\"\n    d=\"M765.49 6.04576H766.966L766.837 7.14862H765.49V9.48404H764.185V7.14862H759.857L759.713 6.04576L762.909 0.143343H765.49V6.04576ZM760.96 6.04576H764.185V1.26083H763.541L760.96 6.04576Z\"\n    fill=\"currentColor\" />\n  \u003Cpath d=\"M4.80573 6.47481H6.41154V7.60693H1.81068V6.47481H3.50235V1.27546H1.81068V0.143343H4.80573V6.47481Z\"\n    fill=\"currentColor\" />\n  \u003Cpath\n    d=\"M254.359 0C255.353 0 256.055 0.239186 256.466 0.716715C256.877 1.18447 257.083 1.68072 257.083 2.20573C257.083 2.85516 256.849 3.44346 256.38 3.96875C255.912 4.49397 255.348 4.96638 254.689 5.38657C254.039 5.79717 253.437 6.15968 252.883 6.47481H256.423L256.538 5.42948L257.599 5.51529L257.426 7.60693H251.407L251.292 6.58987C252.582 5.73032 253.638 4.98523 254.46 4.35489C255.281 3.71509 255.693 3.05632 255.693 2.37832C255.693 1.53787 255.166 1.11749 254.115 1.12237L254.115 1.11749C253.924 1.11754 253.695 1.14604 253.427 1.2033C253.16 1.25104 252.916 1.32238 252.697 1.41783L252.467 2.47876L251.45 2.3637L251.707 0.60165C252.118 0.401088 252.563 0.253475 253.041 0.15797C253.519 0.0529708 253.958 1.99446e-05 254.359 0Z\"\n    fill=\"currentColor\" />\u003C/g>",{"tile":13,"orbsWithOnlyMarkdownPages":414},{"id":14,"data":15,"type":16,"maxContentLevel":19,"version":19,"orbs":20},"06e8fa70-d951-406c-9911-fcd1faf14c1b",{"type":16,"title":17,"tagline":18},9,"Symbolic Programming","The good old fashioned way",3,[21,123,232,322],{"id":22,"data":23,"type":24,"version":26,"maxContentLevel":19,"summaryPage":27,"introPage":34,"pages":40},"6806b536-a84a-4d00-a98e-0a1c25e473a9",{"type":24,"title":25},2,"What is symbolic programming?",1,{"id":28,"data":29,"type":19,"maxContentLevel":19,"version":26},"2bc4ea82-4eff-46b5-8238-49994e8b5699",{"type":19,"summary":30},[31,32,33],"Symbolic programming involves giving a computer a tree of symbols and logical rules","Symbols are labels that represent something, similar to how humans use words","Symbolic AI can store these symbols in a library known as a knowledge base",{"id":35,"data":36,"type":37,"maxContentLevel":19,"version":26},"800d26b6-8927-43ae-80f1-ddc3168e4300",{"type":37,"intro":38},10,[25,39],"Why do some people call it Good Old Fashioned AI?",[41,55,81],{"id":42,"data":43,"type":26,"maxContentLevel":19,"version":26,"reviews":46},"8c8a9ae2-83b7-4884-9d88-b431271312be",{"type":26,"contentRole":24,"markdownContent":44,"audioMediaId":45},"Earlier, we saw how **symbolic programming** was at the heart of the AI golden age. In simple terms, this meant giving a computer a tree of instructions, which effectively allowed it to 'make decisions' by following logical rules.\n\nAs you probably remember, symbolic programming is less popular now than it used to be. Most modern models, like AlphaGo and ChatGPT, use a totally different approach. They make their decisions using a web of neurons, which scientists call a neural network.\n\nWe'll learn all about that later. But first, we're going to take a look at symbolic programming in more detail. Yes, neural networks are more popular and more powerful. But in certain contexts, symbolic AI is still a very effective approach.\n\nSome people even refer to it as Good Old Fashioned Artificial Intelligence (GOFAI). That's why we're starting off with it. Good old fashioned stuff first, neural networks later on.","8d27064a-1e29-48e7-8124-3a74a54e8669",[47],{"id":48,"data":49,"type":50,"version":26,"maxContentLevel":19},"f37ae0eb-cdd0-46e5-a1ce-f77347b396a5",{"type":50,"reviewType":26,"spacingBehaviour":26,"activeRecallQuestion":51,"activeRecallAnswers":53},11,[52],"Some people refer to symbolic models as GOFAI. But what does GOFAI stand for?",[54],"Good Old Fashioned Artificial Intelligence",{"id":56,"data":57,"type":26,"maxContentLevel":19,"version":26,"reviews":60},"90551f86-170a-4072-bdf6-9ab2967170d0",{"type":26,"contentRole":24,"markdownContent":58,"audioMediaId":59},"First thing's first: you're probably wondering why we call it symbolic programming. Well, it's because this approach uses **symbols** to represent ideas and objects.\n\nWhen we say 'symbols', we're not talking about hieroglyphics. Instead, we're talking about labels. Labels which represent something. It's actually pretty similar to the way that a human uses words.\n\nWhen you say the word \"apple\", you're just using that word as a symbol for a particular fruit. A particular fruit with a particular taste, and a particular color, which grows on a particular tree.\n\nThe whole idea of 'appleness' is summed up by the word \"apple\". In other words, \"apple\" is just a symbol which represents that idea.\n\n![Graph](image://3ec4cd53-e0c6-460a-95ae-db52d4897307 \"Apple by Abhijit Tembhekar (CC BY 2.0) \u003Chttps://creativecommons.org/licenses/by/2.0>, via Wikimedia Commons\")","fd1d22b7-0616-4456-b48f-ac9eafacbf0a",[61],{"id":62,"data":63,"type":50,"version":26,"maxContentLevel":19},"0133be01-b811-4728-b69c-1fef94437099",{"type":50,"reviewType":19,"spacingBehaviour":26,"collapsingSiblings":64,"multiChoiceQuestion":68,"multiChoiceCorrect":70,"multiChoiceIncorrect":72,"multiChoiceMultiSelect":6,"multiChoiceRevealAnswerOption":6,"matchPairsQuestion":76,"matchPairsPairs":78},[65,66,67],"6d524319-b4e0-487f-abf1-b926a6d71ca9","7a6b611e-6b5f-4bdd-bd95-10c32e397c86","dc19d651-ce4e-4af1-8819-4ac1d8132d15",[69],"In the context of symbolic programming, what are symbols?",[71],"Labels which represent ideas",[73,74,75],"Functions used for computation","Addresses pointing to data","Instructions which use logic",[77],"Match the pairs below:",[79],{"left":71,"right":80,"direction":19},"Symbols",{"id":82,"data":83,"type":26,"maxContentLevel":19,"version":26,"reviews":86},"4d9baed5-4f4f-4faf-8dca-306d9ae09577",{"type":26,"contentRole":24,"markdownContent":84,"audioMediaId":85},"A symbolic AI might have access to a library of thousands of symbols, each representing an idea. We call this library a **knowledge base** – and for good old fashioned symbolic AI, it will need to be programmed by hand.\n\nFor example, a programmer might manually add \"apple\", and associate it with properties like \"fruit\", \"red\", and \"grows on trees\". They might also add \"pineapple\", and associate it with \"fruit\", \"yellow\", and \"grows on ground\". Do this for a hundred types of fruit, and you end up with a decent knowledge base.\n\n![Graph](image://3c05fa02-1cb2-4b97-854e-e2edff5bc343 \"Pineapple by Kaweesaesther (CC BY-SA 4.0) \u003Chttps://creativecommons.org/licenses/by-sa/4.0>, via Wikimedia Commons\")\n\nAnd the AI can use this knowledge base to 'think'. For example, you could ask it, \"What is a pineapple?\" and it could tell you \"A pineapple is a yellow fruit which typically grows on the ground.\"","42730c2d-fd32-4d42-b932-cd9a439832bc",[87,106,114],{"id":88,"data":89,"type":50,"version":26,"maxContentLevel":19},"d3dd576b-ff35-4f24-9bc6-47aa854381a4",{"type":50,"reviewType":19,"spacingBehaviour":26,"collapsingSiblings":90,"multiChoiceQuestion":94,"multiChoiceCorrect":96,"multiChoiceIncorrect":98,"multiChoiceMultiSelect":6,"multiChoiceRevealAnswerOption":6,"matchPairsQuestion":102,"matchPairsPairs":103},[91,92,93],"1a45bab4-a167-4a62-8862-c7d62c2bf564","88922b45-c399-41cf-ab79-bc97e3117e49","c28d6c0f-c32f-45a9-b821-c5292636a9d5",[95],"A symbolic AI may have access to a library of symbols. What is this library called?",[97],"Knowledge base",[99,100,101],"Knowledge graph","Knowledge bank","Knowledge pool",[77],[104],{"left":97,"right":105,"direction":19},"Library of symbols",{"id":107,"data":108,"type":50,"version":26,"maxContentLevel":19},"4e8cf364-1ec3-4af7-8266-00af40bb19ef",{"type":50,"reviewType":109,"spacingBehaviour":26,"clozeQuestion":110,"clozeWords":112},4,[111],"The word \"apple\" is a symbol which represents information like \"fruit\", \"red\", and \"grows on trees\".",[113],"symbol",{"id":115,"data":116,"type":50,"version":26,"maxContentLevel":19},"904e9a7c-87a8-4d0e-a94a-5b16b68f620a",{"type":50,"reviewType":24,"spacingBehaviour":26,"binaryQuestion":117,"binaryCorrect":119,"binaryIncorrect":121},[118],"With good old fashioned AI models, the knowledge base will always be:",[120],"Programmed manually",[122],"Generated automatically",{"id":124,"data":125,"type":24,"version":26,"maxContentLevel":19,"summaryPage":127,"introPage":134,"pages":140},"c82dc050-c93e-4d07-8009-bfdad68d1260",{"type":24,"title":126},"Propositional logic",{"id":128,"data":129,"type":19,"maxContentLevel":19,"version":26},"a8f283be-c66c-4d0f-bc16-7e6e2edb595b",{"type":19,"summary":130},[131,132,133],"Logic is a set of rules which tells an AI how to 'think' about different symbols","Propositional logic is built around statements that can be either true or false","Logical connectives like IF and THEN can link propositions together",{"id":135,"data":136,"type":37,"maxContentLevel":19,"version":26},"e60c0c78-85d9-4fbe-90e3-e6868885c0b5",{"type":37,"intro":137},[138,139],"What is the role of logic in symbolic AI?","How can propositional logic help AI to make decisions?",[141,160,181,197],{"id":142,"data":143,"type":26,"maxContentLevel":19,"version":26,"reviews":146},"60ed5dd6-3ca1-4bfc-9a84-e74b85245736",{"type":26,"contentRole":24,"markdownContent":144,"audioMediaId":145},"So, we know that symbolic AI is built around a bank of pre-programmed symbols. We looked at a fruit example: \"apple\" might be a symbol for a number of properties, including \"red\" and \"grows on trees\".\n\nWhat we now need to talk about is how these symbols relate to **logic**.\n\nLogic, in this context, is just a set of rules which tell an AI how to 'think' about different symbols. Here's an analogy: symbols are the building blocks of symbolic AI, while logic is a detailed instruction guide which tells the AI how to arrange those blocks into shapes.\n\nThat isn't a perfect analogy. But it's a helpful idea to bear in mind as we look at logic in more detail.","369a983f-55bb-44c3-97a6-27ab6f95f03e",[147],{"id":66,"data":148,"type":50,"version":26,"maxContentLevel":19},{"type":50,"reviewType":19,"spacingBehaviour":26,"collapsingSiblings":149,"multiChoiceQuestion":150,"multiChoiceCorrect":152,"multiChoiceIncorrect":154,"multiChoiceMultiSelect":6,"multiChoiceRevealAnswerOption":6,"matchPairsQuestion":156,"matchPairsPairs":157},[62,65,67],[151],"In the context of symbolic programming, what is logic?",[153],"Rules which relate to symbols",[71,74,155],"Variables used for computation",[77],[158],{"left":153,"right":159,"direction":19},"Logic",{"id":161,"data":162,"type":26,"maxContentLevel":19,"version":26,"reviews":165},"dc70e0c0-8640-4481-9274-57c06780fe1f",{"type":26,"contentRole":24,"markdownContent":163,"audioMediaId":164},"There are actually a few different types of logic. We're going to start with the simplest: **propositional logic**.\n\nPropositional logic is built around statements which can either be true or false. For example, a statement like \"apples are edible\" (true) or \"bananas are purple\" (false). We call these statements propositions.\n\nThese propositions will need to be programmed manually. But they will usually contain a symbol that's already in the system. For example, \"the box contains a banana\" is a proposition which includes the symbol \"banana\".\n\n![Graph](image://c6e39705-09fa-4c80-af81-ecdd4d423634 \"Banana box. (Public domain), via Wikimedia Commons\")\n\nA proposition might switch back and forth between 'true' and 'false'. Sometimes, there might be a banana in that box. Sometimes, there might be an apple. But it will always be one or the other: these statements should never be both 'true' and 'false' at once.","d9d2ceac-c4c7-4e59-ac23-f225d8ebbbc5",[166],{"id":67,"data":167,"type":50,"version":26,"maxContentLevel":19},{"type":50,"reviewType":19,"spacingBehaviour":26,"collapsingSiblings":168,"multiChoiceQuestion":169,"multiChoiceCorrect":171,"multiChoiceIncorrect":173,"multiChoiceMultiSelect":6,"multiChoiceRevealAnswerOption":6,"matchPairsQuestion":177,"matchPairsPairs":178},[62,65,66],[170],"Propositional logic is built around propositions. But what are these, exactly?",[172],"True or false statements",[174,175,176],"Rhetorical questions","Logical connectives","Predicate triplets",[77],[179],{"left":172,"right":180,"direction":19},"Propositions",{"id":182,"data":183,"type":26,"maxContentLevel":19,"version":26,"reviews":186},"b1bda9fb-7561-4b7d-b1ae-454cada53e60",{"type":26,"contentRole":24,"markdownContent":184,"audioMediaId":185},"Along with true-or-false propositions, propositional logic also uses **logical connectives**. These are words like IF and THEN, which can be used to link a series of statements together.\n\nLet's say you had two propositions: \"it is raining\" and \"you need an umbrella\". Using logical connectives, you could link those together into \"IF it is raining THEN you need an umbrella\".\n\nIn effect, these connectives turn the true-or-false propositions into a decision tree. And if you tell the AI \"I'm about to go out, should I bring an umbrella?\" it could use this tree to give you a helpful answer.\n\n![Graph](image://cf4c58e1-1229-400d-bcf4-02eda220990d \" \")\n\nIf \"it is raining\" is true, the AI will tell you \"yes, you need an umbrella.\" If \"it is raining\" is false, the AI will tell you \"no, you don't need one today\".","a6ba5fd4-60f2-4323-9b44-b06444f86218",[187],{"id":188,"data":189,"type":50,"version":26,"maxContentLevel":19},"1e6112cc-ba69-4f99-bea8-f6dfc462ec65",{"type":50,"reviewType":19,"spacingBehaviour":26,"multiChoiceQuestion":190,"multiChoiceCorrect":192,"multiChoiceIncorrect":193,"multiChoiceMultiSelect":6,"multiChoiceRevealAnswerOption":6},[191],"Words like IF and THEN can be used to link propositions. But what do we call these links?",[175],[194,195,196],"Propositional connectives","Logical statements","Propositional statements",{"id":198,"data":199,"type":26,"maxContentLevel":19,"version":26,"reviews":202},"486bfd78-1df6-4c15-a58e-61155b31b04d",{"type":26,"contentRole":24,"markdownContent":200,"audioMediaId":201},"Along with IF and THEN, two more examples of logical connectives are AND and OR. Again, these connectives can be used to turn a set of true-or-false propositions into a decision tree.\n\nLet's look at another example: \"IF you keep coughing OR you keep sneezing AND you have a temperature THEN you might have the flu\".\n\n![Graph](image://4ed9e780-5d7c-4c0e-a6b5-8ce8285ed08f \" \")\n\nThis is still quite a simple example. But imagine if you programmed a symbolic AI with *every* possible medical symptom, plus *every* possible diagnosis? You'd end up with a pretty impressive model. A computer that uses thousands of symbols, and massive decision trees, to 'think' like an AI doctor.","936a2958-9b5a-45f5-bb78-6da6783f0675",[203,216],{"id":204,"data":205,"type":50,"version":26,"maxContentLevel":19},"4b4a0daa-a397-437f-8925-eb908a9442ff",{"type":50,"reviewType":19,"spacingBehaviour":26,"multiChoiceQuestion":206,"multiChoiceCorrect":208,"multiChoiceIncorrect":212,"multiChoiceMultiSelect":215,"multiChoiceRevealAnswerOption":6},[207],"Which of these are examples of propositions?",[209,210,211],"cheese is edible","penguins can fly","cats are mammals",[213,214],"where is the dog?","close the door",true,{"id":217,"data":218,"type":50,"version":26,"maxContentLevel":19},"a286042d-78d0-4ae4-a7f9-02f264a014a4",{"type":50,"reviewType":219,"spacingBehaviour":26,"orderAxisType":220,"orderQuestion":221,"orderItems":223},8,6,[222],"Complete this string of propositional logic: ",[224,226,228,230],{"label":225,"sortOrder":4},"IF it is raining",{"label":227,"sortOrder":26},"OR it is snowing",{"label":229,"sortOrder":24},"THEN you need a coat",{"label":231,"sortOrder":19},"AND you need an umbrella ",{"id":233,"data":234,"type":24,"version":19,"maxContentLevel":19,"summaryPage":236,"introPage":243,"pages":249},"524fd25b-7e7e-4a94-9535-ff3d70913728",{"type":24,"title":235},"Predicate logic",{"id":237,"data":238,"type":19,"maxContentLevel":19,"version":26},"74aab9dc-ac40-4a25-ad79-76f7492c165e",{"type":19,"summary":239},[240,241,242],"Predicate logic combines symbols and properties into triplets","These triplets can be arranged in complex network of nodes and edges called a knowledge graph","A knowledge graph allows an AI to make inferences based on relationships between different symbols",{"id":244,"data":245,"type":37,"maxContentLevel":19,"version":26},"91d4eea7-74d8-434b-93a3-a12c99b6f724",{"type":37,"intro":246},[247,248],"How is predicate logic different to propositional logic?","How does predicate logic help AI to think like we do?",[250,271,276,289],{"id":251,"data":252,"type":26,"maxContentLevel":19,"version":24,"reviews":255},"2483ac32-fa00-466c-8f7d-4e7bd24b45a7",{"type":26,"contentRole":24,"markdownContent":253,"audioMediaId":254},"Along with propositional logic, a symbolic AI might also use another type of logic, which is known as **predicate logic**.\n\nWith propositional logic, we saw how a symbol and its properties could be turned into true-or-false propositions. For example, \"apple\" (symbol) and \"can be red\" (property) could be turned into \"apples can be red (true)\".\n\nPredicate logic follows a similar principle, but instead of combining the symbol and the property into a statement, it combines them into something called a triplet. This triplet consists of three parts: subject, predicate and object.\n\nIn the example above, \"apple\" is the subject, \"can be\" is the predicate, and \"red\" is the object. In another example, \"dog\" might be the subject, \"is\" might be the predicate, \"mammal\" might be the object.\n\n![Graph](image://5d471ec9-ae81-46c4-b3e1-091009278c96 \"Dog. Image via Pexels\")","e1ae52eb-0e34-4e45-9ef0-ca76d8b33591",[256],{"id":257,"data":258,"type":50,"version":24,"maxContentLevel":19},"8cf457c4-1dc2-4d55-85b0-67151e6f5ea9",{"type":50,"reviewType":220,"spacingBehaviour":26,"matchPairsQuestion":259,"matchPairsPairs":261,"matchPairsShowExamples":6},[260],"Match the pairs of this triplet: \"cat is chasing mouse\"",[262,265,268],{"left":263,"right":264,"direction":19},"cat","Subject",{"left":266,"right":267,"direction":19},"is chasing","Predicate",{"left":269,"right":270,"direction":19},"mouse","Object",{"id":272,"data":273,"type":26,"maxContentLevel":19,"version":26},"e510e5ff-ba5e-46a8-aecb-0ff33c993077",{"type":26,"contentRole":24,"markdownContent":274,"audioMediaId":275},"Predicate logic lets symbolic AI do some pretty interesting things.\n\nImagine two symbols. The first symbol, \"dog\", has \"is mammal\" attached to it. The second symbol, \"mammal\", has \"is warm blooded\" attached to it.\n\nYour AI turns these examples into triplets: \"dog\" (subject) \"is\" (predicate) \"mammal\" (object), and \"mammal\" (subject) \"is\" (predicate), \"warm blooded\" (object).\n\nLet's present those two triplets in a table, like the one below.\n\n![Graph](image://5805f781-098f-4014-bbc6-fc288c03bb1a \" \")","b2d8c8a7-5ac5-4a61-b1bd-ea056e31974f",{"id":277,"data":278,"type":26,"maxContentLevel":19,"version":24,"reviews":281},"d7a66fe8-1d6c-495d-bd30-f70794d29a22",{"type":26,"contentRole":24,"markdownContent":279,"audioMediaId":280},"So what's the point of these triplets? Let's take a look.\n\nImagine that you wanted to ask your AI whether dogs are warm blooded. Unfortunately, \"is warm blooded\" wasn't one of the properties attached to the symbol \"dog\". In other words, the AI doesn't know the answer.\n\nHowever... using some predicate logic, this symbolic AI might be able to work something out.\n\nIt looks at those triplets, and identifies that mammals are warm blooded. It *also* identifies that dogs are mammals. And if dogs are mammals, and mammals are warm blooded...\n\n![Graph](image://8d72c21e-c67b-426d-ade6-f34d463de143 \" \")\n\n\"Yes,\" the AI tells you. \"I believe that dogs are warm blooded.\"","6406e2dd-d640-4acf-971b-52279d6979b4",[282],{"id":283,"data":284,"type":50,"version":26,"maxContentLevel":19},"85dcab8e-5d44-4420-a307-3f9777f9d459",{"type":50,"reviewType":26,"spacingBehaviour":26,"activeRecallQuestion":285,"activeRecallAnswers":287},[286],"Using predicate knowledge, what could an AI deduce from the following triplets? \"ducks are birds\" and \"birds have feathers\".",[288],"Ducks have feathers",{"id":290,"data":291,"type":26,"maxContentLevel":19,"version":26,"reviews":294},"785c0f05-bdd5-459c-9b36-7aa2e2faf69e",{"type":26,"contentRole":24,"markdownContent":292,"audioMediaId":293},"Just like propositional logic, predicate logic can be a very powerful tool.\n\nIn some symbolic AI models, information is arranged into something called a **knowledge graph**. This is a complex network of nodes and edges, with the nodes representing subjects and objects, and the edges representing the predicate relationships between them.\n\n![Graph](image://e2c425e9-2c63-4a4d-a709-ae5e134ddf2a \"Example of a knowledge graph. By Fuzheado (CC BY-SA 4.0) \u003Chttps://creativecommons.org/licenses/by-sa/4.0>, via Wikimedia Commons\")\n\nA knowledge graph can help a symbolic AI to draw sophisticated, human-like deductions. It can wind along the graph from node to node, drawing long strings of logic from subject to object to subject to object until it reaches new decisions and conclusions.\n\nUser: \"Could Artificial Intelligence exist without sunlight?\"\n\nAI: \"AI is made by humans, and humans eat animals, and animals eat plants, and humans also eat plants, and plants need sunlight, so no, in conclusion, Artificial Intelligence could not exist without sunlight.\"\n\n![Graph](image://fdabdf3d-d78a-4f4f-b77f-b8335db27f7f \" \")","0ef69887-805f-4573-bec6-f8332e4f7f73",[295,306,315],{"id":91,"data":296,"type":50,"version":26,"maxContentLevel":19},{"type":50,"reviewType":19,"spacingBehaviour":26,"collapsingSiblings":297,"multiChoiceQuestion":298,"multiChoiceCorrect":300,"multiChoiceIncorrect":301,"multiChoiceMultiSelect":6,"multiChoiceRevealAnswerOption":6,"matchPairsQuestion":302,"matchPairsPairs":303},[88,92,93],[299],"Predicate triplets can be arranged in a network of nodes and edges known as what?",[99],[97,100,101],[77],[304],{"left":99,"right":305,"direction":19},"Network of predicate triplets",{"id":307,"data":308,"type":50,"version":26,"maxContentLevel":19},"3bde3242-3a7b-466c-9f70-24fff30e6e44",{"type":50,"reviewType":24,"spacingBehaviour":26,"binaryQuestion":309,"binaryCorrect":311,"binaryIncorrect":313},[310],"In a knowledge graph, what do nodes represent?",[312],"Subjects and objects",[314],"Predicate relationships",{"id":316,"data":317,"type":50,"version":26,"maxContentLevel":19},"5e4bc0a7-dd57-416c-af10-984faf4bb2f6",{"type":50,"reviewType":24,"spacingBehaviour":26,"binaryQuestion":318,"binaryCorrect":320,"binaryIncorrect":321},[319],"In a knowledge graph, what do edges represent?",[314],[312],{"id":323,"data":324,"type":24,"version":24,"maxContentLevel":19,"summaryPage":326,"introPage":333,"pages":339},"68f26d51-95fa-4cfe-abd4-301ee1302d16",{"type":24,"title":325},"Types of knowledge",{"id":327,"data":328,"type":19,"maxContentLevel":19,"version":26},"84238b2c-a30c-41c1-a038-5ce6223c60bd",{"type":19,"summary":329},[330,331,332],"Expert systems were designed to mimic the decision-making skills of human experts","They stored different types of knowledge, like declarative, procedural, and heuristic ","Expert systems have fallen out of fashion, mainly because they're so hard to manually programme",{"id":334,"data":335,"type":37,"maxContentLevel":19,"version":26},"8a3c4227-4719-4a0f-93a6-4f17bb2f9f54",{"type":37,"intro":336},[337,338],"What are expert systems, and how do they work?","What are some of the different types of knowledge?",[340,353,358,381],{"id":341,"data":342,"type":26,"maxContentLevel":19,"version":24,"reviews":345},"0c11f9ef-06ca-42aa-8661-ca53fc57f904",{"type":26,"contentRole":24,"markdownContent":343,"audioMediaId":344},"In the 1960s, symbolic AI was used to build an exciting new type of machine.\n\nIt was known as an **expert system**, and it was designed to mimic the decision-making skills of human experts, like doctors, lawyers, and financial advisors.\n\nThese expert systems had two main parts. First, a colossal knowledge base, holding thousands of relevant symbols. For example, a medical expert system would have a knowledge base of symptoms and diseases, while a legal expert system would have a knowledge base of laws and case studies.\n\nThe second part was called the inference engine: a piece of software which applied propositional logic and predicate logic to the giant knowledge base. This logic allowed the system to 'make decisions'.\n\n![Graph](image://351f6946-5e80-4751-a368-b4aaa2a23e8c \"Parts of an expert system.\")","f6dfb444-b8be-424f-85b2-046ede4eccb5",[346],{"id":347,"data":348,"type":50,"version":26,"maxContentLevel":19},"184bb25e-13f3-45d4-8427-f20dffe3a609",{"type":50,"reviewType":26,"spacingBehaviour":26,"activeRecallQuestion":349,"activeRecallAnswers":351},[350],"What was the primary purpose of an expert system?",[352],"To mimic the decision-making skills of human experts",{"id":354,"data":355,"type":26,"maxContentLevel":19,"version":26},"7d069ee5-3638-4ee3-8608-b62b55bd13ae",{"type":26,"contentRole":24,"markdownContent":356,"audioMediaId":357},"The knowledge base in an expert system could hold many different types of knowledge. If you don't know what we mean by 'types of knowledge'... well, let's look at a few examples.\n\nFirst, we have something called **declarative knowledge**. This is basically just a simple, solid fact. You might have the symbol, \"coughing\", with \"is a symptom of flu\". Or the symbol \"theft\", with \"is illegal\".\n\nSecond, we have **procedural knowledge**. This is more like a process, or a series of steps. For example, instead of saying that \"coughing is a symptom of flu\", procedural knowledge might be step-by-step instructions that explain how to treat this illness.","54dac688-f9f4-4415-9018-08e4e912a776",{"id":359,"data":360,"type":26,"maxContentLevel":19,"version":26,"reviews":363},"056591b5-e10c-4f5b-ab79-d09be0f1eb02",{"type":26,"contentRole":24,"markdownContent":361,"audioMediaId":362},"Then there's **heuristic knowledge**, also known as a 'rule of thumb'. This describes general guidelines, or approximate strategies, which might help the AI take shortcuts towards better decisions.\n\nFor example, here's a useful 'rule of thumb' for a medical system: \"if symptoms persist, it's worth seeing an actual doctor.\" Or here’s one for a legal system: “if this is a first offense, the punishment should be more lenient.”\n\nHumans will often use 'rules of thumb' when they're making real-life decisions. Heuristic knowledge is just a way to allow symbolic AI to do the same.\n\n![Graph](image://27a9d393-01cf-4eca-a764-944631981568 \"Thumb. Image via Pexels\")","09e186e4-28e8-4be0-a992-cbf18ab1cb95",[364],{"id":365,"data":366,"type":50,"version":26,"maxContentLevel":19},"afd67897-2bd9-4e86-8bed-44fbfb659e27",{"type":50,"reviewType":220,"spacingBehaviour":26,"matchPairsQuestion":367,"matchPairsPairs":368,"matchPairsShowExamples":6},[77],[369,372,375,378],{"left":370,"right":371,"direction":19},"Declarative knowledge","Simple facts",{"left":373,"right":374,"direction":19},"Procedural knowledge","Series of steps",{"left":376,"right":377,"direction":19},"Heuristic knowledge","Rules of thumb",{"left":379,"right":380,"direction":19},"None of these","General impressions",{"id":382,"data":383,"type":26,"maxContentLevel":19,"version":26,"reviews":386},"4a4d2057-6d6f-412d-aa9d-c9ea64d72216",{"type":26,"contentRole":24,"markdownContent":384,"audioMediaId":385},"When expert systems were first introduced, there was a lot of hype around them. By the 1980s, they were being used by many of the world's top businesses, and even some universities.\n\nAs we've already seen, this hype died away during the AI winter. At the end of the day, symbolic AI was too reliant on manual programming. At higher levels of complexity, there were simply too many symbols and statements for anyone to feasibly produce.\n\nBut despite that fact, there's still a place for symbolic AI today. Many doctors, for example, use modern equivalents of expert systems to help them diagnose illnesses. Plenty of businesses and research labs use knowledge graphs to organize data. Even robots and drones use symbolic logic: IF battery is low, THEN it is time to recharge.\n\nThink of it like this: with symbolic AI, there's a threshold of complexity that manual programming can't cross. But for tasks that fall below this threshold? Symbolic AI can still be an effective approach.","7673bdd6-9566-4f55-874c-9591a2d8dec6",[387,396,407],{"id":388,"data":389,"type":50,"version":26,"maxContentLevel":19},"c60566a3-1aa0-4741-aec3-d9c3755d839a",{"type":50,"reviewType":24,"spacingBehaviour":26,"binaryQuestion":390,"binaryCorrect":392,"binaryIncorrect":394},[391],"What is the role of the inference engine in an expert system?",[393],"It applies logic to the knowledge base",[395],"It constructs the knowledge base",{"id":397,"data":398,"type":50,"version":26,"maxContentLevel":19},"2bad8ffb-225d-4e70-831c-707bcfa3eb69",{"type":50,"reviewType":19,"spacingBehaviour":26,"multiChoiceQuestion":399,"multiChoiceCorrect":401,"multiChoiceIncorrect":403,"multiChoiceMultiSelect":6,"multiChoiceRevealAnswerOption":6},[400],"What are the two main parts of an expert system?",[402],"Knowledge base & inference engine",[404,405,406],"Data base & inference engine","Data base & decision engine","Knowledge base & decision engine",{"id":408,"data":409,"type":50,"version":26,"maxContentLevel":19},"40f181cc-bd55-4fc3-a294-f351f0310964",{"type":50,"reviewType":26,"spacingBehaviour":26,"activeRecallQuestion":410,"activeRecallAnswers":412},[411],"Nowadays, why is symbolic programming only really used for simple AI models?",[413],"Because manual programming of complex models is too difficult",[415,541,705,883],{"id":22,"data":23,"type":24,"version":26,"maxContentLevel":19,"summaryPage":27,"introPage":34,"pages":416},[417,458,503],{"id":42,"data":43,"type":26,"maxContentLevel":19,"version":26,"reviews":46,"parsed":418},{"data":419,"body":422,"toc":456},{"title":420,"description":421},"","Earlier, we saw how symbolic programming was at the heart of the AI golden age. In simple terms, this meant giving a computer a tree of instructions, which effectively allowed it to 'make decisions' by following logical rules.",{"type":423,"children":424},"root",[425,441,446,451],{"type":426,"tag":427,"props":428,"children":429},"element","p",{},[430,433,439],{"type":431,"value":432},"text","Earlier, we saw how ",{"type":426,"tag":434,"props":435,"children":436},"strong",{},[437],{"type":431,"value":438},"symbolic programming",{"type":431,"value":440}," was at the heart of the AI golden age. In simple terms, this meant giving a computer a tree of instructions, which effectively allowed it to 'make decisions' by following logical rules.",{"type":426,"tag":427,"props":442,"children":443},{},[444],{"type":431,"value":445},"As you probably remember, symbolic programming is less popular now than it used to be. Most modern models, like AlphaGo and ChatGPT, use a totally different approach. They make their decisions using a web of neurons, which scientists call a neural network.",{"type":426,"tag":427,"props":447,"children":448},{},[449],{"type":431,"value":450},"We'll learn all about that later. But first, we're going to take a look at symbolic programming in more detail. Yes, neural networks are more popular and more powerful. But in certain contexts, symbolic AI is still a very effective approach.",{"type":426,"tag":427,"props":452,"children":453},{},[454],{"type":431,"value":455},"Some people even refer to it as Good Old Fashioned Artificial Intelligence (GOFAI). That's why we're starting off with it. Good old fashioned stuff first, neural networks later on.",{"title":420,"searchDepth":24,"depth":24,"links":457},[],{"id":56,"data":57,"type":26,"maxContentLevel":19,"version":26,"reviews":60,"parsed":459},{"data":460,"body":462,"toc":501},{"title":420,"description":461},"First thing's first: you're probably wondering why we call it symbolic programming. Well, it's because this approach uses symbols to represent ideas and objects.",{"type":423,"children":463},[464,476,481,486,491],{"type":426,"tag":427,"props":465,"children":466},{},[467,469,474],{"type":431,"value":468},"First thing's first: you're probably wondering why we call it symbolic programming. Well, it's because this approach uses ",{"type":426,"tag":434,"props":470,"children":471},{},[472],{"type":431,"value":473},"symbols",{"type":431,"value":475}," to represent ideas and objects.",{"type":426,"tag":427,"props":477,"children":478},{},[479],{"type":431,"value":480},"When we say 'symbols', we're not talking about hieroglyphics. Instead, we're talking about labels. Labels which represent something. It's actually pretty similar to the way that a human uses words.",{"type":426,"tag":427,"props":482,"children":483},{},[484],{"type":431,"value":485},"When you say the word \"apple\", you're just using that word as a symbol for a particular fruit. A particular fruit with a particular taste, and a particular color, which grows on a particular tree.",{"type":426,"tag":427,"props":487,"children":488},{},[489],{"type":431,"value":490},"The whole idea of 'appleness' is summed up by the word \"apple\". In other words, \"apple\" is just a symbol which represents that idea.",{"type":426,"tag":427,"props":492,"children":493},{},[494],{"type":426,"tag":495,"props":496,"children":500},"img",{"alt":497,"src":498,"title":499},"Graph","image://3ec4cd53-e0c6-460a-95ae-db52d4897307","Apple by Abhijit Tembhekar (CC BY 2.0) \u003Chttps://creativecommons.org/licenses/by/2.0>, via Wikimedia Commons",[],{"title":420,"searchDepth":24,"depth":24,"links":502},[],{"id":82,"data":83,"type":26,"maxContentLevel":19,"version":26,"reviews":86,"parsed":504},{"data":505,"body":507,"toc":539},{"title":420,"description":506},"A symbolic AI might have access to a library of thousands of symbols, each representing an idea. We call this library a knowledge base – and for good old fashioned symbolic AI, it will need to be programmed by hand.",{"type":423,"children":508},[509,521,526,534],{"type":426,"tag":427,"props":510,"children":511},{},[512,514,519],{"type":431,"value":513},"A symbolic AI might have access to a library of thousands of symbols, each representing an idea. We call this library a ",{"type":426,"tag":434,"props":515,"children":516},{},[517],{"type":431,"value":518},"knowledge base",{"type":431,"value":520}," – and for good old fashioned symbolic AI, it will need to be programmed by hand.",{"type":426,"tag":427,"props":522,"children":523},{},[524],{"type":431,"value":525},"For example, a programmer might manually add \"apple\", and associate it with properties like \"fruit\", \"red\", and \"grows on trees\". They might also add \"pineapple\", and associate it with \"fruit\", \"yellow\", and \"grows on ground\". Do this for a hundred types of fruit, and you end up with a decent knowledge base.",{"type":426,"tag":427,"props":527,"children":528},{},[529],{"type":426,"tag":495,"props":530,"children":533},{"alt":497,"src":531,"title":532},"image://3c05fa02-1cb2-4b97-854e-e2edff5bc343","Pineapple by Kaweesaesther (CC BY-SA 4.0) \u003Chttps://creativecommons.org/licenses/by-sa/4.0>, via Wikimedia Commons",[],{"type":426,"tag":427,"props":535,"children":536},{},[537],{"type":431,"value":538},"And the AI can use this knowledge base to 'think'. For example, you could ask it, \"What is a pineapple?\" and it could tell you \"A pineapple is a yellow fruit which typically grows on the ground.\"",{"title":420,"searchDepth":24,"depth":24,"links":540},[],{"id":124,"data":125,"type":24,"version":26,"maxContentLevel":19,"summaryPage":127,"introPage":134,"pages":542},[543,577,619,662],{"id":142,"data":143,"type":26,"maxContentLevel":19,"version":26,"reviews":146,"parsed":544},{"data":545,"body":547,"toc":575},{"title":420,"description":546},"So, we know that symbolic AI is built around a bank of pre-programmed symbols. We looked at a fruit example: \"apple\" might be a symbol for a number of properties, including \"red\" and \"grows on trees\".",{"type":423,"children":548},[549,553,565,570],{"type":426,"tag":427,"props":550,"children":551},{},[552],{"type":431,"value":546},{"type":426,"tag":427,"props":554,"children":555},{},[556,558,563],{"type":431,"value":557},"What we now need to talk about is how these symbols relate to ",{"type":426,"tag":434,"props":559,"children":560},{},[561],{"type":431,"value":562},"logic",{"type":431,"value":564},".",{"type":426,"tag":427,"props":566,"children":567},{},[568],{"type":431,"value":569},"Logic, in this context, is just a set of rules which tell an AI how to 'think' about different symbols. Here's an analogy: symbols are the building blocks of symbolic AI, while logic is a detailed instruction guide which tells the AI how to arrange those blocks into shapes.",{"type":426,"tag":427,"props":571,"children":572},{},[573],{"type":431,"value":574},"That isn't a perfect analogy. But it's a helpful idea to bear in mind as we look at logic in more detail.",{"title":420,"searchDepth":24,"depth":24,"links":576},[],{"id":161,"data":162,"type":26,"maxContentLevel":19,"version":26,"reviews":165,"parsed":578},{"data":579,"body":581,"toc":617},{"title":420,"description":580},"There are actually a few different types of logic. We're going to start with the simplest: propositional logic.",{"type":423,"children":582},[583,594,599,604,612],{"type":426,"tag":427,"props":584,"children":585},{},[586,588,593],{"type":431,"value":587},"There are actually a few different types of logic. We're going to start with the simplest: ",{"type":426,"tag":434,"props":589,"children":590},{},[591],{"type":431,"value":592},"propositional logic",{"type":431,"value":564},{"type":426,"tag":427,"props":595,"children":596},{},[597],{"type":431,"value":598},"Propositional logic is built around statements which can either be true or false. For example, a statement like \"apples are edible\" (true) or \"bananas are purple\" (false). We call these statements propositions.",{"type":426,"tag":427,"props":600,"children":601},{},[602],{"type":431,"value":603},"These propositions will need to be programmed manually. But they will usually contain a symbol that's already in the system. For example, \"the box contains a banana\" is a proposition which includes the symbol \"banana\".",{"type":426,"tag":427,"props":605,"children":606},{},[607],{"type":426,"tag":495,"props":608,"children":611},{"alt":497,"src":609,"title":610},"image://c6e39705-09fa-4c80-af81-ecdd4d423634","Banana box. (Public domain), via Wikimedia Commons",[],{"type":426,"tag":427,"props":613,"children":614},{},[615],{"type":431,"value":616},"A proposition might switch back and forth between 'true' and 'false'. Sometimes, there might be a banana in that box. Sometimes, there might be an apple. But it will always be one or the other: these statements should never be both 'true' and 'false' at once.",{"title":420,"searchDepth":24,"depth":24,"links":618},[],{"id":182,"data":183,"type":26,"maxContentLevel":19,"version":26,"reviews":186,"parsed":620},{"data":621,"body":623,"toc":660},{"title":420,"description":622},"Along with true-or-false propositions, propositional logic also uses logical connectives. These are words like IF and THEN, which can be used to link a series of statements together.",{"type":423,"children":624},[625,637,642,647,655],{"type":426,"tag":427,"props":626,"children":627},{},[628,630,635],{"type":431,"value":629},"Along with true-or-false propositions, propositional logic also uses ",{"type":426,"tag":434,"props":631,"children":632},{},[633],{"type":431,"value":634},"logical connectives",{"type":431,"value":636},". These are words like IF and THEN, which can be used to link a series of statements together.",{"type":426,"tag":427,"props":638,"children":639},{},[640],{"type":431,"value":641},"Let's say you had two propositions: \"it is raining\" and \"you need an umbrella\". Using logical connectives, you could link those together into \"IF it is raining THEN you need an umbrella\".",{"type":426,"tag":427,"props":643,"children":644},{},[645],{"type":431,"value":646},"In effect, these connectives turn the true-or-false propositions into a decision tree. And if you tell the AI \"I'm about to go out, should I bring an umbrella?\" it could use this tree to give you a helpful answer.",{"type":426,"tag":427,"props":648,"children":649},{},[650],{"type":426,"tag":495,"props":651,"children":654},{"alt":497,"src":652,"title":653},"image://cf4c58e1-1229-400d-bcf4-02eda220990d"," ",[],{"type":426,"tag":427,"props":656,"children":657},{},[658],{"type":431,"value":659},"If \"it is raining\" is true, the AI will tell you \"yes, you need an umbrella.\" If \"it is raining\" is false, the AI will tell you \"no, you don't need one today\".",{"title":420,"searchDepth":24,"depth":24,"links":661},[],{"id":198,"data":199,"type":26,"maxContentLevel":19,"version":26,"reviews":202,"parsed":663},{"data":664,"body":666,"toc":703},{"title":420,"description":665},"Along with IF and THEN, two more examples of logical connectives are AND and OR. Again, these connectives can be used to turn a set of true-or-false propositions into a decision tree.",{"type":423,"children":667},[668,672,677,684],{"type":426,"tag":427,"props":669,"children":670},{},[671],{"type":431,"value":665},{"type":426,"tag":427,"props":673,"children":674},{},[675],{"type":431,"value":676},"Let's look at another example: \"IF you keep coughing OR you keep sneezing AND you have a temperature THEN you might have the flu\".",{"type":426,"tag":427,"props":678,"children":679},{},[680],{"type":426,"tag":495,"props":681,"children":683},{"alt":497,"src":682,"title":653},"image://4ed9e780-5d7c-4c0e-a6b5-8ce8285ed08f",[],{"type":426,"tag":427,"props":685,"children":686},{},[687,689,695,697,701],{"type":431,"value":688},"This is still quite a simple example. But imagine if you programmed a symbolic AI with ",{"type":426,"tag":690,"props":691,"children":692},"em",{},[693],{"type":431,"value":694},"every",{"type":431,"value":696}," possible medical symptom, plus ",{"type":426,"tag":690,"props":698,"children":699},{},[700],{"type":431,"value":694},{"type":431,"value":702}," possible diagnosis? You'd end up with a pretty impressive model. A computer that uses thousands of symbols, and massive decision trees, to 'think' like an AI doctor.",{"title":420,"searchDepth":24,"depth":24,"links":704},[],{"id":233,"data":234,"type":24,"version":19,"maxContentLevel":19,"summaryPage":236,"introPage":243,"pages":706},[707,749,783,829],{"id":251,"data":252,"type":26,"maxContentLevel":19,"version":24,"reviews":255,"parsed":708},{"data":709,"body":711,"toc":747},{"title":420,"description":710},"Along with propositional logic, a symbolic AI might also use another type of logic, which is known as predicate logic.",{"type":423,"children":712},[713,724,729,734,739],{"type":426,"tag":427,"props":714,"children":715},{},[716,718,723],{"type":431,"value":717},"Along with propositional logic, a symbolic AI might also use another type of logic, which is known as ",{"type":426,"tag":434,"props":719,"children":720},{},[721],{"type":431,"value":722},"predicate logic",{"type":431,"value":564},{"type":426,"tag":427,"props":725,"children":726},{},[727],{"type":431,"value":728},"With propositional logic, we saw how a symbol and its properties could be turned into true-or-false propositions. For example, \"apple\" (symbol) and \"can be red\" (property) could be turned into \"apples can be red (true)\".",{"type":426,"tag":427,"props":730,"children":731},{},[732],{"type":431,"value":733},"Predicate logic follows a similar principle, but instead of combining the symbol and the property into a statement, it combines them into something called a triplet. This triplet consists of three parts: subject, predicate and object.",{"type":426,"tag":427,"props":735,"children":736},{},[737],{"type":431,"value":738},"In the example above, \"apple\" is the subject, \"can be\" is the predicate, and \"red\" is the object. In another example, \"dog\" might be the subject, \"is\" might be the predicate, \"mammal\" might be the object.",{"type":426,"tag":427,"props":740,"children":741},{},[742],{"type":426,"tag":495,"props":743,"children":746},{"alt":497,"src":744,"title":745},"image://5d471ec9-ae81-46c4-b3e1-091009278c96","Dog. Image via Pexels",[],{"title":420,"searchDepth":24,"depth":24,"links":748},[],{"id":272,"data":273,"type":26,"maxContentLevel":19,"version":26,"parsed":750},{"data":751,"body":753,"toc":781},{"title":420,"description":752},"Predicate logic lets symbolic AI do some pretty interesting things.",{"type":423,"children":754},[755,759,764,769,774],{"type":426,"tag":427,"props":756,"children":757},{},[758],{"type":431,"value":752},{"type":426,"tag":427,"props":760,"children":761},{},[762],{"type":431,"value":763},"Imagine two symbols. The first symbol, \"dog\", has \"is mammal\" attached to it. The second symbol, \"mammal\", has \"is warm blooded\" attached to it.",{"type":426,"tag":427,"props":765,"children":766},{},[767],{"type":431,"value":768},"Your AI turns these examples into triplets: \"dog\" (subject) \"is\" (predicate) \"mammal\" (object), and \"mammal\" (subject) \"is\" (predicate), \"warm blooded\" (object).",{"type":426,"tag":427,"props":770,"children":771},{},[772],{"type":431,"value":773},"Let's present those two triplets in a table, like the one below.",{"type":426,"tag":427,"props":775,"children":776},{},[777],{"type":426,"tag":495,"props":778,"children":780},{"alt":497,"src":779,"title":653},"image://5805f781-098f-4014-bbc6-fc288c03bb1a",[],{"title":420,"searchDepth":24,"depth":24,"links":782},[],{"id":277,"data":278,"type":26,"maxContentLevel":19,"version":24,"reviews":281,"parsed":784},{"data":785,"body":787,"toc":827},{"title":420,"description":786},"So what's the point of these triplets? Let's take a look.",{"type":423,"children":788},[789,793,798,803,815,822],{"type":426,"tag":427,"props":790,"children":791},{},[792],{"type":431,"value":786},{"type":426,"tag":427,"props":794,"children":795},{},[796],{"type":431,"value":797},"Imagine that you wanted to ask your AI whether dogs are warm blooded. Unfortunately, \"is warm blooded\" wasn't one of the properties attached to the symbol \"dog\". In other words, the AI doesn't know the answer.",{"type":426,"tag":427,"props":799,"children":800},{},[801],{"type":431,"value":802},"However... using some predicate logic, this symbolic AI might be able to work something out.",{"type":426,"tag":427,"props":804,"children":805},{},[806,808,813],{"type":431,"value":807},"It looks at those triplets, and identifies that mammals are warm blooded. It ",{"type":426,"tag":690,"props":809,"children":810},{},[811],{"type":431,"value":812},"also",{"type":431,"value":814}," identifies that dogs are mammals. And if dogs are mammals, and mammals are warm blooded...",{"type":426,"tag":427,"props":816,"children":817},{},[818],{"type":426,"tag":495,"props":819,"children":821},{"alt":497,"src":820,"title":653},"image://8d72c21e-c67b-426d-ade6-f34d463de143",[],{"type":426,"tag":427,"props":823,"children":824},{},[825],{"type":431,"value":826},"\"Yes,\" the AI tells you. \"I believe that dogs are warm blooded.\"",{"title":420,"searchDepth":24,"depth":24,"links":828},[],{"id":290,"data":291,"type":26,"maxContentLevel":19,"version":26,"reviews":294,"parsed":830},{"data":831,"body":833,"toc":881},{"title":420,"description":832},"Just like propositional logic, predicate logic can be a very powerful tool.",{"type":423,"children":834},[835,839,851,859,864,869,874],{"type":426,"tag":427,"props":836,"children":837},{},[838],{"type":431,"value":832},{"type":426,"tag":427,"props":840,"children":841},{},[842,844,849],{"type":431,"value":843},"In some symbolic AI models, information is arranged into something called a ",{"type":426,"tag":434,"props":845,"children":846},{},[847],{"type":431,"value":848},"knowledge graph",{"type":431,"value":850},". This is a complex network of nodes and edges, with the nodes representing subjects and objects, and the edges representing the predicate relationships between them.",{"type":426,"tag":427,"props":852,"children":853},{},[854],{"type":426,"tag":495,"props":855,"children":858},{"alt":497,"src":856,"title":857},"image://e2c425e9-2c63-4a4d-a709-ae5e134ddf2a","Example of a knowledge graph. By Fuzheado (CC BY-SA 4.0) \u003Chttps://creativecommons.org/licenses/by-sa/4.0>, via Wikimedia Commons",[],{"type":426,"tag":427,"props":860,"children":861},{},[862],{"type":431,"value":863},"A knowledge graph can help a symbolic AI to draw sophisticated, human-like deductions. It can wind along the graph from node to node, drawing long strings of logic from subject to object to subject to object until it reaches new decisions and conclusions.",{"type":426,"tag":427,"props":865,"children":866},{},[867],{"type":431,"value":868},"User: \"Could Artificial Intelligence exist without sunlight?\"",{"type":426,"tag":427,"props":870,"children":871},{},[872],{"type":431,"value":873},"AI: \"AI is made by humans, and humans eat animals, and animals eat plants, and humans also eat plants, and plants need sunlight, so no, in conclusion, Artificial Intelligence could not exist without sunlight.\"",{"type":426,"tag":427,"props":875,"children":876},{},[877],{"type":426,"tag":495,"props":878,"children":880},{"alt":497,"src":879,"title":653},"image://fdabdf3d-d78a-4f4f-b77f-b8335db27f7f",[],{"title":420,"searchDepth":24,"depth":24,"links":882},[],{"id":323,"data":324,"type":24,"version":24,"maxContentLevel":19,"summaryPage":326,"introPage":333,"pages":884},[885,927,963,1001],{"id":341,"data":342,"type":26,"maxContentLevel":19,"version":24,"reviews":345,"parsed":886},{"data":887,"body":889,"toc":925},{"title":420,"description":888},"In the 1960s, symbolic AI was used to build an exciting new type of machine.",{"type":423,"children":890},[891,895,907,912,917],{"type":426,"tag":427,"props":892,"children":893},{},[894],{"type":431,"value":888},{"type":426,"tag":427,"props":896,"children":897},{},[898,900,905],{"type":431,"value":899},"It was known as an ",{"type":426,"tag":434,"props":901,"children":902},{},[903],{"type":431,"value":904},"expert system",{"type":431,"value":906},", and it was designed to mimic the decision-making skills of human experts, like doctors, lawyers, and financial advisors.",{"type":426,"tag":427,"props":908,"children":909},{},[910],{"type":431,"value":911},"These expert systems had two main parts. First, a colossal knowledge base, holding thousands of relevant symbols. For example, a medical expert system would have a knowledge base of symptoms and diseases, while a legal expert system would have a knowledge base of laws and case studies.",{"type":426,"tag":427,"props":913,"children":914},{},[915],{"type":431,"value":916},"The second part was called the inference engine: a piece of software which applied propositional logic and predicate logic to the giant knowledge base. This logic allowed the system to 'make decisions'.",{"type":426,"tag":427,"props":918,"children":919},{},[920],{"type":426,"tag":495,"props":921,"children":924},{"alt":497,"src":922,"title":923},"image://351f6946-5e80-4751-a368-b4aaa2a23e8c","Parts of an expert system.",[],{"title":420,"searchDepth":24,"depth":24,"links":926},[],{"id":354,"data":355,"type":26,"maxContentLevel":19,"version":26,"parsed":928},{"data":929,"body":931,"toc":961},{"title":420,"description":930},"The knowledge base in an expert system could hold many different types of knowledge. If you don't know what we mean by 'types of knowledge'... well, let's look at a few examples.",{"type":423,"children":932},[933,937,949],{"type":426,"tag":427,"props":934,"children":935},{},[936],{"type":431,"value":930},{"type":426,"tag":427,"props":938,"children":939},{},[940,942,947],{"type":431,"value":941},"First, we have something called ",{"type":426,"tag":434,"props":943,"children":944},{},[945],{"type":431,"value":946},"declarative knowledge",{"type":431,"value":948},". This is basically just a simple, solid fact. You might have the symbol, \"coughing\", with \"is a symptom of flu\". Or the symbol \"theft\", with \"is illegal\".",{"type":426,"tag":427,"props":950,"children":951},{},[952,954,959],{"type":431,"value":953},"Second, we have ",{"type":426,"tag":434,"props":955,"children":956},{},[957],{"type":431,"value":958},"procedural knowledge",{"type":431,"value":960},". This is more like a process, or a series of steps. For example, instead of saying that \"coughing is a symptom of flu\", procedural knowledge might be step-by-step instructions that explain how to treat this illness.",{"title":420,"searchDepth":24,"depth":24,"links":962},[],{"id":359,"data":360,"type":26,"maxContentLevel":19,"version":26,"reviews":363,"parsed":964},{"data":965,"body":967,"toc":999},{"title":420,"description":966},"Then there's heuristic knowledge, also known as a 'rule of thumb'. This describes general guidelines, or approximate strategies, which might help the AI take shortcuts towards better decisions.",{"type":423,"children":968},[969,981,986,991],{"type":426,"tag":427,"props":970,"children":971},{},[972,974,979],{"type":431,"value":973},"Then there's ",{"type":426,"tag":434,"props":975,"children":976},{},[977],{"type":431,"value":978},"heuristic knowledge",{"type":431,"value":980},", also known as a 'rule of thumb'. This describes general guidelines, or approximate strategies, which might help the AI take shortcuts towards better decisions.",{"type":426,"tag":427,"props":982,"children":983},{},[984],{"type":431,"value":985},"For example, here's a useful 'rule of thumb' for a medical system: \"if symptoms persist, it's worth seeing an actual doctor.\" Or here’s one for a legal system: “if this is a first offense, the punishment should be more lenient.”",{"type":426,"tag":427,"props":987,"children":988},{},[989],{"type":431,"value":990},"Humans will often use 'rules of thumb' when they're making real-life decisions. Heuristic knowledge is just a way to allow symbolic AI to do the same.",{"type":426,"tag":427,"props":992,"children":993},{},[994],{"type":426,"tag":495,"props":995,"children":998},{"alt":497,"src":996,"title":997},"image://27a9d393-01cf-4eca-a764-944631981568","Thumb. Image via Pexels",[],{"title":420,"searchDepth":24,"depth":24,"links":1000},[],{"id":382,"data":383,"type":26,"maxContentLevel":19,"version":26,"reviews":386,"parsed":1002},{"data":1003,"body":1005,"toc":1026},{"title":420,"description":1004},"When expert systems were first introduced, there was a lot of hype around them. By the 1980s, they were being used by many of the world's top businesses, and even some universities.",{"type":423,"children":1006},[1007,1011,1016,1021],{"type":426,"tag":427,"props":1008,"children":1009},{},[1010],{"type":431,"value":1004},{"type":426,"tag":427,"props":1012,"children":1013},{},[1014],{"type":431,"value":1015},"As we've already seen, this hype died away during the AI winter. At the end of the day, symbolic AI was too reliant on manual programming. At higher levels of complexity, there were simply too many symbols and statements for anyone to feasibly produce.",{"type":426,"tag":427,"props":1017,"children":1018},{},[1019],{"type":431,"value":1020},"But despite that fact, there's still a place for symbolic AI today. Many doctors, for example, use modern equivalents of expert systems to help them diagnose illnesses. Plenty of businesses and research labs use knowledge graphs to organize data. Even robots and drones use symbolic logic: IF battery is low, THEN it is time to recharge.",{"type":426,"tag":427,"props":1022,"children":1023},{},[1024],{"type":431,"value":1025},"Think of it like this: with symbolic AI, there's a threshold of complexity that manual programming can't cross. But for tasks that fall below this threshold? Symbolic AI can still be an effective approach.",{"title":420,"searchDepth":24,"depth":24,"links":1027},[],{"left":4,"top":4,"width":1029,"height":1029,"rotate":4,"vFlip":6,"hFlip":6,"body":1030},24,"\u003Cpath fill=\"none\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"m9 18l6-6l-6-6\"/>",{"left":4,"top":4,"width":1029,"height":1029,"rotate":4,"vFlip":6,"hFlip":6,"body":1032},"\u003Cpath fill=\"none\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"M4 5h16M4 12h16M4 19h16\"/>",1778179449065]