새 프로젝트를 생성할 때 마다 생각이 안나서 써놔야겠다. - -


먼저 OpenGL을 사용하기 전에 OpenGL 라이브러리가 설치되어 있어야 한다


프로젝트 설정 >> 링커 >> 입력 >> 추가 종속성 항목

opengl32.lib glut32.lib glu32.lib 추가

composite 실습


상수(소문자) : f(a) / 변수(대문자)


s1 = {g(X,Y)/Z}    S2 = {a/X, b/Y, c/W, d/Z}


1) composition s1s2

s1s2 = { g(a,b)/Z, a/X, b/Y, c/W}


2) composition s2s1

s2s1 = {a/X, b/Y, c/W, d/Z}



#Step 1. 합성 순서대로 합집합 연산


#Step 2. 상수 쪽이 변수인 것을 상수화 함.


#Step 3. 중복 되는 것(X/X, 또는 a/X와 b/X)을 우선순위에 따라 제거. 보통 왼쪽이 우선순위가 높음

'Courses > `2012 AI' 카테고리의 다른 글

Predicate, Clause form 실습  (0) 2012.05.07
LISP  (0) 2012.05.01
Resolution Theorem Proving  (0) 2012.05.01
Unification  (0) 2012.05.01
Using Inference Rules to Produce Predicate Calculus Expressions  (0) 2012.05.01

a) Anyone meeting Tom is falling in love with him.


b) Anyone who loves Tom is happy.


c) Jane did not meet Tom and Kate met Tom


atomic : meet(X, Y), love(X, Y), happy(Z)



1) to predicate form

a) ∀x meet(x, Tom) -> love(x, Tom)

b) ∀x love(x, Tom) -> happy(x)

c) ¬meet(Jane, Tom)∧meet(Kate, Tom)


2) to clause form

P->Q : ¬P∨Q 의 형태로 없앰 (implacte 를 OR로 변환)

? 근데 한정자가 들어가는지 안들어가는지는 모르겠음.. 확인해봐야 할듯

¬∀∧∨∃


a) ¬meet(x, Tom)∨love(x,Tom)


b) ¬love(x,Tom)∨happy(x)


c) ¬meet(Jane, Tom)  // AND 는 그냥 아래줄에 씀

    meet(Kate, Tom)

'Courses > `2012 AI' 카테고리의 다른 글

composite 실습  (0) 2012.05.07
LISP  (0) 2012.05.01
Resolution Theorem Proving  (0) 2012.05.01
Unification  (0) 2012.05.01
Using Inference Rules to Produce Predicate Calculus Expressions  (0) 2012.05.01

5. LISP

 

  리습은 인공지능을 할때 쓰이는 프로그래밍 언어 중 하나이다. 최초로 1958년 MIT의 존 매카시가 개발하였다. 리스프는(LISP)란 이름은 List Processing (리스트 처리) 의 줄임말 이다. 리스프는 여타의 다른 언어들과는 상당히 다르다. 람다 계산법(Lambda Calculus)에 바탕을 두고, 기호 데이터(Symbolic data)를 다루는 문제 풀이에 알맞은 언어로 설계되어 있어 있어, 아톰(Atom)이나 리스트(list) 같은 전혀 새로운 데이터를 쓰고 있다. 리스프는 최초의 개발자 존 매카시가 모든 것을 한꺼번에 개발 한 언어가 아니다. 초창기의 리스프는 산술 계산같은 것이 느린 단점을 지니고 있었고, 사용하기가 조금더 복잡하였다. 하지만, 세월이 지나면서 자신들이 필요한 부분을 보완하고 추가 해가며 발전해 와, 이제는 인공지능에서는 매우 중요한 언어로 자리잡고 있다. 이때문에, 리스프는 대단히 많은 변종들이 존재하며 (ZetaLisp, Franz Lisp, InterLisp 등) , 일반적으로 리스프 라고 하면, 이러한 변종들을 통칭하여 가리킨다.

 

 - Symbolic Expression

 

  위에서도 언급했듯이, Lisp은 전혀 새로운 데이터 타입을 사용한다. Atom 과 List 가 바로 그것이다. 그리고, 이러한 2개를 가리켜 Symbolic Expression 이라고 한다. 그렇다면 이들이 무엇인지 한번 알아보자.

 

1) Atom : Letters(문자 - 영문으로 대소문자 모두)

             Numbers (숫자)

             Characters (*, &, %, ...)

  

2) List : 공백에 의해 구분되는 Atom 또는 다른 리스트들이 괄호 안에 들어가 있는것

            (  (1 2 3 4) , (1 (2 3) 4 ),  ......)

 

  이렇게 2개의 자료형을 사용자가 입려가면, 리스프의 인터프리터(Inerpreter) 는 해당 결과를 화면에 출력한다. Atom을 입력하면, 있는 그대로를 출력하고, List를 입력하면 가장 처음에 나와있는 function definition 을 참조하여, 그에 알맞는 결과를 출력한다.

 

입력 : ( * 10 9 )                         출력 : 90

입력 :  (- (* 10 9 ) ( * 8 10))        출력 : 10

입력 : (list a b c d e)                 출력 : (a b c d e)

