기호주의 인공지능 Symbolic Artificial Intelligence
상징적 인공지능 · Symbolic AI · GOFAI
지식을 기호와 명시적 규칙으로 표현하고 탐색·추론 절차를 적용해 결론이나 행동을 도출하는 인공지능 접근법이다.
개념과 원리
섹션 제목: “개념과 원리”개요와 핵심 정의
섹션 제목: “개요와 핵심 정의”지식을 기호와 명시적 규칙으로 표현하고 탐색·추론 절차를 적용해 결론이나 행동을 도출하는 인공지능 접근법이다.
상징은 개체·관계·명제를 가리키며 규칙은 어떤 전제에서 어떤 결론을 허용하는지 기술한다. 이 접근법은 학습 데이터에서 표현을 암묵적으로 획득하는 신경망과 달리, 사람이 읽고 수정할 수 있는 지식 표현을 중심에 둔다.
배경과 설명 범위
섹션 제목: “배경과 설명 범위”전문가 시스템, 논리 프로그래밍, 지식 그래프, 자동 계획, 제약 충족과 정리 증명이 대표 범위다. 뉴로심볼릭 시스템처럼 신경망의 지각 결과를 기호 추론에 연결하는 혼합 구조도 있으므로 상징적 방법과 비상징적 방법을 배타적인 시대 구분으로 이해하면 안 된다.
이 문서는 표제어의 일반적 범위와 인접 개념을 외부 백과로 대조하되, 핵심 정의와 기술적 주장은 논문·표준·공식 문서를 기준으로 재서술한다. 제품별 구현 차이는 보편 정의와 분리해 기록한다.
작동 원리
섹션 제목: “작동 원리”사실과 규칙을 지식 기반에 저장하고, 전방 추론이나 후방 추론으로 적용 가능한 규칙을 찾는다. 탐색 문제에서는 상태, 연산자, 목표 검사를 정의하고 휴리스틱으로 후보 경로의 우선순위를 정한다. 충돌하는 규칙이 있으면 우선순위와 확신도, 예외 규칙을 별도로 관리해야 한다.
원리를 검증할 때는 입력, 중간 상태, 출력과 실패 조건을 분리한다. 결과값 하나만 확인하지 않고 어떤 가정과 변환을 거쳤는지 관찰 가능한 기록으로 남겨야 다른 구현과 비교할 수 있다.
구성 요소와 처리 흐름
섹션 제목: “구성 요소와 처리 흐름”운영 시스템은 지식 기반, 작업 기억, 추론 엔진, 탐색 제어, 설명 모듈로 나뉜다. 규칙 ID와 버전, 적용 전제, 결론, 예외를 기록하면 결론이 나온 경로를 재현할 수 있다. 외부 데이터가 기호로 변환되는 경계가 오류의 주요 발생 지점이다.
구현 비교에서는 기본값에 기대지 않고 인터페이스, 자료형 또는 스키마, 버전과 오류 처리 방식을 명시한다. 같은 명칭의 기능도 라이브러리와 서비스에 따라 경계 조건이 다를 수 있으므로 작은 기준 사례를 고정한다.
활용과 검증
섹션 제목: “활용과 검증”활용 분야와 선택 기준
섹션 제목: “활용 분야와 선택 기준”규정 준수, 구성 검증, 진단 보조처럼 규칙과 근거를 설명해야 하고 문제 범위가 비교적 안정적인 업무에 적합하다. 새로운 사례가 계속 등장하는 지각 문제에서는 학습 모델과 결합하고, 최종 결정 규칙만 상징 계층에 두는 구성이 실용적이다.
도입 여부는 정확도만이 아니라 지연시간, 비용, 설명 가능성, 데이터 요구량과 실패 시 피해를 함께 비교해 결정한다. 단순한 기준선과 실제 업무 데이터에서의 검증 결과가 복잡한 구성을 정당화해야 한다.
한계와 흔한 오해
섹션 제목: “한계와 흔한 오해”지식 획득 병목과 규칙 폭증, 예외 누락, 불확실한 감각 입력 처리의 어려움이 핵심 한계다. 규칙이 많아지면 상호작용으로 예상하지 못한 결론이 생길 수 있으므로 회귀 사례와 모순 검사, 사람이 검토할 수 있는 추론 로그가 필요하다.
평균 성능만 보고 한계를 숨기지 않도록 하위 집단, 경계 입력, 분포 변화와 악의적 입력을 별도로 시험한다. 알려진 실패를 탐지하는 모니터링과 안전한 대체 경로가 없으면 운영 준비가 끝난 것으로 보지 않는다.
관련 개념과의 구분
섹션 제목: “관련 개념과의 구분”- artificial-intelligence: 상위 연구 분야이며 상징적 접근은 그 안의 한 방법론이다.
- machine-learning: 데이터로 함수나 표현을 학습하는 방법을 중심으로 하며 규칙이 항상 명시적이지 않다.
- neural-network: 연속적인 가중치 계산으로 표현을 형성하고 상징 규칙과는 다른 오류 특성을 가진다.
구체적인 적용 예시
섹션 제목: “구체적인 적용 예시”대출 자격 검토에서 소득 확인, 연체 이력, 담보 조건을 사실로 입력하고 규칙별 근거 조항을 연결한다. 결과가 거절이면 적용된 규칙과 누락된 증빙을 함께 출력한다. 규칙이 바뀐 뒤 같은 사례를 재실행해 결정 변화가 의도한 것인지 확인한다.
예시는 성공 사례뿐 아니라 실패하기 쉬운 입력을 포함한다. 실행 전 기대 결과와 허용 오차를 적고, 실행 뒤에는 결과뿐 아니라 중간 상태와 선택 이유를 비교해 문제가 데이터·구성·구현 중 어디에서 생겼는지 분리한다.
실무 적용과 검증 절차
섹션 제목: “실무 적용과 검증 절차”- 목적과 경계 정의: 이 개념이 해결할 업무와 해결하지 않을 업무를 한 문장씩 적는다.
- 입력·출력 계약: 자료 형식, 단위, 스키마와 오류 응답을 고정한다.
- 기준선 비교: 더 단순한 방법과 동일한 평가 자료에서 품질·비용·지연시간을 비교한다.
- 실패 시험: 결측값, 극단값, 분포 변화, 권한 오류와 악의적 입력을 포함한다.
- 재현 기록: 규칙 집합 버전, 입력 사실의 출처, 적용된 규칙 순서, 충돌 해결 방식과 최종 검토자를 남긴다.
- 운영 통제: 자동 중단·롤백 조건과 사람이 검토해야 하는 사건을 지정한다.
검토자는 문서의 출처 번호를 따라 정의와 한계를 다시 확인하고, 구현 버전이 바뀔 때 같은 기준 사례와 실패 시험을 반복한다. 개선 폭이 복잡성과 잔여 위험을 상쇄하지 못하면 단순한 기준선으로 돌아간다.
운영 기록 템플릿
섹션 제목: “운영 기록 템플릿”- 선택 근거와 제외한 대안을 함께 적어 나중에 결정 조건을 복원한다.
- 입력 데이터의 기준 시점, 표본 수, 결측 처리와 권한 범위를 고정한다.
- 정상 기준 사례, 경계 사례, 의도적으로 실패시킬 사례의 기대 결과를 배포 전에 승인한다.
- 품질·지연시간·비용과 안전 지표에 경고선과 중단선을 따로 둔다.
- 변경 뒤 동일 평가를 반복하고 결과 차이가 데이터, 코드, 모델 또는 정책 중 어디에서 생겼는지 분류한다.
- 자동화가 확신하지 못하거나 영향이 큰 경우 사람이 판단할 수 있도록 입력과 근거, 가능한 대안을 한 화면에 제공한다.
학습 체크
섹션 제목: “학습 체크”- 상징적 인공지능 개념의 입력, 처리와 출력을 한 문장씩 설명할 수 있는가?
- 관련 문서 세 개와의 차이를 실제 사례로 구분할 수 있는가?
- 운영 기록과 실패 시험에서 반드시 남겨야 할 항목을 제시할 수 있는가?
문서 관계
섹션 제목: “문서 관계”선행 개념
섹션 제목: “선행 개념”관련 문서
섹션 제목: “관련 문서”이 문서를 가리키는 문서
섹션 제목: “이 문서를 가리키는 문서”나머지 82개 문서 보기
- 검증 데이터셋
- 결정 트리
- 계산지능
- 계층적 군집화
- 고전적 인공지능
- 공짜 점심 없음 정리
- 과소적합
- 과적합
- 군집화
- 귀납적 편향
- 그래디언트 부스팅
- 나이브 베이즈 분류기
- 능동학습
- 다양체 학습
- 다중 과제 학습
- 대조학습
- 데이터 누수
- 데이터 분포
- 데이터 전처리
- 독립 성분 분석
- 랜덤 포레스트
- 레이블
- 로지스틱 회귀
- 마르코프 확률장
- 머신러닝 파이프라인
- 메타학습
- 모델 용량
- 목표 변수
- 배깅
- 배치 학습
- 범용 인공지능
- 베이즈 네트워크
- 베이즈 학습
- 부스팅
- 분류
- 분리 표현
- 분포 외 데이터
- 분포 이동
- 불확실성 정량화
- 생성 모델과 판별 모델
- 서포트 벡터 머신
- 선형 회귀
- 앙상블 학습
- 약인공지능
- 연결주의
- 예측
- 오토인코더
- 온라인 학습
- 은닉 마르코프 모델
- 의사결정 시스템
- 이상 탐지
- 인공지능 겨울
- 인공지능 생명주기
- 인공지능 시스템
- 일반화
- 잠재 표현
- 전문가 시스템
- 전이학습
- 제로샷 학습
- 주성분 분석
- 준지도학습
- 지속학습
- 차원 축소
- 최대 사후 확률 추정
- 추천 시스템
- 커리큘럼 학습
- 테스트 데이터셋
- 튜링 테스트
- 특성
- 특성 공학
- 특성 학습
- 파운데이션 모델
- 편향-분산 절충
- 표현학습
- 퓨샷 학습
- 학습·검증·테스트 분할
- 확률 그래프 모델
- 확률 모델
- 회귀
- 희소 부호화
- K-최근접 이웃
- K-평균 군집화
이 문서를 포함하는 코스
섹션 제목: “이 문서를 포함하는 코스”포함된 코스가 없다.
참고와 다음 학습
섹션 제목: “참고와 다음 학습”참고 문헌
섹션 제목: “참고 문헌”- Computer Science as Empirical Inquiry: Symbols and Search — paper
- The Quest for Artificial Intelligence — book
- Symbolic artificial intelligence — Wikipedia — encyclopedia
코스에서 계속 읽기
섹션 제목: “코스에서 계속 읽기”이 문서에서 이어지는 코스가 없다.
