• 논리연구
• /
• 제8권2호
• /
• pp.3-32
• /
• 2005

수론(Number theory)과 수학 전반에 걸쳐 무모순성을 확립하고자 한 힐버트의 합리주의적 열망은 무모순성을 주장하는 진술 자체가 그 체계 내에서 결정 불가능한 진술이라는 괴델의 두 번째 정리에 의해 좌절된다. 수학의 어떤 문제에서도 수학자가 "Ignorabimus!" (우리는 모른다!) 해서는 안된다는 힐버트의 낙관 또한 수학에서 증명도 반증도 안되는 결정불가능한 진술의 존재로 인하여 무너진다. 힐버트 프로그램은 일체의 모호함을 배제하고 기호와 기호열에 대한 기계적 연산에 기초하기 때문에 그 충격도 그만큼 클 수밖에 없다. 이 프로그램의 좌절은 그래서 무엇보다도 형식화의 한계를 분명히 보여준다. 이제 수학에서는 통사론적인 증명가능성의 개념이 의미론적인 참의 개념보다 우위를 갖게 되었다. 그리고 그가 제안한 알고리듬(기계적 절차)의 개념은 프로그래밍 언어의 출현에 직접 기여하였다. 그래서 우리는 그의 기획이 비록 좌절했지만 위대한 실패라고 믿고 싶다.

• 논리연구
• /
• 제16권1호
• /
• pp.61-85
• /
• 2013

대언 믿음과 대물 믿음의 구별을 소개하고, 믿음 문맥과 양상 문맥에서 대언(de dicto)/대물(de re) 애매성이 동일하게 나타나는데, 양상 구문의 경우 한국어는 영어와 차별화되는 특징을 갖지 않는다는 것을 지적한다. 부정문에서도 대언/대물 구문의 애매성이 나타나는 바, 이와 관련하여 한국어는 대물 부정문에 해당하는 통사 구조를 허용한다. 대물 구문은 지시적으로 투명한 구문이요 따라서 동일자 대입률을 허용하는 구문이며, 대언 구문은 지시적으로 불투명한 구문이요 동일자 대입률을 허용하지 않는 구문이다. 그런데, 인용 동사, 언어행위동사, 인지태도 동사들과 함께 사용되는 한국어의 인용 어미 '라고'는 특이하게도 영어와 평행하게 대언/대물 애매성을 갖는 문장 뿐 아니라 애매성 없는 대물 구문을 구성하는 문장도 제공한다. 또한, '라고' 구문은 내포절의 내용에 대한 화자의 공약에 있어서도 중립적이다. 한국어에서는 내포절의 내용에 대한 화자의 긍정적인 공약을 표시하고자 하는 경우 '음/임' 또는 '라는 것'이라는 어미를 사용한다. 이런 점 때문에 '앎이 진리를 전제한다'는 서구 인식론의 원칙은 인식 문장을 한국어 어미 '라고'를 사용하는 문장으로 표현하려고 할 때에는 어려움을 겪게 된다.

• 논리연구
• /
• 제17권1호
• /
• pp.109-136
• /
• 2014

모든 (의미론적) 반실재론자들은 모종의 검증원칙을 받아들인다. 그 원칙에는 반직관적인 강한 검증원칙과 상대적으로 그럴 듯한 약한 검증원칙의 두 가지 형태가 있다. 당연히 반실재론자들은 약한 검증원칙을 선호해왔는데, 이른바 지식가능성 역설은 사실 그 두 가지 형태의 검증원칙들이 동치라는 사실을 보여준다. 이 문제를 해결하기 위해서 에징튼은 새로운 형태의 검증원칙을 제시하지만, 그녀의 검증원칙 역시 그 나름의 문제점을 안고 있다. 이 난점을 극복하기 위해, 에징튼은 반사실적 조건명제를 이용한 지식모형을 제공한 바 있다. 이 논문에서는 이 지식모형이 심각한 문제점을 안고 있다고 논할 것이다. 익히 알다시피, 비결정론적인 미시적 현상의 세계에서는 극히 낮은 물리적 확률에도 불구하고 간신히 일어나는데 성공하는 사실들이 존재한다. 필자는 이런 사실들과 연관된 반사실적 조건명제는 인식적 논파자의 존재로 말미암아 알려질 수 없으며, 따라서 에징튼의 지식모형은 많은 경우 작동하지 않는다고 논할 것이다.

• 논리연구
• /
• 제16권2호
• /
• pp.233-271
• /
• 2013