입력 : (nth 2 '(a b c))                 출력 : c               (어퍼스트로피 빼먹지 않게 주의)

 

위의 마지막 예제에서 '(a b c) 처럼, 어퍼스트로피가 쓰였다. 이는 (quote (a b c)) 랑 같은 것으로, 괄호 안을 함수로 취급하지 말고 있는 그대로 사용하라(또는 출력하라) 라는 뜻이다. 아래의 예제를 보면 이해가 쉽게 될 것이다.

 

입력 : (quote (+ 1 6))                  출력 : (+ 1 6)

입력 : ( '(a b) )                          출력 : (a b)

 

 

 - Function Definition

 

 리스프도 다른 여타의 언어와 마찬가지로 함수를 정의 하고, 사용 할 수 있다. 함수의 정의법은 아래와 같다.

 

(함수이름 / 함수 변수 목록/ 함수 내에서 수행할 계산)

 

예를드련, 인자 x를 받아서, x의 제곱을 리턴하는 함수는

 

(defun double(x) (* x x)) : x를 인자로, 받고 x를 제곱해서 리턴한다.

 

 

- Condition

 

 조건문으로, 형태는 (cond ( (조건1) (Action)) ( (조건2)(Action)) ( (조건3....

 이런식으로 나간다.

 

 (cond ((< x 0 )(-x)) (t x))  : 만약 x가 0보다 작으면 - x를 출력하고, 0보다 크거나 같으면 그냥 x를 리턴하라.

 (defun (absoulute-value (x) (if(< x 0) ( -x) x)) : absolute-value 라는  함수를 선언한다. 만약 0보다 작으면 - x로 리턴

                                                                     그렇지않으면 그냥 x를 리턴하라. 

 

 

- Binding Variables

 

   (setq <symbol> <form>) : symbol 은 form의 값을 갖게 한다. (단, symbol은 계산 되지 않는다. 어퍼스트로피가 붙은 상황)

   (set <place> <form>) : symbolic expression  <place>를 <form>으로 바꾼다. (<place>는 계산된다.)

   (setf <place> <form>) : <place>가 <symbol>이면 setq와 같이 동작하고, 그렇지 않으면 set과 같이 동작 한다.

 

(setq x 1) = 1

(set a 2 ) = ERROR  (a cannot be evaluated)

(set 'a 2) = 2

(+ x a ) = 3

(setq 1 '(a b)) = (a b)

(set (car 1) p) = p

1 = (p b)                          //(car 1) = a이고, a는 p로 치환되었으므로,  1 = (p, b) 이다.

 

위의 예제를 그대로 setf로 바꾸면 아래와 같다.

 

(setf x 1) = 1

(setf a 2) = 2

(+ a x) = 3

(setf 1 '(a b)) = (a b)

(setf (car1) p) = p

1 = (p b)

 

 

let( (<Symbol> <function>)  (<Symbol2><function2>)(<symbol3 .....)

 

   let은 괄호 안에에서 여러개의 변수를 다른 값에 할당할때에 사용한다.

 

 

- Else

 

  car - return the first element.

  cdr - return the rest element

  cons - constructing a list by its parameter (받은 파라미터들로, 리스트를 새로 만든다.)

  append - attach each parameter to make lise (받은 파라미터들을 연결하여 리스트를 만든다.)

 

  (car  '(a b c d)) : a

  (cdr  '(a b c d)) : b c d

  (first '(a b c d)) : a

  (second '(a b c d)) : b

  (cons 'a '(b c)) : (a b c)

  (cons '(a b) '(c d)) : ( (a b) c d)

  (append '(a b) '(c d)) : (a b c d)

 

 

- Recursion

 

 리습은 함수형 언어 이기때문에, 특정 문제를 풀기 위해서는 recursion을 통해 계속해서 함수를 호출 해 줘야 한다. 하지만, 실제로 해보면 알 수 있듯이 recursion을 만드는 것이 그리 쉬운 것 만은 아니다. 그래서, 재귀의 형태를 만들기 쉽도록 하는 몇가지 방법에 대해서 알아 보자.

 

1) Double-Test Tail Recursion

 

기본 형태는  (Defunc func(x) (cond (endtest_1 endvalue_1)(endtest_2 endvalue_2)(T (func reduced-x))))

 

예제를 보자. 다음의 예제는 인풋으로 들어온 list 또는 atom이 짝수를 포함하고 있는지를 보는 함수 이다.

 

defun anyEvenP(x) ( cond ((null x) nil)((even (car x) T)((t (anyEvenP(cdr x)))))

 

만약, 리스트가 비었으면, nil을 리턴, 그렇지 않고, 리스트의 가장 처음 x가 짝수이면, T(true)를 리턴, 그것도 아니라면 리스트의 맨처음 을 제외한 나머지 부분을 다시 anyEvenP 함수를 재귀적으로 호출한다.

 

 

2) Single-Test Tail Recursion

 

  위에서 했던, Doble-Test Tail 이 2개의 조건으로 체크를 했다면, 이것은 한개로 체크를 하는 것이다. 따로 예제는 들지 않겠다.

 

3) Single-Test Augmenting Recursion (한개의 테스트로 값을 늘려가는)

 

  조건은 한개지만, 리커션이 호출될 때 마다, 특정값이 증가 하도록 만드는 리커션이다. 흔히 1+2+3+4+ ... 를 리커션으로 구할때 각 +와 + 사이의 값이 1씩 증가 하나. 이처럼 리커션이 호출될 때마다 해당 항의 값이 증가하는 재귀함수를 가리킨다.

 

4) Conditional Augmentaton (조건부 값 상승)

 

  조건에 따라서, 리커션의 각 항을 값을 늘리거나 늘리지 않을때 사용하는 리커션이다. 함수 howManyNum 이라는 것이 있을때, 리스트에서 숫자의 갯수를 리턴한다고 하자. 그러면, 리스트가 {A,B, 3, 5} 일때 값을 2를 리턴해야 한다. 이때에 조건으로 숫자일때에는 값을 증가시키고, 숫자가 아닐때에는 값을 증가시키지 않는 방식을 취한다.

'Courses > `2012 AI' 카테고리의 다른 글

composite 실습  (0) 2012.05.07
Predicate, Clause form 실습  (0) 2012.05.07
Resolution Theorem Proving  (0) 2012.05.01
Unification  (0) 2012.05.01
Using Inference Rules to Produce Predicate Calculus Expressions  (0) 2012.05.01

4. Resolution Theorem Proving

 

 

 - Resoulution by Refutation ( 반증에 의한 논리 융합)

 

 Resoulution Refutation(도출 반박) 은 사실이라고 알려진 논리와 공리를 부정하는 Goal을 설정한후, 이 것이 모순됨을 보여주어 논리가 true 임을 증명하는 방법이다. 이 증명은 아래의 순서를 따른다.

 

1) 전제나 공리를 clause form으로 둔다.

2) 증명하고자 하는것을, 부정하여 공리 집합에 추가한다.

3) 이 clause form들을 같이 도출하여, logically followed(논리적으로 따라오는) 새로운 clause 를 생성한다.

4) 증명하고자 한것을 부정한것과, 최후에 만들어진 clause를 비교하여, 이들이 empty clause를 생성하면, 증명하고자 하는

   것은 true가 된다.

 

순서만 들어서는 굉장히 햇갈릴 것이다. 하지만 우리는 2장에서 inference rule을 할때에 이미 resolution을 어떻게 사용하는지에 대해서 보았다. 그런데, 한가지 이해가 안가는 말이 있을 수 있다. Clause form 이라는게 무엇일까 ? 이는 흔히 우리들이 ∧ 와 ∨등으로 표현하는 식을 말한다. 예를들어, '말은 동물이다.' 라는 것은 horse(X) -> animal(X) 라고 쓸수 있지만, 이를 clause form으로 고치게 되면,  -horse(X) ∨ animal(X) 이다. 그렇다면 공리를 clause form으로 바꾸는 순서에 대해서 알아보겠다.

 

1) 먼저, 모든 logical connective 인 -> 와 <-> 를 제거 한다.

 

     a <-> b   =  (-a ∨  b) ∧ (-b ∨ a)

     a -> b = (-a ∨ b)

 

2) 부정으로 묶인 scope (괄호) 를 제거한다.

 

  - (a ∧ b)  = -a ∨ -b

 

3) 서로 같은 이름을 가진 변수들이 자신들의 영역에서만 고유하도록 바꿔준다.

 

  (∀X) a(X) ∨ (∀X)b(X)  =  (∀X) a(X) ∨ (∀Y)b(Y)

 

4) 모든 한정자를 왼쪽으로 옮겨서 penex normal form으로 만들어 준다.

5) skolemization을 이용해서 모든 existentail quantifier (∃) 를 없애 준다.

    (ex. ∃X horse(X) 를 skolemization 하게 되면 hore(Maxim)이 된다.

           (∀X)(∀A)(∃B)(∀C)(method(X,A,B,C)) ⇒   (∀X)(∀A)(∀C)(method(X,A,f(X,A),C))  )

6) 모든 universal quantifier를 떼어내 버린다.

7) 모든 표현을 (식) ∧ (식) 의 형태로 고친다.

8) 각각의 ∧로 구분된 식들은 하나의 clause form이 되고, 이들을 다시 rename 하여 사용한다.

 

 

아래의 예제를 보면서 이해해 보도록 하자.

 

 

 

 

 

 

'Courses > `2012 AI' 카테고리의 다른 글

Predicate, Clause form 실습  (0) 2012.05.07
LISP  (0) 2012.05.01
Unification  (0) 2012.05.01
Using Inference Rules to Produce Predicate Calculus Expressions  (0) 2012.05.01
Calculus Introduction  (0) 2012.05.01

3. Unification (단일화)

 

  1차 술어 논리의 문장 P와 Q가 있다고 해보자. 이 두개의 문장에 있는 각 변수들을 서로 match 시키는 작업을 Unification이라고 한다. 예를들어, ∃X friend(maxim,X) 라는 predicate sentence가 있을때, 이를 unification을 하게되면 friend(maxim,jim) 이 된다. 이때에 도메인에는 maxim의 친구 목록중에 jim이 존재 해야한다. 그리고 이를 {jm/X} 로 표시할 수 있다. 이것은 X를 jim으로 바꿔 주었다는 뜻을 가진다. 좀더 예제를 들어보자. plus(X,Y,Z) 라는 sentence가 있다고 해보자. 여기에 {5/X,3/Y,2/Z}를 적용 시키면 plus(5,3,2)가 되고, 결과값은 10이 된다. 여기에서 숫자(5,3,2)들은 각각 X,Y,Z의 substitute라고 하고, X,Y,Z는 original expression 이라고 한다. 이처럼 단일화를 할때에는 아래의 룰을 따른다.

 

1. Constant (상수) 는 Variable(변수) 의 substitute(대리자)가 될 수 있다.

2. Constant는 다른 것으로 바뀔 수 없다. (대리자를 통한 치환을 할 수 없다.)

