티스토리

코딩초보의 블로그

검색하기

블로그 홈

코딩초보의 블로그

coding-chobo.tistory.com/m

s코딩초보s 님의 블로그입니다.

구독자: 10

방명록 방문하기

주요 글 목록

Limitations of Logic * The Search Space Problem Logic 에서 Theorem Prover 의 속도는 매우 중요하다 . 지식베이스 rule 이 500 개 이상 있다고 가정하면 실제로 전문가 시스템의 경우 수 백 혹은 수 천 개의 rule 은 보통 갖게 된다 ) 추론을 하기 위해서 엄청난 inferencing 이 일어날 수 있다 예를 들어 resolution inference 의 경우 임의로 2 개의 clause 를 잡아 resolution 을 시도한다면 원하는 답을 얻기 위해 많은 inferencing 이 일어나 시스템의 효율이 떨어진다 . 그러므로 rule 이 늘어 남에 따라 시스템 속도는 급속히 떨어질 수 있다 이러한 문제를 해결하기 위한 heuristic algorithm 등 소프트웨어 적인 접근과.. 공감수 29 댓글수 0 2020. 9. 30.
서술논리 ② * Skolemization (스콜렘 표준형) 서술 논리에서도 resolution inference rule 을 적용하려 하는데 , 이를 위하여 우리는 먼저 prenex normal 으로 전환하는 방법을 배웠다 . 이는 모든 한정사(quantifier) 가 formula 의 맨 앞으로 이동된 형태의 formula 이다 Prenex normal form 에서 우리는 한정사를 제거하려고 한다 . 먼저 existential quantifier 을 제거하려 한다 . 이런 방법을 Skolemization 이라고 한다 . Skolemization 은 아래의 existential quantifier 식이 disjunction으로 표현된 식과 같으므로 만약 우리가 어떤 상수 Ai 를 안다면 비록 원래 formula 가.. 공감수 25 댓글수 0 2020. 9. 25.
서술논리 ① * 명제 논리의 한계 명제 논리(Propositional Logic)의 세계에서 사용할 수 있는 것은 명제 변수(Proposition Variable)와 이들을 연결하는 논리 연산자 뿐이다. 따라서 세상을 보다 잘 표현하기 위하여, 예를 로봇-7이 로봇-12 보다 오른 편에 있다는 객체들 간의 관계를 표현하기가 매우 어렵다. 이를 위하여는 모든 좌표에 대하여 일일이 오른 편에 있다는 명제 논리의 문장을 통하여 선언해야 하는, 사실상 경우의 수가 많으면 불가능하지만, 설혹 그 수가 유한하다고 하더라도 전혀 현실적이지 못하다. 이러한 문제로 세상을 객체들의 집합과 이들 간의 관계 등을 표현할 수 있는 언어인 서술 논리(Predicate Logic)를 사용한다. Example 1. => 경우의 수가 많아 객체.. 공감수 20 댓글수 0 2020. 9. 23.
명제논리 * Symbolic (Knowledge) Representation 인공지능 분야에서 지식을 표현하기 위한 방법 중 문법과 의미가 수학적으로 잘 정의된 언어는 논리 (Logic)라는 언어이다. 논리 언어는 여러 종류가 있지만 가장 간단하고 기본적인 언어는 명제 논리 (Proposition) 이다. 이 보다 표현 능력이 뛰어난 논리 언어가 서술 논리 (Predicate) 이다 . 서술 논리의 표현 능력은 명제 논리의 능력을 포함하는 강력한 언어이다. 서술 논리는 1차 서술 논리 (First-order Predicate Logic) 혹은 단순히 1차 논리라 부르기도 한다. 서술 논리 이외에서 다른 변형의 논리, 예를 들어 Modal Logic, Fuzzy Logic, Probabilistic Logic 등이.. 공감수 21 댓글수 2 2020. 9. 12.

문의안내

티스토리
로그인
고객센터

티스토리는 카카오에서 사랑을 담아 만듭니다.