본고에서는 콰인의 존재론적 기획의 윤곽을 보이고자 했다. 이 기획의 핵심에는 존재론적 개입의 기준이 있다. 그의 존재론적 개입의 기준에 관한 논의는 20세기 영미 철학계에서 존재론 탐구의 기준과 방법에 방향을 제시할 정도로 큰 영향을 주었으나, 다른 한편으로 더 큰 궁금증을 유발한다. 이 기준을 제시할 때 그는 진정으로 존재론에 종사한 것인가? 이런 의문에 답하기 위해서 본고에서는 존재론이 철학의 다른 분야와 마찬가지로 여러 층위를 갖고 있다는 점을 부각시켜, 콰인의 논의가 어떤 성격을 갖는지 밝히고자 한다. 이를테면, 존재론적 개입의 적절한 기준을 찾아나가는 일은 상위 존재론에 속하는 작업이며, 실질 존재론인 이런 기준을 이용하여 이루어진다. 전자를 위해서는 의미론적 상승이 필요하며, 후자를 위해서는 존재론적 하강이 필요하다고 주장했다. 그리고 이런 논의의 결과, 콰인의 존재론 관련 논의에 대한 몇 가지 사소하거나 중요한 오해도 제거될 수 있다. 존재론적 개입이 진리조건을 요구한다는 오해가 가장 심각하지만, 이 오해를 통해 성공한 존재론적 개입의 조건이 분명해질 것이다. 이런 해명이 진행되면서, 더 일반적으로는 존재론의 범위와 책무도 자연스럽게 드러날 것이다.

• 한국문헌정보학회지
• /
• 제32권4호
• /
• pp.249-274
• /
• 1998