3. Variable은 해당 variable을 포함하는 대리자와  unify 될 수 없다. (ex. unify(X, p(X)) is wrong

4. match를 하려는 predicate sentence에는 unify를 통한 변화를 모두 적용 시켜 줘야 한다.

   (ex. plus(X,Y,Z)  와 minus(X,R,T) 가 있을때 {5/X} 를 통해 plus(5,Y,Z)로 바꿔주었다면, minus(5,R,T) 로 역시 변환 해야한다.)

 

 

그리고 unify 룰을 서로 합성 시키는 것이 있는데, 이를 composition(합성) 이라고 한다. 각 단계별로 나오는 unification method 를 합성시키는 것이다. 예를들어 단계별로 나오는 method가 

 

 

{X/Y, W/Z}, {V/X}, {a/V, f(b)/W} 

 

라면   {a/Y, f(b)/Z} 로 composition결과를 만들어 낼 수 있다.

 

그렇다면 이제 위에서 알아본 모든 방법을 가지고 실제 예제를 unification 해보겠다. 아래의 예제를 통해, unify method를 알아내는 방법을 익히도록 하자.

 

unify( (parents X(father X)(mother tom), (parents tom(father tom) Y) )는 차례대로 천천히 unify해 나간다. 2개의 sentence를 앞에서부터 비교하여, 서로 같은 부분을 떼어내어 따로 unify를 하고, 다른 부분은 서로 같게 고칠 수 있으면, 고치고 그렇지 않으면 한쪽에 모두 몰아 넣는다.

 

(1)

 

(parents X(father X)(mother tom)

(parents tom(father tom) Y)           의 첫번째 공통점은 parents 이다. 그러므로 이를 따로 unify를 진행한다.

 

unify(parents, parents) 을 아무러 method없이 떼어내는데 성공했다.

 

 

 

(2)

 

X(father X)(mother tom)

tom(father tom) Y            을 다시 unify하려고 보니, X와 tom이 서로 매치가 된다. 상수는 바꿀 수 없음로 X를 변환한다.

 

 unify(x,tom)이 분리 되었고, 이를 통해 

{tom/X} method가 도출되었다.

 

메서드가 구해졌으니, 이를 남은식에 모두 적용 시킨다. X 는 tom으로 치환된다.

 

(3)

 

(father tom)(mother tom)

(father tom) Y                 을 unify 하니, father 와 뒤의 상수 가 같은 형태 이다. 그러므로 이를 분리 하는데 먼저

 

unify(father tom, father tom) 으로 분리 되고, 다시 한번 분리 되어

 

unify(father, father) 과 unify(tom,tom) 이 된다.  역시, 메서드의 사용 없이 분리가 완료 되었다.

 

 

(4)

 

mother tom

Y                마지막이다. Y와 mother tom은 match 되어야 하므로,

 

unify(mother tom, Y) 로 unify되고,

{mother tom/Y} method가 도출된다.

'Courses > `2012 AI' 카테고리의 다른 글

Predicate, Clause form 실습  (0) 2012.05.07
LISP  (0) 2012.05.01
Resolution Theorem Proving  (0) 2012.05.01
Using Inference Rules to Produce Predicate Calculus Expressions  (0) 2012.05.01
Calculus Introduction  (0) 2012.05.01

2. Using Inference Rules to Produce Predicate Calculus Expressions

 

 

 -  Inference Rules

 

 

 

    기존에 주어진 추론을 통해 주어진 명제의 true,false를 가리는 것을, Inference Rule 이라고 한다. 아래의 예제를 보자

 

 "Maxim will die" 라는 문장을 아래의 주어진 statement 들로 부터 증명하라.

 

 Maxim is a horse

 All horses are animals

 All animals will die

 

therefore. Maxim will die

 

이처럼, 주어진 3개의 명제로부터, 새로운 1개의 명제를 증명하였다. 이같은 과정을 추론이라고 한다. 이를 predicate calculus로 나타내면 아래와 같다.

 

 horse(Maxim)

 ∀X (horse(X) ⇒ animal(X))

 ∀Y (animal(Y) ⇒ die(Y))

 

therefore. horse(Maxim) ⇒ die(Maxim)

 

이를 다시 표현하면,

 

 horse(Maxim)

 -horse(X) ∨ animal(X)

 -animal(Y) ∨ die(Y)

 

이다. 이것을 Resolution 에 의해 정리하면 아래표와 같게 된다.

 

 

Figure 1. Resolution

 

  추론 규칙은 sound 와 complete 의 2가지로 평가된다. 우선 sound는, 생성된 문장이 논리적으로 합당한 경우, 사용된 추론 규칙을 sound(정당) 하다고 한다. 예를들면, P와 P⇒Q 가 domain I 의 범위내에서 둘다 true일 때, 'modus ponens' 추론 규칙은 Q또한, true라는것을 알 수 있게 해준다  그리고 complete(완전) 은, 존재하는 모든 문장들이 추론규칙에 의해 논리적으로 합당하게 생성 될 수 있는 경우 추론규칙을 complete(완전) 하다고 한다. 아래는 사용 할 수 있는 추론 규칙에 대한 것이다.

 

- modus ponens : 만약 sentence P와 P ⇒ Q 가 참이라면, modus ponens 은 우리에게 Q가 참임을 암시한다.(추론한다.)

- modus tollens : 만약  P ⇒ Q가 참이고, Q가 거짓 이라면, 우리는 P가 거짓 이라는 걸 알 수 있다.

- and elimination : P ∧ Q가 참이면, P와 Q둘다 참이라는 것을 알 수 있다.

- and introduction : P와 Q가 참이면, P ∧ Q 가 참이라는 것을 알 수 있다.

- universal instantitation : p(X)로 표현된 식은, X의 도메인에 포함된 a로 치환한 p(a)로 표현할 수 있다.

'Courses > `2012 AI' 카테고리의 다른 글

Predicate, Clause form 실습  (0) 2012.05.07
LISP  (0) 2012.05.01
Resolution Theorem Proving  (0) 2012.05.01
Unification  (0) 2012.05.01
Calculus Introduction  (0) 2012.05.01

1. Calculus Introduction

 

  우리는 이번 단원에서 두가지의 calculus 를 알아 볼 것이다. Predicate Calculus(명제 논리, 명제 계산) 과 Predicate Calculut(술어 명제, 술어 계산) 의 2가지 이다. 이들은 둘다 모든 언어의 시초라고 할 수 있다.

 

 

 - Propositional Calculus (명제 논리)

  

  Propositional Calculus (명제 논리) 는 참 또는 거짓을 갖는 문장이다. 이것은, 기호, 문장, 의미 로 표현 할 수 있다. 예를 들면 'It is sunny' 라는 문장이 있다고 해보자. 하나의 언어를 하나의 기호로 정의하는 첫 단계를 Symbol (기호) 라고 한다. It is Sunny 라는 문장은 symbol로 변환되어 P 라고 하자. 그렇다면 지금 바깥이 화창하다면 P는 True가 되는 것이고, 화창하지 않다면 False가 되는 것이다.  그렇다면 It is Sunny 라는것은 문장(sentence)이고, P는 기호 (symbol), 그리고 참 거짓은 의미(semantics) 가 되었다. 그리고 이렇게 기호가 된 문장들은 아래의 기호들로 서로의 관계를 표현 할 수 있다.

 

   ∧ -   Conjunct 로 흔히 논리곱이라고 하며 'AND'라고도 표현한다. (ex. -P ∧ P = false) 

   ∨ -   Disjunct 로 흔히 논리 합 이라고 하며 'OR'라고도 표현한다. (ex. P ∨ -P = true) 

   ⇒ -   Implication 으로 논리 함축  이라고 한다. P ⇒ Q 라는 표현식이 있다면, P는 premise(전제) 또는,

            antecedent (선행사)라고 하며 Q는 Conclusion (결과) 라고 한다.

 

 또한 명제 논리는 항등법칙(Equivalences)를 갖고 있는데, 이는 아래와 같다. (여기서 -P는 negation P 를 뜻한다.)

 

 - ( -P) = P

(P ∧ Q) = ( -P ⇒ Q)

(P ⇒ Q) = ( -P ⇒ -Q)

- (P ∨ Q) = ( -P ∧ -Q)

- ( P ∧ -Q) =  ( -P ∨ -Q)

(P ∨ Q) =  (Q ∨ P)

(P ∧ Q) = (Q ∧ P)

((P ∧ Q) ∧ R) = (P ∧ (Q ∧ R))

((P ∧ Q) ∨ R) = (P ∨ R) ∧ (Q ∨ R)

 

 

- Predicate Calculus (술어 논리)

 

 

Predicate calculus (술어 계산) 은 인공지능 언어이다.  술어 논리 라고도 하는 이 것은 형식 언어이다. 1차 술어 논리는 아래의 3가지 요소에 의해 구성된다.

 

1) 구성 규칙 - 반복을 통해 잘 구성된 (well-formed) 논리식을 정의한다.

 

2) 변형 규칙 - 정리를 증명하기 위한 추론 규칙

 

3) 이를 뒷받침하는 비교의 기준 과 추론 방법

 

술어 논리 에서는 '한정자 (Quantifier)'가 변수에만 적용 되고, 술어나 함수에 대해서는 허용하지 않는 경우 이를 일차 술어 계산 이라고 한다. 예를들어 ∀x P(x) 의 경우엔 변수에 한정자가 적용된 예이다. 하지만, ∀P P(x) 의 경우엔 술어부호 P에 한정자가 적용 되었으므로, 일차 술어 계산에서는 허용하지 않는 문장인 것이다. 대부분의 논리적인 표현은 일차 술어계산으로 모두 나타낼 수 있으므로, 인공지능 언어에서는 대부분 일차 술어 계산에 근거하고 있다. 특히, 일차 술어 논리는 집합 이론 전부와 모든 수학을 형식화 하기에 충분히 강력하다.  

 

 명제 논리에서는 각 P와 Q는 한가지의 명제밖에 담지 못했다. 하지만, 술어 논리에서는 각 성분 사이의 관계에 대해 정의 할 수가 있게 된다. 예를들어 'Tom loves Lissa' 라는 문장이 있다고 했을때, 술어 논리는 Top과 Lissa의 관계를 표현하는 love를 이용하여 'love(Tom, Lissa)' 와 같이 표시 할 수 있다. 이처럼 symbol을 문장으로 표현할 수 있는데, 이것은 소문자 대문자 상관 하지 않고 알파뱃과 숫자를 포함 할 수 있지만, 숫자로 시작해서는 안되고, 띄어쓰기와 알파뱃이 아닌 문자는 사용 할 수 없다. (일반적으로 띄어쓰기 대신 언더바 ' _ ' 를 사용한다.) 다시 정리 해보자면 아래와 같다.

 

 1) 소문자, 대문자 상관없이 영문 알파뱃.

 

 2) 숫자 사용 가능 ( 0, 1, .... , 9)

 

 3) 띄어쓰기대신 언더바  '  _  ' 사용가능

 

