본문 바로가기

전체 글

(116)

[논리설계] Verilog-HDL 설계 1. 기본 1) Module - top module - 하위 module - test module modul module_name(port_list); port 선언 reg 선언 wire 선언 parameter 선언 gate modeling data flow modeling behavioral modeling structural modeling 하위모듈 호출 endmodule - Verilog HDL로 표현되는 논리회로는 "module~endmodule" 안에 있어야 함 - 모든 문장은 ; 로 끝나고, "end~"로 시작하는 예약어에는 ; 없음 - 이름 또는 식별자는 소문자와 대문자를 구별 - 예약어는 반드시 소문자임 - module 이름은 영문자와 언더바로 시작 가능 - 주석은 // 또는 /* */ 2..

[논리설계] 2. 부울대수와 논리게이트 1. 부울 스위칭 대수 - 부울 대수 : 논리 연산자 and, or, not을 사용하여 논리적 기능을 처리하는 논리 수학 - 부울식 : 논리적 기능을 기호로 나타낸 식 - 논리변수 : 시간에 따라 변하는 논리치를 갖는 양 - 논리연산자 : 논리 시스템을 해석하고 설계하는데 사용되는 기본적인 기능 - 논리함수 : 임의의 시스템이 갖고있는 논리적인 기능 - 진리표 : 모든 가능한 경우의 논리적인 입력과 출력과의 관계를 나타낸 표 2. 부울 함수 - Closure : + /· (and / or) - 단위원 (identity element) : 원래 꼴이 나오게 만드는 값 (or일 때는 0, and 일 때는 1) ex) x+0 = 0+x = x x · 1 = 1 · x = x - 교환법칙, 분배법칙 - 보수 e..

[논리설계] 1. 디지털 시스템과 2진수체계 1. Digital System 1) Analog & Digital -Analog 신호 : 연속적으로 표현된 신호 -Digital 신호 : 이산적으로 표현된 신호 -부호화 : 신호의 표현 방식을 바꾸어 나타내는 것 2) Analog-Digital 변환 -Sampling (샘플링) : 일정한 시간 간격으로 분해하여 나타내는 것. Sampling 숫자가 많을 수록 간격이 좁아져 정확도 상승. 적을수록 간격이 넓어져 정확도 하락. ex) 1초일 때 값, 2초일 때 값, .... -Quantization (양자화) : 신호치를 이산적으로 표현하는 것, 데이터를 이산적으로 표현한다. 3) 양자화 - Analog 값 : 0.00, 2.53, 9.4 ... - Digital 값 : 0000 , 0001, 0010, ..

[인공지능] 10. Planning 1. Planning Problem Representation 1) Planning Domain Definition Language (PDDL) : search problem을 정의하는데 필요한 4가지 요소를 설명한다. -> initial state, actions, result, goal test ① States : 각각의 state는 "ground하고 functionless하고 atoms한" conjunction of fluents로 표현된다. 즉 variable이 없어야 해요 Database semantic이 사용되는데 - closed-world assumption : 어떤 fluents도 false로 언급되지 않고 - unique names assumption : 서로 다른 constants는 구..

[인공지능] 8~9. First-Order Logic(FOL) 1. Syntax and Semantics : propositional logic, 명제논리학은 이 세상의 모든 문제를 propositional symbol로 나타내고 오직 true/false의 값만 가진다. 따라서 이 세상에 많은 object들을 표현하기엔 부족한 면이 있다. (lack the expressive power) 우리가 자연어의 문법을 살펴보면, 대부분의 elements들이 명사와 명사구로 object를 나타내고, 동사나 동사구로 object간의 relation을 나타낸다. 그리고 이 relation중의 일부는 어떤 input이 주어졌을 때 하나의 value를 내뱉는 function(object의 1:1 관계)이기도 하다. First-order logic은 이 세상엔 object와 이들을 ..

