20) 기초인공지능

Professional : 경환 오수업 날짜(시간) : 20.09.02 13:30 ~기초인공지능 강의 교재 : R관 복사대에서 뽑을 수 있는 책일주일 두번 수, 금 9월 말까지는 비대면 강의파워포인트의 부분적인 부분을 캡처하여서 업로드 예정(대면강의를 하게 되는 경우)

그냥 한 번씩 읽어보기John McCarthy라는 사람이 1956년 Dartmouth workshop에서 AI 개발에 있어 큰 영향을 주었음. 또한 병렬처리라는 개념을 처음으로 만든 사람 역시 John McCarthy임Dartmouth workshop에 모인 10명이

특정 기능을 수행하는 어떤 것 : Agentsagent가 환경으로 부터 어떤 데이터를 받아들이는 입력수단은 센서센서를 통해 입력을 받아들인 후 Actuators를 사용하여서 출력기능을 수행한다.agents's percept sequence를 잘 다루기 위해 노력해 왔습

agent = architecture + program학교 건물을 세운다고 가정하면 건물의 모양은 agent, 설계 방식은 architecture, table-driven-agnet경우 별로 table을 만들어 놓고 agent가 percepts를 받아들어 table에

3. Solving Problems by Searching Problem-solving agent : 인공지능을 이용하여서 문제를 푼다. 입력부터 출력까지 이어지는 그리고 중간에 있는 알고리즘을 이용하여서 문제를 푼다. AI를 이용한 문제 해결도 사실상 알고리즘을

할로

h(n) = estimated cost of the cheapest path from the state at node n to a goal state출발부터 목표까지 다다르는 task cost를 고려하지 않고 목표를 이루기 위한 방법을 추구하는 알고리즘 그렇기 때문에

3.6 Heuristic Functions 3.6.1 The effect of heuristic accuracy on performance h_1 h_2 = man depth가 존재할때 h2의 깊이가 커질 수록 구해지는 값이 3.6.2 Generating ad

Local Beam Search는 Best-First Search에서 기억 노드의 수를 제한하는 방법임이 탐색 방법은 기억 공간을 축소시키기에 굉장히 유리하지만 가지치기가 지나치게 빠름. 실제로 사용하는 방법은 먼저 BFS Search로 다음 상태의 해 집합을 구한 뒤

중간고사는 4장까지제약을 만족하는 문제들

powered by https://doorbw.tistory.com/34사람은 여러가지의 지식을 가지고 있습니다. 그리고 그러한 지식을 표현(representation)할때 문장(sentence)를 사용합니다. 당연히 그러한 문장은 무의미하지 않습니다. 즉,

리는 모든 모형들을 열거하면서 문장이 모든 모형에서 성립하는지 점검하는 모형 점검 방식에 대해 알아보았습니다. 이제는 정리 증명(Theorem proving)을 이용하여 함축 관계를 확인하는 방법에 대해서 알아보겠습니다. 우리가 앞으로 알아볼 접근 방식에서는 주어진 문

우리는 지난 시간에서 명제논리를 사용하여 지식 기반 에이전트가 자신이 속한 세계를 표현하는 방법과 다음에 취할 동작을 연역하는 방법을 살펴보았습니다. 하지만 명제논리는 복잡한 환경에 대한 지식을 간결하게 나타내기에는 표현력이 너무 약합니다. 따라서 우리는 이번 포스팅

natural language processing : 인간의 언어를 이해하고 처리할 수 있는 능력knowledge representation : 듣고 배운지식을 저장하고 표현할 수 있는 능력automated reasoning : 가지고 있는 정보나 지식을 이용해서 새로

이번장에서는 앞에서 배운 logical language를 사용하는 방법에 대해 배워보도록 하자위와 같이 John이 King인지를 물어보아서 True 혹은 False를 반환할 수도 있다.이번에는 또다른 예제인 kinship(친족) 혹은 가족관계에 대해서 다루어보자예를 들

9 Inference In First-Order Logic 앞에서 나온 AI가 적용될 수 있는 First-Order Logic으로 표현된 Sentence나 Situation이 존재하면 그 다음 행동이나 결론으로 추론할 수 있는지를 확인하는 단원 Forward chai

무인 자동차 예시를 통해서 시작한 강의만약 문제가 생기었을 때 머신러닝을 비롯한 인공지능은 매 상황에 대해 자신은 이성적인 판단을 하였지만 결과적으로 이성적이지 않은 결론 일 수도 있기에 인공지능만으로 모든 일을 처리한다는 것은 쉬운 일이 아니다.사람과 같은 경우 사람

7장에 나오는 resolution rule을 그대로 옮기어 놓은 것이지만라는 식에서Unify를 계속해서 사용하여 결론을 도출한다.모든 동물을 사랑하는 사람들은 다른 사람에게 사람 받는다.동물을 죽인 누군가는 누구에게도 사랑 받지 못한다.Jack은 모든 동물을 사랑한다.

Herbrand universe를 만들기 위해 Herbrand base를 만들어서 우리가 원하는 결론을 부정해서 시험에서는 Herbrand Base를 이해하고 있는지에 대해서만 출제할 예정Herbrand universeS가 clause의 모음 Hs이라고 할때, Herb

10장과 11장은 시험에 나오지 않을 예정 11 Planning And Acting In The Real World 11.1.1 Representing temporal and resource constraints pruning : 제약 사항에 맞추어서 수행 11.

https://jbhs7014.tistory.com/entry/ML-Knowledge-Representation위와 같이 t1에서 t4로의 사건이 있었다라고 할때의 과정을 이야기 한다.정확한 시간을 이야기 할 수도 있지만 언어적인 일정시간이 존재할 수도 있다.