'Q09M_Z' 와 같은 것은 올바른 symbol의 표현법 이지만, #, %, @ 등과 같은 것이 들어가거나 '9pop' 와 같이 숫자로 시작하는 문장등은 사용해서는 안된다.

 

  좀더 정확히 하자면, 술어 논리에는 다양한 symbol 들이 존재 하는데, 이들마다 이름을 쓸때 지켜야할 규칙이 있다.

 

1) Constant Symbol 은 '상수' 로써, 소문자로 시작 해야 한다.(ex. likes(monkey, banana)  에서 monkey와 banana는 상수)

 

2) Variable Symbol 은 '변수' 로써, 대문자로 시작 해야 한다. (ex. father(X,tom) 여기서 X는 변수)

 

3)  Function Symbol 은 ' 함수' 로써, 소문자로 시작 해야 한다. (ex. 위에서의 likes나  father와 같이)

 

 

 그리고 앞에서 언급했듯이 술어 논리에는 '한정자(quantifier)' 라는게 붙을 수 있다. 한정자에는 2가지 종류가 있는데 universal quantifier 인 ∀ 와, existential quantifier인 ∃ 가 있다. ∀X likes(X,ice_cream) 은 아이스크림을 좋아하는 모든 X는 이라는 뜻을 갖는다. ∃Y friends(Y,Jim) 이라는 것은, 짐이라는 친구를 가진 어떤 Y는 이라는 뜻을 갖는다.  이들은 아래의 룰에 따른다.

 

1) -∀X P(Y) ≡  ∃X -P(X)

2) -∃Y P(Y) ≡  ∀Y -P(Y)

3) ∀X (p(X) ∨ q(X)) ≡ ∀X p(X) ∨ ∀ Y q(Y)

4) ∃X (p(X) ∧ q(X)) ≡ ∃X p(X) ∧ ∃ Y q(Y)

'Courses > `2012 AI' 카테고리의 다른 글

Predicate, Clause form 실습  (0) 2012.05.07
LISP  (0) 2012.05.01
Resolution Theorem Proving  (0) 2012.05.01
Unification  (0) 2012.05.01
Using Inference Rules to Produce Predicate Calculus Expressions  (0) 2012.05.01

man command
BASH_BUILTINS(1)                                              BASH_BUILTINS(1)

