인공지능30

• 

  Problem-solving agent, search algorithm Problem-Solving Agents - Atomic 표현법을 사용한다. - task environments : 문제의 solution 은 Sequence of actions 이다. - 즉, 미래의 percept 에 대해서는 고려하지 않는다. - 검색 알고리즘이 solution 을 찾을 때 사용된다. - search algorithm 종류 Uninformed search : 문제에 대한 정의 외에 정보는 X Informed search : 문제에 대한 정의 + 추가적인 정보를 가짐 - From Romania to Home : 루마니아에서 집까지 찾아가는 문제 Goal Formulation - Goal : 이 세상의 일부 상태의 집합 - 지도를 가지고 있다고 가정하자 (=informed search) .. 인공지능 2021. 10. 17.

• 

  Agent Program Agent Programs - Agent = architecture (computing device) + program(구현 - data, algorithm) - Agent function vs agent program : 이론적인 vs 현실적인 - A simple agent program 입력값은 percept 이고, 리턴값은 action 이다. percepts 은 입력들을 나열한 percept sequence, percept history 이다 table 은 state sequence 에 대한 action 이 명시되어 있는 agent function 이다. 위 프로그램은 매우 큰 메모리를 필요로 하게 된다. ( 진공청소기 agent, 자율주행 택시) 왜냐하면 table 이 모든 state 의 조합에 .. 인공지능 2021. 10. 16.

• 

  Agent Agents -AI 의 정의는 Acting rationally 에 부합하는 이성적으로 행동하는 인공지능이다 - Sensor 를 통해 AI 가 처한 환경을 인식하고, Actuator(동작 기관) 을 통해 주어진 환경에서 행동한다. - Agent 의 예 : 사람, 로봇, 온도조절기(냉난방기), 소프트봇 등등 - Percept : 특정한 시각 (순간) 에서의 지각 - Percept sequence : 그러한 지각들의 연속 - Agent function : percept sequence 를 입력으로 받아 action 을 리턴함 - Agent program : Agent function 을 실제로 구현한 것 A Vacuum-Cleaner World 진공 청소기 세상을 정의하는 방법은 다음과 같다. Percept .. 인공지능 2021. 10. 16.

• 인공지능 역사 1952-1969 초기의 열광과 기대 Newell and Simon - "Thinking humanly" 접근법으로 General Problem Solver 을 만들었다. (LT 는 Thinking rationally 접근법) - Physical Symbol System hypothesis (물리적인 기호 시스템 가정) Arthur Samuel at IBM - 체커를 할 수 있는 컴퓨터 프로그램을 만들었다. John McCarthy at MIT - 프로그래밍 언어 LISP 를 만들었다. - Time-sharing 기법을 사용하였다. - Advice Taker (지식을 사용하여 추론하는 접근 프로그램) John McCarthy MIT -> Stanford - J.A. Robinson, resolution .. 인공지능 2021. 10. 16.

• 

  인공지능 연구 분야 Mathematics -What are the formal rules to draw valid conclusions? -> Logic -What can be computed? -> computation - How do we reason with uncertain information? -> probability -logic 의 수학적 발전은 George Boole에 의해 시작되었으며, 그는 Boolen logic 을 발견한 사람이다. -Incompleteness theorem (Kurt Goedel) 불완전성 정리 어떠한 공식이든지, 참이지만 증명이 불가능한 문장이 존재한다. 즉, 어떤 함수의 정수들은 알고리즘으로 표현할 수 없다 -> 계산할 수 없다. - Church-Turing thesis Turin.. 인공지능 2021. 10. 16.

• 인공지능이란 Intelligence and Artificial Intelligence Homo sapiens - man the wise(현명한 사람), 지능이 중요하기 때문이다. Artificial intelligence (AI) 는 지능적인 개체를 만들기 위한 시도였다. AI는 learning 과 perception 로부터 체스, 수학 증명, 시 쓰기, 운전하기, 병 진단 등과 같은 일을 할 수 있다. What is AI? Think vs Act Human vs Rationality 위 네 가지 관점에서 인공지능을 분류할 수 있다. 1. Acting Humanly 에 부합하기 위해선 다음과 같은 조건들이 있다. - natural language processing (영어로 통신이 가능한가) - knowledge r.. 인공지능 2021. 10. 16.