자동화 된 추론은 무엇입니까?

Automated 자동 추론은 컴퓨터 또는 기타 기계를 인간 논리적 추론의 결과를 복제하도록 프로그래밍 할 수 있다는 생각입니다.이 특정 종류의 기술 추구는 때때로 인공 지능으로 알려진 더 큰 분야의 일부이며, 개발자는 복잡한 알고리즘 및 기타 리소스를 사용하여 인간 지능을 시뮬레이션합니다.자동화 된 추론은 컴퓨터와의 논리적 결과를 달성하는 데 중점을 둡니다. 인공 지능 분야의 전문가들은 추론을 위해 자동화를 사용하여 다양한 프로젝트를 식별 할 수 있습니다.이들 중 일부는 수학을 활용하여 공식적인 논리를 생성하는 유효한 연역적 추론에 더 중점을 둡니다.이러한 유형의 프로젝트에는 이론을 증명하거나 특정 변수를 사용하여 해당 논리적 값 세트를 생성하는 것이 포함될 수 있습니다.다른 종류의 자동화 된 추론은 더 많은 언어 기반 또는 추상적이며, 여기서 인간 개발자는 효과적인 결과 또는 결정을 얻기 위해 컴퓨터에 특별히 표시된 목표 또는 판단을 제공해야 할 수도 있습니다.예를 들어, 일부 알고리즘은 의료 진단을 제공하거나 컴퓨터 입력 및 프로그래밍이 특정 의사 결정 중심의 논리적 결과로 이어지는 기타 작업을 제공하는 목표를 위해 작성 될 수 있습니다.이러한 많은 프로젝트에서 개발자는 실제 문제를 분석하는 데 효과를 위해 이러한 기술을 확장하기 위해 노력합니다.추론을위한 자동화의 대부분의 응용 프로그램 중 다수는 인간이 광범위한 프로젝트에 대한 결정을 내리는 데 도움이되는 의사 결정 지원 범주에 속합니다.종류의 기술.예를 들어, 응용 프로그램에서 추론을 위해 자동화를하는 사람들은 종종 퍼지 로직을 사용하는 경우가 많으며, 여기서 알고리즘은 본질적으로 광범위한 데이터 포인트 세트를보다 구체적이고 구체적인 결과로 요약합니다.자동화 된 추론 방법을 평가하면 외부 관찰자가 이러한 기술 응용 프로그램이 어떻게 구축되는지, 작동 방식 및 유용한 내용을 이해하는 데 도움이 될 수 있습니다..향후 프로젝트에는 자동 추론 능력을 갖춘 소규모 칩을 포함하여 다양한 소비자 제품을보다 효과적으로 만들 수있는 방법이 포함될 것입니다.대규모 응용 프로그램은 행정 및 기타 고급 관리 분야를위한 방법론에서 매우 중요한 업그레이드를 제공 할 수 있습니다.