NAME
       bash,  :,  .,  [, alias, bg, bind, break, builtin, caller, cd, command,
       compgen, complete, compopt,  continue,  declare,  dirs,  disown,  echo,
       enable,  eval,  exec, exit, export, false, fc, fg, getopts, hash, help,
       history, jobs, kill, let, local, logout, mapfile, popd, printf,  pushd,
       pwd,  read, readonly, return, set, shift, shopt, source, suspend, test,
       times, trap, true, type, typeset, ulimit, umask, unalias, unset, wait -
       bash built-in commands, see bash(1)

BASH BUILTIN COMMANDS
       Unless otherwise noted, each builtin command documented in this section
       as accepting options preceded by - accepts -- to signify the end of the
       options.   The  :, true, false, and test builtins do not accept options
       and do not treat -- specially.  The exit, logout, break, continue, let,
       and  shift builtins accept and process arguments beginning with - with‐
       out requiring --.  Other builtins that accept  arguments  but  are  not
       specified  as accepting options interpret arguments beginning with - as
       invalid options and require -- to prevent this interpretation.
       : [arguments]
              No effect; the command does nothing beyond  expanding  arguments
              and  performing any specified redirections.  A zero exit code is





pwd
/home/oinnoco



[oinnoco@oinnoco ~]$ mkdir embedded
[oinnoco@oinnoco ~]$ ls
Desktop    Downloads  Pictures  Templates  embedded
Documents  Music      Public    Videos     workspace
[oinnoco@oinnoco ~]$ cd embedded
[oinnoco@oinnoco embedded]$ ls >> ls_result.txt
[oinnoco@oinnoco embedded]$ dir
ls_result.txt
[oinnoco@oinnoco embedded]$ cat ls_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ mv ls_result.txt renamed_result.txt
[oinnoco@oinnoco embedded]$ ls
renamed_result.txt
[oinnoco@oinnoco embedded]$ more
usage: more [-dflpcsu] [+linenum | +/pattern] name1 name2 ...
[oinnoco@oinnoco embedded]$ more renamed_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ page renamed_result.txt
bash: page: command not found...
Install package 'tcllib' to provide command 'page'? [N/y]
 * Running...
 * Resolving dependencies...
 * Waiting for authentication...
 * Resolving dependencies...
 * Downloading packages...
 * Testing changes...
 * Installing packages...
 * Scanning applications...
/usr/bin/page: Bad argument "peg".
    Unable to locate configuration plugin "peg"

[oinnoco@oinnoco embedded]$ head
renamed_result.txt
renamed_result.txt
what is it?
what is it?
^Z
[4]+  Stopped                 head
[oinnoco@oinnoco embedded]$ head renamed_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ tail renamed_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ cp renamed_result.txt copied_file.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt  renamed_result.txt
[oinnoco@oinnoco embedded]$ vi copied_file.txt

[5]+  Stopped                 vi copied_file.txt
[oinnoco@oinnoco embedded]$ cat copied_file.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ vi copied_file.txt
[oinnoco@oinnoco embedded]$ cat copied_file.txt
ls_result.txt
이 파일은 renamed_result.txt 파일을 복사한 파일입니다.
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.



[oinnoco@oinnoco embedded]$ mkdir target_dir
[oinnoco@oinnoco embedded]$ ls
copied_file.txt  renamed_result.txt  target_dir
[oinnoco@oinnoco embedded]$ rmdir target_dir
[oinnoco@oinnoco embedded]$ ls
copied_file.txt  renamed_result.txt
[oinnoco@oinnoco embedded]$ rm renamed_result.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt




[oinnoco@oinnoco embedded]$ ls -l copied_file.txt
-rw-rw-r--. 1 oinnoco oinnoco 239  9월 15 02:28 copied_file.txt
[oinnoco@oinnoco embedded]$ chmod 777 copied_file.txt
[oinnoco@oinnoco embedded]$ ls -l copied_file.txt
-rwxrwxrwx. 1 oinnoco oinnoco 239  9월 15 02:28 copied_file.txt



[oinnoco@oinnoco embedded]$ cat copied_file.txt
ls_result.txt
이 파일은 renamed_result.txt 파일을 복사한 파일입니다.
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.
diff 명령어 확인을 위해서 내용을 수정합니다.
[oinnoco@oinnoco embedded]$ cat copied_file2.txt
ls_result.txt
이 파일은 renamed_result.txt 파일을 복사한 파일입니다.
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.

[oinnoco@oinnoco embedded]$ diff -i copied_file.txt copied_file2.txt
5c5
< diff 명령어 확인을 위해서 내용을 수정합니다.
---
>



[oinnoco@oinnoco embedded]$ find *.txt
copied_file.txt
copied_file2.txt
[oinnoco@oinnoco embedded]$ grep "에디터" copied_file.txt
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.




[oinnoco@oinnoco embedded]$ gzip -v *.*
copied_file.txt:     36.3% -- replaced with copied_file.txt.gz
copied_file2.txt:     32.6% -- replaced with copied_file2.txt.gz
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz  copied_file2.txt.gz
[oinnoco@oinnoco embedded]$ gzip -d *.*
[oinnoco@oinnoco embedded]$ ls
copied_file.txt  copied_file2.txt
[oinnoco@oinnoco embedded]$ gzip -v -9 *.*
copied_file.txt:     36.3% -- replaced with copied_file.txt.gz
copied_file2.txt:     32.6% -- replaced with copied_file2.txt.gz
[oinnoco@oinnoco embedded]$ gunzip *.*
[oinnoco@oinnoco embedded]$ ls
copied_file.txt  copied_file2.txt
[oinnoco@oinnoco embedded]$ compress *.*
bash: compress: command not found...
Install package 'ncompress' to provide command 'compress'? [N/y]
 * Running...
 * Resolving dependencies...
 * Waiting for authentication...
 * Resolving dependencies...
 * Downloading packages...
 * Testing changes...
 * Installing packages...
 * Scanning applications...

[oinnoco@oinnoco embedded]$ compress *.*
copied_file.txt.Z: already has .Z suffix -- no change
copied_file2.txt.Z: already has .Z suffix -- no change
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.Z  copied_file2.txt.Z
[oinnoco@oinnoco embedded]$ uncompress *.*
[oinnoco@oinnoco embedded]$ ls
copied_file.txt  copied_file2.txt



[oinnoco@oinnoco embedded]$ tar -cvf tarfile.tar *.*
copied_file.txt.gz
copied_file2.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz  copied_file2.txt  tarfile.tar
[oinnoco@oinnoco embedded]$ tar -tvf tarfile.tar
-rwxrwxrwx oinnoco/oinnoco 10240 2011-09-15 02:50 copied_file.txt.gz
-rwxrwxr-x oinnoco/oinnoco   239 2011-09-15 02:34 copied_file2.txt




[oinnoco@oinnoco Downloads]$ yum install amarok
Loaded plugins: langpacks, presto, refresh-packagekit
You need to be root to perform this command.
[oinnoco@oinnoco Downloads]$ su
암호:
[root@oinnoco Downloads]# yum install amarok
Loaded plugins: langpacks, presto, refresh-packagekit
Setting up Install Process
Resolving Dependencies
--> Running transaction check
---> Package amarok.i686 0:2.4.3-1.fc15 will be installed
--> Processing Dependency: amarok-libs(x86-32) = 2.4.3-1.fc15 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: amarok-utils = 2.4.3-1.fc15 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: kdebase-runtime >= 4.6.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamarokpud.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkio.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamarokcore.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdnssd.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmysqlclient.so.18(libmysqlclient_16) for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libplasma.so.3 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtCore.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtWebKit.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmygpo-qt.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: qtscriptbindings(x86-32) for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: liblastfm.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdecore.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libphonon.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtXml.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libampache_account_login.so for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmysqld.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtGui.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtScript.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libthreadweaver.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdeui.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkcmutils.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamaroklib.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtSvg.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libsolid.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdewebkit.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtNetwork.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libloudmouth-1.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamarok-sqlcollection.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libqjson.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtDBus.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmysqlclient.so.18 for package: amarok-2.4.3-1.fc15.i686
--> Running transaction check
---> Package amarok-libs.i686 0:2.4.3-1.fc15 will be installed
--> Processing Dependency: libtag-extras.so.1 for package: amarok-libs-2.4.3-1.fc15.i686
---> Package amarok-utils.i686 0:2.4.3-1.fc15 will be installed
---> Package kdebase-runtime.i686 0:4.6.5-1.fc15 will be installed
--> Processing Dependency: kde4-macros(api) = 2 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: kdebase-runtime-libs(x86-32) = 4.6.5-1.fc15 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: kdebase-runtime-flags = 4.6.5-1.fc15 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libmolletnetwork.so.4 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libnepomukcommon.so for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libattica.so.0 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libxine.so.1 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libknotifyplugin.so for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libkwalletbackend.so.4 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libsopranoclient.so.1 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: htdig for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libsoprano.so.4 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libsopranoserver.so.1 for package: kdebase-runtime-4.6.5-1.fc15.i686
---> Package kdelibs.i686 6:4.6.5-2.fc15 will be installed
--> Processing Dependency: shared-desktop-ontologies >= 0.4 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: strigi-libs(x86-32) >= 0.7.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: docbook-style-xsl >= 1.76 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: oxygen-icon-theme >= 4.6.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: dbusmenu-qt(x86-32) >= 0.6.3 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libqca.so.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libImath.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: kde-settings for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libXss.so.1 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libdbusmenu-qt.so.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libpolkit-qt-core-1.so.1 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libIlmImf.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libIex.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: docbook-dtds for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libHalf.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libstreams.so.0 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libIlmThread.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libstreamanalyzer.so.0 for package: 6:kdelibs-4.6.5-2.fc15.i686
---> Package liblastfm.i686 0:0.3.3-3.fc15 will be installed
---> Package libmygpo-qt.i686 0:1.0.3-1.fc15 will be installed
---> Package loudmouth.i686 0:1.4.3-8.fc15 will be installed
---> Package mysql-embedded.i686 0:5.5.14-2.fc15 will be installed
---> Package mysql-libs.i686 0:5.5.14-2.fc15 will be installed
---> Package phonon.i686 0:4.5.0-2.fc15 will be installed
--> Processing Dependency: phonon-backend(x86-32) >= 4.4 for package: phonon-4.5.0-2.fc15.i686
---> Package qjson.i686 0:0.7.1-4.fc15 will be installed
---> Package qt.i686 1:4.7.3-8.fc15 will be installed
---> Package qt-webkit.i686 1:4.7.3-8.fc15 will be installed
---> Package qt-x11.i686 1:4.7.3-8.fc15 will be installed
--> Processing Dependency: libmng.so.1 for package: 1:qt-x11-4.7.3-8.fc15.i686
---> Package qtscriptbindings.i686 0:0.1.0-14.fc15 will be installed
--> Running transaction check
---> Package OpenEXR-libs.i686 0:1.7.0-2.fc15 will be installed
---> Package attica.i686 0:0.2.0-1.fc15 will be installed
---> Package dbusmenu-qt.i686 0:0.6.3-3.fc15 will be installed
---> Package docbook-dtds.noarch 0:1.0-54.fc15 will be installed
--> Processing Dependency: sgml-common for package: docbook-dtds-1.0-54.fc15.noarch
---> Package docbook-style-xsl.noarch 0:1.76.1-2.fc15 will be installed
---> Package htdig.i686 4:3.2.0-0.11.b6.fc15 will be installed
---> Package ilmbase.i686 0:1.0.2-3.fc15 will be installed
---> Package kde-filesystem.i686 0:4-38.fc15 will be installed
---> Package kde-settings.noarch 0:4.6-10.fc15 will be installed
---> Package kdebase-runtime-flags.noarch 0:4.6.5-1.fc15 will be installed
---> Package kdebase-runtime-libs.i686 0:4.6.5-1.fc15 will be installed
--> Processing Dependency: kdepimlibs(x86-32) >= 4.6.5 for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
--> Processing Dependency: libssh.so.4 for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
--> Processing Dependency: cagibi for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
--> Processing Dependency: libslp.so.1 for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
---> Package libXScrnSaver.i686 0:1.2.1-2.fc15 will be installed
---> Package libmng.i686 0:1.0.10-5.fc15 will be installed
---> Package oxygen-icon-theme.noarch 0:4.6.5-1.fc15 will be installed
---> Package phonon-backend-xine.i686 0:4.4.4-3.fc15 will be installed
---> Package polkit-qt.i686 0:0.99.0-2.fc15 will be installed
---> Package qca2.i686 0:2.0.3-2.fc15 will be installed
---> Package shared-desktop-ontologies.noarch 0:0.6.0-1.fc15 will be installed
---> Package soprano.i686 0:2.6.0-2.fc15 will be installed
--> Processing Dependency: libiodbc.so.2 for package: soprano-2.6.0-2.fc15.i686
--> Processing Dependency: libclucene.so.0 for package: soprano-2.6.0-2.fc15.i686
--> Processing Dependency: redland-virtuoso for package: soprano-2.6.0-2.fc15.i686
--> Processing Dependency: virtuoso-opensource for package: soprano-2.6.0-2.fc15.i686
---> Package strigi-libs.i686 0:0.7.2-8.fc15 will be installed
---> Package taglib-extras.i686 0:1.0.1-2.fc15 will be installed
---> Package xine-lib.i686 0:1.1.19-6.fc15 will be installed
--> Running transaction check
---> Package cagibi.i686 0:0.1.1-3.fc15 will be installed
---> Package clucene-core.i686 0:0.9.21b-3.fc15 will be installed
---> Package kdepimlibs.i686 0:4.6.5-1.fc15 will be installed
---> Package libiodbc.i686 0:3.52.7-2.fc15 will be installed
---> Package libssh.i686 0:0.4.8-2.fc15 will be installed
---> Package openslp.i686 0:1.2.1-15.fc15 will be installed
---> Package redland-virtuoso.i686 0:1.0.12-3.fc15 will be installed
---> Package sgml-common.noarch 0:0.6.3-34.fc15 will be installed
---> Package virtuoso-opensource.i686 1:6.1.2-3.fc15 will be installed
--> Finished Dependency Resolution
--> Running transaction check
---> Package kde-l10n-Korean.noarch 0:4.6.5-1.fc15 will be installed
--> Processing Dependency: kde-l10n = 4.6.5-1.fc15 for package: kde-l10n-Korean-4.6.5-1.fc15.noarch
--> Running transaction check
---> Package kde-l10n.noarch 0:4.6.5-1.fc15 will be installed
--> Finished Dependency Resolution

Dependencies Resolved

================================================================================
 Package                     Arch     Version                   Repository
                                                                           Size
================================================================================
Installing:
 amarok                      i686     2.4.3-1.fc15              updates    11 M
 kde-l10n-Korean             noarch   4.6.5-1.fc15              updates   1.3 M
Installing for dependencies:
 OpenEXR-libs                i686     1.7.0-2.fc15              fedora    217 k
 amarok-libs                 i686     2.4.3-1.fc15              updates   2.9 M
 amarok-utils                i686     2.4.3-1.fc15              updates   129 k
 attica                      i686     0.2.0-1.fc15              fedora    167 k
 cagibi                      i686     0.1.1-3.fc15              fedora     56 k
 clucene-core                i686     0.9.21b-3.fc15            fedora    294 k
 dbusmenu-qt                 i686     0.6.3-3.fc15              fedora     76 k
 docbook-dtds                noarch   1.0-54.fc15               fedora    217 k
 docbook-style-xsl           noarch   1.76.1-2.fc15             fedora    2.3 M
 htdig                       i686     4:3.2.0-0.11.b6.fc15      fedora    811 k
 ilmbase                     i686     1.0.2-3.fc15              fedora     75 k
 kde-filesystem              i686     4-38.fc15                 fedora     47 k
 kde-l10n                    noarch   4.6.5-1.fc15              updates    17 k
 kde-settings                noarch   4.6-10.fc15               fedora     43 k
 kdebase-runtime             i686     4.6.5-1.fc15              updates   5.7 M
 kdebase-runtime-flags       noarch   4.6.5-1.fc15              updates   133 k
 kdebase-runtime-libs        i686     4.6.5-1.fc15              updates   1.1 M
 kdelibs                     i686     6:4.6.5-2.fc15            updates    12 M
 kdepimlibs                  i686     4.6.5-1.fc15              updates   2.2 M
 libXScrnSaver               i686     1.2.1-2.fc15              fedora     21 k
 libiodbc                    i686     3.52.7-2.fc15             fedora    165 k
 liblastfm                   i686     0.3.3-3.fc15              fedora    151 k
 libmng                      i686     1.0.10-5.fc15             fedora    172 k
 libmygpo-qt                 i686     1.0.3-1.fc15              updates    68 k
 libssh                      i686     0.4.8-2.fc15              fedora    105 k
 loudmouth                   i686     1.4.3-8.fc15              fedora     73 k
 mysql-embedded              i686     5.5.14-2.fc15             updates   2.7 M
 mysql-libs                  i686     5.5.14-2.fc15             updates   686 k
 openslp                     i686     1.2.1-15.fc15             fedora     57 k
 oxygen-icon-theme           noarch   4.6.5-1.fc15              updates    28 M
 phonon                      i686     4.5.0-2.fc15              fedora    187 k
 phonon-backend-xine         i686     4.4.4-3.fc15              fedora    161 k
 polkit-qt                   i686     0.99.0-2.fc15             fedora     70 k
 qca2                        i686     2.0.3-2.fc15              fedora    428 k
 qjson                       i686     0.7.1-4.fc15              fedora     65 k
 qt                          i686     1:4.7.3-8.fc15            updates   4.2 M
 qt-webkit                   i686     1:4.7.3-8.fc15            updates   5.3 M
 qt-x11                      i686     1:4.7.3-8.fc15            updates    12 M
 qtscriptbindings            i686     0.1.0-14.fc15             fedora    3.8 M
 redland-virtuoso            i686     1.0.12-3.fc15             fedora     26 k
 sgml-common                 noarch   0.6.3-34.fc15             fedora     49 k
 shared-desktop-ontologies   noarch   0.6.0-1.fc15              fedora    105 k
 soprano                     i686     2.6.0-2.fc15              fedora    619 k
 strigi-libs                 i686     0.7.2-8.fc15              fedora    428 k
 taglib-extras               i686     1.0.1-2.fc15              fedora     31 k
 virtuoso-opensource         i686     1:6.1.2-3.fc15            fedora    3.1 M
 xine-lib                    i686     1.1.19-6.fc15             fedora    2.2 M

Transaction Summary
================================================================================
Install      49 Package(s)

Total download size: 106 M
Installed size: 288 M
Is this ok [y/N]: y
Downloading Packages:
Setting up and reading Presto delta metadata
Processing delta metadata
Package(s) data still to download: 106 M
http://ftp.linux.org.tr/fedora/releases/15/Everything/i386/os/Packages/OpenEXR-libs-1.7.0-2.fc15.i686.rpm: [Errno 14] HTTP Error 403 - Forbidden : http://ftp.linux.org.tr/fedora/releases/15/Everything/i386/os/Packages/OpenEXR-libs-1.7.0-2.fc15.i686.rpm
Trying other mirror.
(1/49): OpenEXR-libs-1.7.0-2.fc15.i686.rpm               | 217 kB     00:00    
(2/49): amarok-2.4.3-1.fc15.i686.rpm                     |  11 MB     00:02    
(3/49): amarok-libs-2.4.3-1.fc15.i686.rpm                | 2.9 MB     00:00    
(4/49): amarok-utils-2.4.3-1.fc15.i686.rpm               | 129 kB     00:00    
(5/49): attica-0.2.0-1.fc15.i686.rpm                     | 167 kB     00:00    
(6/49): cagibi-0.1.1-3.fc15.i686.rpm                     |  56 kB     00:00    
(7/49): clucene-core-0.9.21b-3.fc15.i686.rpm             | 294 kB     00:00    
(8/49): dbusmenu-qt-0.6.3-3.fc15.i686.rpm                |  76 kB     00:00    
(9/49): docbook-dtds-1.0-54.fc15.noarch.rpm              | 217 kB     00:00    
(10/49): docbook-style-xsl-1.76.1-2.fc15.noarch.rpm      | 2.3 MB     00:02    
(11/49): htdig-3.2.0-0.11.b6.fc15.i686.rpm               | 811 kB     00:00    
(12/49): ilmbase-1.0.2-3.fc15.i686.rpm                   |  75 kB     00:00    
(13/49): kde-filesystem-4-38.fc15.i686.rpm               |  47 kB     00:00    
(14/49): kde-l10n-4.6.5-1.fc15.noarch.rpm                |  17 kB     00:00    
(15/49): kde-l10n-Korean-4.6.5-1.fc15.noarch.rpm         | 1.3 MB     00:00    
(16/49): kde-settings-4.6-10.fc15.noarch.rpm             |  43 kB     00:00    
(17/49): kdebase-runtime-4.6.5-1.fc15.i686.rpm           | 5.7 MB     00:01    
(18/49): kdebase-runtime-flags-4.6.5-1.fc15.noarch.rpm   | 133 kB     00:00    
(19/49): kdebase-runtime-libs-4.6.5-1.fc15.i686.rpm      | 1.1 MB     00:00    
(20/49): kdelibs-4.6.5-2.fc15.i686.rpm                   |  12 MB     00:03    
(21/49): kdepimlibs-4.6.5-1.fc15.i686.rpm                | 2.2 MB     00:01    
(22/49): libXScrnSaver-1.2.1-2.fc15.i686.rpm             |  21 kB     00:00    
(23/49): libiodbc-3.52.7-2.fc15.i686.rpm                 | 165 kB     00:00    
(24/49): liblastfm-0.3.3-3.fc15.i686.rpm                 | 151 kB     00:00    
(25/49): libmng-1.0.10-5.fc15.i686.rpm                   | 172 kB     00:00    
(26/49): libmygpo-qt-1.0.3-1.fc15.i686.rpm               |  68 kB     00:00    
(27/49): libssh-0.4.8-2.fc15.i686.rpm                    | 105 kB     00:00    
(28/49): loudmouth-1.4.3-8.fc15.i686.rpm                 |  73 kB     00:00    
(29/49): mysql-embedded-5.5.14-2.fc15.i686.rpm           | 2.7 MB     00:01    
(30/49): mysql-libs-5.5.14-2.fc15.i686.rpm               | 686 kB     00:00    
(31/49): openslp-1.2.1-15.fc15.i686.rpm                  |  57 kB     00:00    
(32/49): oxygen-icon-theme-4.6.5-1.fc15.noarch.rpm       |  28 MB     00:14    
(33/49): phonon-4.5.0-2.fc15.i686.rpm                    | 187 kB     00:00    
(34/49): phonon-backend-xine-4.4.4-3.fc15.i686.rpm       | 161 kB     00:00    
(35/49): polkit-qt-0.99.0-2.fc15.i686.rpm                |  70 kB     00:00    
(36/49): qca2-2.0.3-2.fc15.i686.rpm                      | 428 kB     00:00    
(37/49): qjson-0.7.1-4.fc15.i686.rpm                     |  65 kB     00:00    
(38/49): qt-4.7.3-8.fc15.i686.rpm                        | 4.2 MB     00:01    
(39/49): qt-webkit-4.7.3-8.fc15.i686.rpm                 | 5.3 MB     00:02    
(40/49): qt-x11-4.7.3-8.fc15.i686.rpm                    |  12 MB     00:06    
(41/49): qtscriptbindings-0.1.0-14.fc15.i686.rpm         | 3.8 MB     00:03    
(42/49): redland-virtuoso-1.0.12-3.fc15.i686.rpm         |  26 kB     00:00    
(43/49): sgml-common-0.6.3-34.fc15.noarch.rpm            |  49 kB     00:00    
(44/49): shared-desktop-ontologies-0.6.0-1.fc15.noarch.r | 105 kB     00:00    
(45/49): soprano-2.6.0-2.fc15.i686.rpm                   | 619 kB     00:00    
(46/49): strigi-libs-0.7.2-8.fc15.i686.rpm               | 428 kB     00:00    
(47/49): taglib-extras-1.0.1-2.fc15.i686.rpm             |  31 kB     00:00    
(48/49): virtuoso-opensource-6.1.2-3.fc15.i686.rpm       | 3.1 MB     00:02    
(49/49): xine-lib-1.1.19-6.fc15.i686.rpm                 | 2.2 MB     00:01    
--------------------------------------------------------------------------------
Total                                           1.7 MB/s | 106 MB     01:01    
Running rpm_check_debug
Running Transaction Test
Transaction Test Succeeded
Running Transaction
  Installing : 1:qt-4.7.3-8.fc15.i686                                      1/49
  Installing : kde-filesystem-4-38.fc15.i686                               2/49
  Installing : ilmbase-1.0.2-3.fc15.i686                                   3/49
  Installing : libiodbc-3.52.7-2.fc15.i686                                 4/49
  Installing : OpenEXR-libs-1.7.0-2.fc15.i686                              5/49
  Installing : liblastfm-0.3.3-3.fc15.i686                                 6/49
  Installing : attica-0.2.0-1.fc15.i686                                    7/49
  Installing : qjson-0.7.1-4.fc15.i686                                     8/49
  Installing : taglib-extras-1.0.1-2.fc15.i686                             9/49
  Installing : libmng-1.0.10-5.fc15.i686                                  10/49
  Installing : 1:qt-x11-4.7.3-8.fc15.i686                                 11/49
  Installing : xine-lib-1.1.19-6.fc15.i686                                12/49
  Installing : clucene-core-0.9.21b-3.fc15.i686                           13/49
  Installing : kde-settings-4.6-10.fc15.noarch                            14/49
  Installing : kde-l10n-4.6.5-1.fc15.noarch                               15/49
  Installing : sgml-common-0.6.3-34.fc15.noarch                           16/49
  Installing : docbook-dtds-1.0-54.fc15.noarch                            17/49
  Installing : docbook-style-xsl-1.76.1-2.fc15.noarch                     18/49
  Installing : shared-desktop-ontologies-0.6.0-1.fc15.noarch              19/49
  Installing : oxygen-icon-theme-4.6.5-1.fc15.noarch                      20/49
  Installing : strigi-libs-0.7.2-8.fc15.i686                              21/49
  Installing : phonon-4.5.0-2.fc15.i686                                   22/49
  Installing : phonon-backend-xine-4.4.4-3.fc15.i686                      23/49
  Installing : 1:qt-webkit-4.7.3-8.fc15.i686                              24/49
  Installing : qtscriptbindings-0.1.0-14.fc15.i686                        25/49
  Installing : polkit-qt-0.99.0-2.fc15.i686                               26/49
  Installing : dbusmenu-qt-0.6.3-3.fc15.i686                              27/49
  Installing : libmygpo-qt-1.0.3-1.fc15.i686                              28/49
  Installing : redland-virtuoso-1.0.12-3.fc15.i686                        29/49
  Installing : 1:virtuoso-opensource-6.1.2-3.fc15.i686                    30/49
  Installing : soprano-2.6.0-2.fc15.i686                                  31/49
  Installing : cagibi-0.1.1-3.fc15.i686                                   32/49
  Installing : qca2-2.0.3-2.fc15.i686                                     33/49
  Installing : loudmouth-1.4.3-8.fc15.i686                                34/49
  Installing : libssh-0.4.8-2.fc15.i686                                   35/49
  Installing : libXScrnSaver-1.2.1-2.fc15.i686                            36/49
  Installing : 6:kdelibs-4.6.5-2.fc15.i686                                37/49
  Installing : kdepimlibs-4.6.5-1.fc15.i686                               38/49
  Installing : amarok-utils-2.4.3-1.fc15.i686                             39/49
  Installing : 4:htdig-3.2.0-0.11.b6.fc15.i686                            40/49
  Installing : mysql-embedded-5.5.14-2.fc15.i686                          41/49
  Installing : openslp-1.2.1-15.fc15.i686                                 42/49
  Installing : kdebase-runtime-libs-4.6.5-1.fc15.i686                     43/49
  Installing : kdebase-runtime-flags-4.6.5-1.fc15.noarch                  44/49
  Installing : kdebase-runtime-4.6.5-1.fc15.i686                          45/49
  Installing : mysql-libs-5.5.14-2.fc15.i686                              46/49
  Installing : kde-l10n-Korean-4.6.5-1.fc15.noarch                        47/49
  Installing : amarok-libs-2.4.3-1.fc15.i686                              48/49
  Installing : amarok-2.4.3-1.fc15.i686                                   49/49
 
Installed:
  amarok.i686 0:2.4.3-1.fc15        kde-l10n-Korean.noarch 0:4.6.5-1.fc15      

Dependency Installed:
  OpenEXR-libs.i686 0:1.7.0-2.fc15                                             
  amarok-libs.i686 0:2.4.3-1.fc15                                              
  amarok-utils.i686 0:2.4.3-1.fc15                                             
  attica.i686 0:0.2.0-1.fc15                                                   
  cagibi.i686 0:0.1.1-3.fc15                                                   
  clucene-core.i686 0:0.9.21b-3.fc15                                           
  dbusmenu-qt.i686 0:0.6.3-3.fc15                                              
  docbook-dtds.noarch 0:1.0-54.fc15                                            
  docbook-style-xsl.noarch 0:1.76.1-2.fc15                                     
  htdig.i686 4:3.2.0-0.11.b6.fc15                                              
  ilmbase.i686 0:1.0.2-3.fc15                                                  
  kde-filesystem.i686 0:4-38.fc15                                              
  kde-l10n.noarch 0:4.6.5-1.fc15                                               
  kde-settings.noarch 0:4.6-10.fc15                                            
  kdebase-runtime.i686 0:4.6.5-1.fc15                                          
  kdebase-runtime-flags.noarch 0:4.6.5-1.fc15                                  
  kdebase-runtime-libs.i686 0:4.6.5-1.fc15                                     
  kdelibs.i686 6:4.6.5-2.fc15                                                  
  kdepimlibs.i686 0:4.6.5-1.fc15                                               
  libXScrnSaver.i686 0:1.2.1-2.fc15                                            
  libiodbc.i686 0:3.52.7-2.fc15                                                
  liblastfm.i686 0:0.3.3-3.fc15                                                
  libmng.i686 0:1.0.10-5.fc15                                                  
  libmygpo-qt.i686 0:1.0.3-1.fc15                                              
  libssh.i686 0:0.4.8-2.fc15                                                   
  loudmouth.i686 0:1.4.3-8.fc15                                                
  mysql-embedded.i686 0:5.5.14-2.fc15                                          
  mysql-libs.i686 0:5.5.14-2.fc15                                              
  openslp.i686 0:1.2.1-15.fc15                                                 
  oxygen-icon-theme.noarch 0:4.6.5-1.fc15                                      
  phonon.i686 0:4.5.0-2.fc15                                                   
  phonon-backend-xine.i686 0:4.4.4-3.fc15                                      
  polkit-qt.i686 0:0.99.0-2.fc15                                               
  qca2.i686 0:2.0.3-2.fc15                                                     
  qjson.i686 0:0.7.1-4.fc15                                                    
  qt.i686 1:4.7.3-8.fc15                                                       
  qt-webkit.i686 1:4.7.3-8.fc15                                                
  qt-x11.i686 1:4.7.3-8.fc15                                                   
  qtscriptbindings.i686 0:0.1.0-14.fc15                                        
  redland-virtuoso.i686 0:1.0.12-3.fc15                                        
  sgml-common.noarch 0:0.6.3-34.fc15                                           
  shared-desktop-ontologies.noarch 0:0.6.0-1.fc15                              
  soprano.i686 0:2.6.0-2.fc15                                                  
  strigi-libs.i686 0:0.7.2-8.fc15                                              
  taglib-extras.i686 0:1.0.1-2.fc15                                            
  virtuoso-opensource.i686 1:6.1.2-3.fc15                                      
  xine-lib.i686 0:1.1.19-6.fc15                                                

Complete!



[root@oinnoco Downloads]# rpm -qa | grep jre
jre-1.7.0-fcs.i586
[root@oinnoco Downloads]# rpm -qi jre-1.7.0-fcs.i586
Name        : jre
Version     : 1.7.0
Release     : fcs
Architecture: i586
Install Date:
Group       : Development/Tools
Size        : 48565502
License     : http://java.com/license
Signature   : (none)
Source RPM  : jre-1.7.0-fcs.src.rpm
Build Date  :
Build Host  : jdk7-lin2-i586.us.oracle.com
Relocations : /usr/java
Packager    : Java Software <jre-comments@java.sun.com>
Vendor      : Sun Microsystems, Inc.
URL         : URL_REF
Summary     : Java(TM) Platform Standard Edition Runtime Environment
Description :
The Java Platform Standard Edition Runtime Environment (JRE) contains
everything necessary to run applets and applications designed for the
Java platform. This includes the Java virtual machine, plus the Java
platform classes and supporting files.

The JRE is freely redistributable, per the terms of the included license.


[root@oinnoco Downloads]# rpm -i flash-plugin-10.3.183.7-release.i386.rpm




[root@oinnoco /]# cd mnt
[root@oinnoco mnt]# ls
boot  home
[root@oinnoco mnt]# mkdir cdrom
[root@oinnoco mnt]# cd ..
[root@oinnoco /]# mount /dev/cdrom /mnt/cdrom
mount: block device /dev/sr0 is write-protected, mounting read-only
[root@oinnoco /]# cd mnt
[root@oinnoco mnt]# ls
boot  cdrom  home
[root@oinnoco mnt]# cd cdrom
[root@oinnoco cdrom]# ls
21세기세종계획_Disc1.exe  Data  autorun.inf  lingo.ini  link.exe  open.ini




[oinnoco@oinnoco embedded]$ ln -s /usr/include/stdio.h stdio.h
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz  copied_file2.txt  df_included_dev.txt  stdio.h  tarfile.tar
[oinnoco@oinnoco embedded]$ ls -l stdio.h
lrwxrwxrwx. 1 oinnoco oinnoco 20  9월 15 03:34 stdio.h -> /usr/include/stdio.h


[root@oinnoco cdrom]# du
148    ./Data/01_사업개요
35570    ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/원시_말뭉치/HWP
29582    ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/원시_말뭉치/TXT
65154    ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/원시_말뭉치
139600    ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/형태분석_말뭉치/HWP
121800    ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/형태분석_말뭉치/TXT
261402    ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/형태분석_말뭉치
326558    ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치
327066    ./Data/02_말뭉치/병렬/한영병렬
8430    ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치/원시_말뭉치
1660    ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치/형태분석_말뭉치
10092    ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치
414    ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치_구축지침및주의사항
11076    ./Data/02_말뭉치/병렬/한일병렬
338144    ./Data/02_말뭉치/병렬
97210    ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/미정제_원시_말뭉치/HWP
108434    ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/미정제_원시_말뭉치/TXT
205646    ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/미정제_원시_말뭉치
13484    ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/정제_원시_말뭉치/HWP
7582    ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/정제_원시_말뭉치/TXT
21068    ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/정제_원시_말뭉치
226716    ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치
30658    ./Data/02_말뭉치/역사/역사자료_말뭉치/형태분석_말뭉치/HWP
29972    ./Data/02_말뭉치/역사/역사자료_말뭉치/형태분석_말뭉치/TXT
60632    ./Data/02_말뭉치/역사/역사자료_말뭉치/형태분석_말뭉치
287350    ./Data/02_말뭉치/역사/역사자료_말뭉치
292092    ./Data/02_말뭉치/역사
22166    ./Data/02_말뭉치/현대/구어/현대구어_말뭉치/원시_말뭉치
97098    ./Data/02_말뭉치/현대/구어/현대구어_말뭉치/형태분석_말뭉치
119266    ./Data/02_말뭉치/현대/구어/현대구어_말뭉치
125108    ./Data/02_말뭉치/현대/구어
210    ./Data/02_말뭉치/현대/문어/말뭉치_구축지침
34966    ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/구문분석_말뭉치
350908    ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/원시_말뭉치
807690    ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/형태분석_말뭉치
754964    ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/형태의미분석_말뭉치
1948530    ./Data/02_말뭉치/현대/문어/현대문어_말뭉치
1958028    ./Data/02_말뭉치/현대/문어
2083138    ./Data/02_말뭉치/현대
2713376    ./Data/02_말뭉치
80    ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기/지능형_형태소분석기/지능형 형태소 분석기/data
15628    ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기/지능형_형태소분석기/지능형 형태소 분석기
15630    ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기/지능형_형태소분석기
16010    ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기
206248    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/원시_말뭉치/원시 말뭉치
206250    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/원시_말뭉치
11498    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/형태분석_말뭉치/형태 분석 말뭉치
11500    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/형태분석_말뭉치
217752    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치
794    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/한영병렬_말뭉치용례검색기/한영 병렬 말뭉치 용례 검색기
796    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/한영병렬_말뭉치용례검색기
224866    ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기
80    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(색인)/글잡이II(색인)/data
9956    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(색인)/글잡이II(색인)
9958    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(색인)
456    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/manual/images
806    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/manual
490    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Spoken/Quasi
410    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Spoken/Trans
902    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Spoken
1048    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Art
952    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Docu
856    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Educate
1998    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/General
634    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Human
1246    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Imaginar
1676    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Life
744    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/News
612    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Science
886    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Society
10654    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written
11558    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus
14280    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)
14282    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)
24988    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II
17620    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/한마루
42610    ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기
298204    ./Data/03_말뭉치_활용프로그램
3011730    ./Data
3031040    .