[인공지능] 7. Propositional Logic - 3 5) Analysis of Resolution Algorithm resolution rule은 어떤 complete한 search algorithm과 결합할 때 complete한 inference algorithm을 만들어낸다. PL-Resolution이 complete함을 보이기 위해서 resolution closure = RC(S)를 정의한다. RC(S)란 "clause의 집합 S에 들어있는 clause와 그 clause끼리 resolution을 통해 만들어진 모든 clause들"에 또 resolution을 반복해서 적용해서 만들 수 있는 모든 clause들의 집합을 말한다. RC(S)가 유한하다는 것은 명백히 알 수 있다. 유한한 symbol들로 만들 수 있는 clause는 유한개 존재할 것이고, ..

[인공지능] 7. Propositional logic - 2 3. Theorem Proving : Theorem Proving이란 우리가 이미 알고있는 사실(Knowledge base)의 sentence들에 추론 규칙(Inference rule)을 적용해서 새로운 사실을 알아내는 것/ 새로운 문장을 만들어내는 것을 말한다. 만약 model의 개수가 많고, proof의 길이가 짧다면, theorem proving이 model checking보다 더 효율적이다. 1) Inference Rules - Modus Ponens : α⇒β이고 α가 true면 β도 true다. - And-Elimination : α and β가 true이면 α는 항상 true이다 - Logical equivalences : α and β가 true이면 β and α도 true이다. - α 와..

[인공지능] 7. Propositional logic - 1 1. Propositional Logic (명제 논리학) 1) Example 이번 단원 내내 지겹도록 보게 될 Wumpus World game이다. 이 게임은 (1,1)에서 용사가 출발해 괴물과 함정을 피해 gold를 무사히 찾는 것이 목표이다. 함정이 있으면 함정의 사방으로 breeze 바람이 불고, 괴물이 있으면 괴물의 사방으로 악취 strench가 풍긴다. 이 힌트를 이용해 최소한으로 움직여 무사히 gold를 찾으면 된다. 용사가 어떤 Action을 취할 때마다 cost가 든다. 이건 알아도 되고 몰라도 되는데 용사는 화살을 쏠 수 있다. 화살을 쏘면 직선 방향으로 쭉 날아가는데, 괴물이 맞으면 소리를 지르면서 죽는다. 이 소리를 듣고 괴물의 위치를 예측할 수 있다. 용사는 자기가 있는 칸에서 정보..

[인공지능] 6. Constraint Satisfaction Problems 1. Problem Formulation as a CSP : 문제 상황을 표현하는 방법 중에서는 factored represetation이 있다. 어떤 문제가 어떤 제한사항, 조건들(Constraint)를 만족시켜야 풀린다고 해보자. Factored representation은 각 states를 variable을 활용해 표현하는 것이고(goal state 또한 그렇다), 이 variable에 할당된 value값이 constraint을 만족하는 값일 때 문제를 해결했다고 말하는 것이다. 즉, 어떤 값을 할당할 수 있는 variable과 논리연산자를 이용해 어떤 문제 상황을 표현한다고 할 때, 이런 문제들을 Constraint Satisfaction Problem이라고 한다. ( 지금까지는 autonomic..

[인공지능] 5. Adversarial Search(적대적 탐색) 이 단원에서는 competitive multiagent environment, 즉 서로 경쟁적인 두 agent가 있는 상황을 다룬다. 이는 game으로 잘 알려져 있는 adversarial search problem을 말한다. 1. Game 1) game은 다음과 같은 요소들로 이루어져 있다. - S0 : The initial state. 게임이 어떤 상황에서 시작되는지 - Player(s) : 각 state에서 어느 player가 움직일 차례인지 알려줌 - Actions(s) : 각 state에서 취할 수 있는 move들의 집합을 return - Result(s, a) : 어떤 state s에서 action a를 했을 때 result. transition model. - TerminalTest(s) :..

이전 1 ··· 5 6 7 8 9 10 11 12 다음

티스토리툴바