SELIS(SEoul Women's University Library and Information System) OPAC에 대한 이용자의 키워드/불연산자 탐색의 지식수준을 알아보기 위하여 4가지 사항에 따라 질문지의 결과를 분석하였다. 분석한 결과를 보면 SELIS OPAC 이용시 키워드 탐색에서 불연산자의 사용이 쉽다고 생각하고 불연산자의 사용으로 검색결과를 만족하는 이용자는 그렇지 않다고 응답한 이용자 보다 키워드/불연산 탐색의 지식수준이 높은 것으로 요약할 수 있다. 설문문항에서 제시한 지식은 키워드 탐색의 특성(단일 키워드 사용, 2개 이상의 키워드 사용), 키워드 탐색 시 불연산자의 사용, 색인에 대한 지식, 불용어 리스트에 대한 지식(비통제 용어) 키워드 탐색기법(전방일치, 우측절단). 불연산자의 올바른 사용, 키워드의 브라우징으로 주제어 선정에 관한 것이다. 앞에서 제시한 이러한 지식들은 OPAC의 키워드/불연산자 탐색에서 중요한 요소로 볼 수 있다. 성공적인 탐색을 위해서는 정보검색과정에 대한 개념적인 지식 즉, 정보요구를 탐색 가능한 질의어로 바꾸는 것과 주어진 시스템에서 질문의 결과를 얻는 방법에 대한 어의적인 지식(시스템의 특징을 어떻게 언제 이용할 것인가 하는 지식) 그리고 이용자의 질문에 대한 과학적인 기술 즉, 기본적인 컴퓨터 기술과 상세한 탐색문을 작성하는 구문론적인 지식이 요구된다. 그러나 지금까지 이용자에 대한 온라인목록 탐색의 중요한 지식으로 간주해온 것은 과학적인 기술방법에 관한 지식에만 치중하고 어의적인 지식, 개념적인 지식을 강조하는 것은 부족하였다. 따라서 온라인목록 이용에 관한 교육을 너무 과학적인 기법에만 치중할 것이 아니라 어의적 지식, 구문에 관한 기술과 개념적인 지식 교육에 초점을 맞추어야 할 것이다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2005년도 추계학술대회 학술발표 논문집 제15권 제2호
• /
• pp.213-216
• /
• 2005

W3C에서는 온톨로지의 표준 언어로 OWL(Web Ontology Language)을 발표하였고 이를 활용한 온톨로지가 다양한 곳에 적용되어 구축이 되고 있다. 하지만, DL(Description Logic)기반인 OWL언어가 표현할 수 있는 규칙의 한계로 인하여 이를 확장하기 위한 연구가 활발히 진행되고 있다. 이러한 연구를 통하여 W3C에서는 OWL과 RuleML(Rule Markup Language)을 통합하여 규칙(Rule)에 대한 표현력이 더욱 향상된 SWRL(Semantic Web Rule Language) 언어를 제안하였다. 현재 이러한 연구는 OWL, SWRL 온톨로지 언어를 활용하고 Racer, Jess와 같은 엔진을 통하여 추론을 하는 형태로 활성화 되어 가고 있다. 하지만 이러한 형태로 온톨로지를 구축하는데 있어서 Racer를 이용한 DL추론, Jess를 이용한 Rule-base추론이 병행되고 있다. 이에 따라 본 논문에서는 온톨로지를 추론하기 위한 엔진으로 Racer와 Jess의 병행이 아닌, Jess를 이용하여 DL기반언어인 OR온톨로지를 추론하는 것 뿐 만 아니라 SWRL언어의 규칙 또한 추론할 수 있도록 한다. 이러한 시스템을 구축하기 위해 OWL을 Jess언어를 이용하여 추론할 수 있도록 개발된 OWLJessKB라는 툴과 SWRL언어를 추론하기 위해 Jess언어로 변환하여 이를 추론하는 SWRL Factory, 그리고 이출 이용하여 통합 추론하기 위한 세가지 통합 추론 플랫폼을 제안한다.

• 정보처리학회논문지D
• /
• 제9D권6호
• /
• pp.991-998
• /
• 2002

본 논문에서는 XML 데이터와 같은 비구조적인 데이터 처리와 추론을 필요로 하는 의미 웹(semantic web) 구축에 유리한 연역 객체 지향 데이터베이스(Deductive and Object-oriented Database) 언어구현을 통해 XML 데이터 처리에 대해 알아본다. 대량 문서 관리와 데이터 교환에 가장 유용한 마크업 언어로 알려진 XML을 이용하여 XML 데이터 모델을 연역객체지향 데이터베이스 모델로 바꾸는 방법에 대해 알아본 다음 이 연역객체 지향 데이터베이스를 다시 Connection Graph로 바꾸고 Connection Graph Resolution을 이용하여 어떻게 질의에 답할 수 있는지를 기술한다. 또한 데이터베이스 내의 계층 지식을 이용하여 효율적이면서도 같은 답을 주는 질의로 바꾸는 방법을 제시하고 이 방법이 효율적이며 논리적으로 타당하다는 점을 증명한다.

• 정보관리학회지
• /
• 제1권1호
• /
• pp.25-42
• /
• 1984

정보(情報)의 축적(蓄積)과 검색(檢索)을 위한 개념(槪念) 조직과정(組織過程)에서는 개념(槪念) 뿐만 아니라 이들 개념간(槪念間)의 상관관계(相關關係)가 명확히 표현되어야 하며 이를 위해서는 인간(人間)의 사고과정(思考科程)에 기초해야 한다. 연관색인법(聯關索引法)에서는 9개의 연관기호(聯關記號)를 통하여 문신 중에서 각 개념간의 관계표현이 가능하며 이들 개념을 순열(順列)시키므로써 주제색인(主題索引)으로서의 기능을 수행할 수 있으며 기존의 색인(索引)시스템에 비해 검색효율의 개선(改善)을 초래할 수 있을 것이다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 추계학술대회
• /
• pp.451-456
• /
• 2007

유비쿼터스 컴퓨팅 환경을 구축하기 위해서는 사용자 및 주변 상황에 관한 인지기술이 필수적이다. 이에 따라 이기종 분산형 시스템에서 언어와 기종에 영향을 받지 않고 사용자 Context를 인지하고 표현하는 문제는 해결해야할 중요한 과제로 대두되었다. 이에 따라, 본 논문에서는 이 과제를 해결하기 위하여 시맨틱 웹 기술 및 퍼지 개념을 이용하여 사용자 Context를 기술하는 것을 제안한다. 온톨로지는 컴퓨터가 정보자원의 의미를 파악하고 자동적으로 처리할 수 있도록 고안된 지식표현 언어이므로 이기종 시스템 하에서의 사용자 Context를 표현하는데 적합하다. 한편, 사용자가 접할 실세계의 환경은 일반집합(Crisp Set)으로 표현하기 힘들기 때문에 본 논문에서는 퍼지개념과 표준 웹 온톨로지 언어 OWL이 융합된 Fuzzy OWL언어를 사용했다. 본 논문에서 제안하는 방법은 Context를 Fuzzy OWL로 표현하기 위하여 먼저 사용자가 접한 환경정보들을 수치로 표현한다. 그리고 이를 OWL로 기술하며 OWL로 표현된 사용자 Context를 Fuzzy OWL로 변환한다. 마지막으로 퍼지 개념이 포함된 사용자 Context를 이용하여 자동적인 상황인지가 가능한지 여부를 퍼지 추론 엔진인 FiRE를 사용하여 실험한다. 본 논문에서 제시한 방법을 사용하면 이기종 분산시스템에서도 사용할 수 있는 형태로 Context를 기술할 수 있다. 그리고 기술된 Context를 기반으로 현재 사용자가 접한 환경의 상태를 추론할 수 있다. 또한 퍼지 기술 로직 언어(Fuzzy Description Logic)기반 추론기인 FiRE를 이용하여 이를 검증한다.

• 스마트미디어저널
• /
• 제13권6호
• /
• pp.72-79
• /
• 2024

수직농업은 미래의 식량, 인구문제를 해결할 수 있는 농업 방식 중 중요한 농업 방식이다. 그러나 초기투자비용, 기술문제 등으로 인하여 저개발 국가에서는 진입에 어려움을 겪고 있다. 이러한 문제들을 해결하기 위하여 수직농업 도메인을 온톨로지로 정형화하는 것이 필요하다. 본 논문에서는 수직농업의 다양한 재배방식을 포함하고 그 방식에 따른 센서들과 액츄에이트의 연결 및 선택된 수직농업의 재배환경 컨텍스트를 인지하고 제어할 수 있는 온톨로지를 제시하였다. 우리는 온톨로지의 논리 추론 기능을 사용하여 인지된 수직 재배에 주요한 환경 컨텍스트를 분석함으로써 자율적으로 컨텍스트에 대한 제어 결정을 내릴 수 있을 것으로 기대한다.