[root@oinnoco cdrom]# df
Filesystem           1K-blocks      Used Available Use% Mounted on
rootfs                51606140   3988092  47093972   8% /
udev                   1023744         0   1023744   0% /dev
tmpfs                  1031152       448   1030704   1% /dev/shm
tmpfs                  1031152       704   1030448   1% /run
/dev/mapper/vg_oinnoco-lv_root
                      51606140   3988092  47093972   8% /
tmpfs                  1031152         0   1031152   0% /sys/fs/cgroup
tmpfs                  1031152         0   1031152   0% /media
/dev/sda1               495844     70576    399668  16% /boot
/dev/mapper/vg_oinnoco-lv_home
                     173814544   2188296 162796912   2% /home
/dev/mapper/vg_oinnoco-lv_root
                      51606140   3988092  47093972   8% /tmp
/dev/mapper/vg_oinnoco-lv_root
                      51606140   3988092  47093972   8% /var/tmp
/dev/mapper/vg_oinnoco-lv_home
                     173814544   2188296 162796912   2% /home
/dev/sr0               3045468   3045468         0 100% /media/21세기세종계획_Disc1
/dev/sr0               3045468   3045468         0 100% /mnt/cdrom



[oinnoco@oinnoco Downloads]$ chsh
Changing shell for oinnoco.
암호:
New shell [/bin/bash]: /bin/sh
Shell changed.


[oinnoco@oinnoco embedded]$ df | grep /dev/ > df_included_dev.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz  copied_file2.txt  df_included_dev.txt  tarfile.tar

'Courses' 카테고리의 다른 글

[소공] 실습 3주차  (0) 2011.09.14
[소공] 11.09.06  (0) 2011.09.10
[소공] 실습 1주차  (0) 2011.08.31
[소공] 수업 계획  (0) 2011.08.30

They say :

assembly language is low-level java, C# are high-level.

But they do not talk about highest-level languages

The answer is yes.
What is the highest-level languages?

case1. view a computer as a 4-year old baby

case 2. view a computer as a 10-year old boy

case 2. view a computer as a college student


example of Prolog

obj : fact(0, 1)
 fact(x+1, xy + y) :- fact(x,y)
main:
fact (5,x)

So there is a final goal

난 소공을 배우고 싶다.

'Courses' 카테고리의 다른 글

[임베디드] 명령어 실습  (0) 2011.09.15
[소공] 11.09.06  (0) 2011.09.10
[소공] 실습 1주차  (0) 2011.08.31
[소공] 수업 계획  (0) 2011.08.30

+ Recent posts