• 정보관리학회지
• /
• 제15권1호
• /
• pp.129-148
• /
• 1998

본 연구의 목적은 기존의 불논리 검색 시스템에서 사용할 수 있는 실용적인 피드백 검색 기법을 찾아내는 것으로서, 이용자의 적합성 평가 부담을 덜어줄 수 있도록 사전에 이용자 모형을 구축하여 놓고 피드백 검색시 시스템이 자동으로 적합성 평가를 하는 이용자 모형 기반 피드백 검색 기법을 제안하고 이의 유용성을 실험적으로 입증하였다. 이를 위하여 먼저 증진된 불논리 검색 모형인 DNF 검색 모형과 P-norm 검색 모형을 사용한 피드백 검색 실험을 실시한 후, 검색효율이 높게 나온 DNF 모형을 채택하여 이용자 모형 기반 피드백 검색을 실시하였다. 실험 결과 모든 피드백 검색은 초기검색에 비해 검색효율이 크게 향상되었으며, 이용자 모형 기반 피드백 검색은 DNF 피드백 검색 결과에는 못미치지만 P-norm 피드백 검색 결과와는 거의 같은 수준의 검색효율을 보였다.

• 정보관리학회지
• /
• 제11권1호
• /
• pp.31-56
• /
• 1994

본 연구에서는 검색실험을 통하여 질문 변환에 의한 불 논리 검색, 적합성 가중치 검색, P-NORM 검색에 대해 평가하였다. 적합성 가중치 검색은 질문 변환에 의한 불 논리 검색 및 P-NORM 검색보다 정확률과 검색순위에 있어 효과적이었다. 정보 탐색과정에서 적합성 정보의 이용수준과 용어에 대한 가중치방법은 검색성능에 영향을 주는 것으로 밝혀졌다.

• 정보관리연구
• /
• 제24권3호
• /
• pp.73-100
• /
• 1993

본 연구(硏究)는 불 정보 시스템의 단점을 보완하는 방법으로 퍼지 논리(論理)를 이용한 정보검색시스템을 설계하였다. 퍼지 정보검색 시스템은 질의어(質疑語)와 문헌들을 표현하는 각 용어(用語)들에 가중치(加重値)를 부여하고, 이것을 바탕으로 질의어에 대한 각 문헌들의 적합도(適合度)를 결정하는 것이다. 본 연구에서는 기존의 연구들을 비교 분석한 후, 효과적인 모델을 제시하고 시스템 성능을 평가하였다.

• 논리연구
• /
• 제17권1호
• /
• pp.137-181
• /
• 2014

필자는 이 글에서 고차모호성의 딜레마를 해결하기 위한 방법으로 극단적 결정불가능성을 제안하고자 한다. 극단적 결정불가능성은 II-규칙을 만족시키는 결정불가능성인데, II-규칙이란 IPa가 성립하면, 즉 a가 P인지 결정 불가능하면 그러한 결정불가능성 역시 결정불가능하다는 것, 즉 IIPa 역시 성립한다는 것이다. 이러한 필자의 논의는 두 단계로 구성된다. 첫 번째 단계는 고차모호성의 딜레마의 구조를 분석하고, 그것을 극복하기 위한 조건을 제시하는 것이다. 두 번째 단계는 앞에서 제시한 조건을 만족하는 것으로 극단적 결정불가능성을 제시하는 것이다. 전자와 관련해서, 필자는 고차모호성의 딜레마가 발생하는 이유가 경계영역의 불분명함을 잘못 해석한 것에 기인함을 밝힐 것이다. 그런데 경계영역의 불분명함은 모호성에 대한 기본적 직관을 구성하는 것이다. 그래서 고차모호성의 딜레마를 해결하기 위한 조건은 모호성에 대한 올바른 이해가 만족시켜야 하는 조건이기도 하다. 필자는 이러한 조건을 만족하는 것으로 II-규칙을 제시할 것이며, II-규칙과 관련된 모호성에 대한 새로운 이해 방법으로 극단적 결정불가능성을 제시할 것이다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1996년도 종합학술발표회논문집
• /
• pp.366-373
• /
• 1996

본 논문에서는 IC 카드를 선지불카드로 사용하기 위하여, 카드 내의 데이타를 안전하게 보호할 수 있는 새로운 메카니즘이 제안되었다. 이 메카니즘에서는, 데이타 메모리가 OTPROM 영역과 EEPROM 영역으로 구분되고, 각 영역의 데이타는 논리적으로 서로 연동되게 설계되었다. 그리고 OTPROM영역으로 되어 있는 특정영역에 대해서는 접근제어와 물리적 안전성이 제공되어 재사용 하는 것과 오류를 자동정정하는 것이 가능하다. 이 카드는 디지탈 서명 알고리듬을 사용하여 인증을 받은 사람에 의해서만 발급될 수 있다. 그리고 일반 사용자는 인증과정을 수행하지 않으므로 사용이 간편하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
• /
• pp.509-512
• /
• 2003

본 논문은 다국어 번역기술의 일환으로 Nlip의 불어 형태소 분석기를 기반으로 한 불-한 번역 도우미 FK-Tranassis의 구성에 대하여 설명하고 불-한 번역 도우미 FK- Tranassis 에서 제공되는 FKT_DynaDic 사전의 논리적 구조에 대하여 설명하여 FKT_DynaDic 사전에서 번역가의 성향에 맞는 대역어를 제공해주는 방법에 대하여 설명하고자 한다.

• 한국GIS학회:학술대회논문집
• /
• 한국GIS학회 2004년도 GIS/RS 공동 춘계학술대회 논문집
• /
• pp.107-113
• /
• 2004

용도지역은 농업적 측면에서 토지이용의 규제와 촉진 등을 위한 것으로써 해당토지소유자의 재산권과 직결되므로 정확하고 체계적으로 관리되어야 한다. 그러나 시군구에서 관할하는 용도지역은 소축척의 지형도 기반이나 개별적으로 종이도면에 관리하여 관련 용도지역간에 서로 유기적이지 못해 관련 용도지역의 공통경계선 불일치로 논리적인 불부합 자료가 발생하는 등 많은 문제가 발생하고 있다. 본 연구에서는 농지종합정보화사업애서 구축하는 농업진흥지역도의 각종 용도지역간에 불부합지역을 추출하고 그 원인을 분석함으로서 불부합지역 정비방안을 작성하고 재발하지 않도록 기준 및 지침수립을 위한 방안을 제시하고자 하였다. 본 연구의 결과를 기반으로 용도지역 자료간 불부합으로 인해 각 지자체에서 발생하고 있는 민원문제를 해소하고, 종합적이고 정확한 현황파악과 함께 보다 과학적이고 종체계 토지이용계획을 수립할 수 있는 기반을 조성할 수 있을 것으로 기대된다.

• 논리연구
• /
• 제2권
• /
• pp.35-61
• /
• 1998

개최들의 개별화를 위한 대표적인 법칙으로 간주되고 있는 라이프니츠의 법칙은 철학에서만 아니라 수학이나 논리학과 같은 순수과학에서도 중요한 법칙으로 사용되고 있다. 그러나 최근에 들어서 라이프니츠의 법칙은 그 논리적 위상과 관련하여 심각한 논란의 대상이 되고 있다. 이러한 논란의 근본적 원인은 칸트나 블랙과 같은 철학자들에 의해 라이프니츠의 법칙이 적용되지 않을 기능성을 보이는 반례가 제시되었고, 많은 철학자들이 이에 동조한 데에서 찾을 수 있다. 라이프니츠의 법칙의 논리적 위상과 관계된 철학자들의 입장은 크게 두 가지로 구분된다. 첫 번째 입장은 블랙 등에 의해 제시된 예들을 라이프니츠의 법칙에 대한 정당한 반례로 간주하는 입장이고, 두 번째 입장은 이러한 예들은 리이프니츠의 법칙에 대한 반례로 간주될 수 없다는 입장이다. 두 번째 입장을 쥐이는 대표적 철학자는 헷킹이다. 헷킹은 시공간에 대한 인습주의에 입각하여 블랙 등에 의해 제시된 예는 완전한 가능성을 나타내는 것이 아니고 라이프니츠의 법칙은 가능세계에 대한 메타 원칙으로 간주되어야 한다고 주장하고 있다. 본고에서 필자는 리이프니츠의 법칙을 옹호하려는 헷킹의 시도는 성공적이지 못하고, 또한 블랙 등에 의해 제시된 예들은 라이프니츠의 법칙에 대안 정당한 반례로 간주되어야 한다는 입장을 개진하고 있다. 필자가 이러한 입장을 취하게 된 것은 헷킹의 입장은 논리적 기능성과 물리적 기능성 사이의 구별을 어렵게 한다는 문제점 이외에도 가능세계 의미론과 관련된 중요한 문제점들을 야기하고 있기 때문이다. 가능세계 의미론과 관련된 문제점은 이러한 시도는 가능세계 의미론에 입각한 양상명제들의 해석의 범위를 제한하게 만들고 De-Re 양상명제에 대한 해석을 위해 필수적인 헤세이티즘의 수용을 불가능하게 한다는 것이다.

• 논리연구
• /
• 제17권1호
• /
• pp.33-70
• /
• 2014

그것이 지녀온 막강한 영향력에도 불구하고 우리는 타르스키류 논리적 귀결의 정의가 역사적/철학적으로 어떤 배경과 동기를 지닌 것인지를 알지 못하고 있다. 논리적 귀결 개념이 논리학과 논리철학의 핵심 개념이라는 점을 감안할 때, 이는 충격적이다. 그리고 이런 불만스러운 상황이 초래된 데에는 여러 가지 요인이 복합적으로 작용한 것으로 보인다. 분석철학과 현대 논리학의 역사에 관하여 최근 이루어진 성과는 고무적이다. 그러나 관련된 여러 논쟁들의 추이를 볼 때 불만을 해소하기까지는 상당한 세월이 요구되리라 예상된다. 이런 우울한 정황 속에서 극히 최근 더글라스 패터슨에 의해 수행된 타르스키의 언어철학 및 논리학 연구는 획기적인 업적으로 판명될 만한 잠재력을 지닌 것으로 여겨진다. [Patterson (2012)] 본 논문은 패터슨의 연구에서 미심쩍은 부분을 비판적으로 검토함으로써 이 문제 영역에서의 연구의 현주소와 후속 연구의 방향을 가늠해 보고자 한다.

• 대한전자공학회논문지SD
• /
• 제44권1호
• /
• pp.1-7
• /
• 2007

MTJ (Magnetic Tunneling Junction) 소자는 불 (Boolean) 연산을 수행할 수 있을 뿐만 아니라, 자신의 출력 정보를 저장하는 비휘발성 소자이다. 기존의 트랜지스터로 구성된 논리 연산자를 MTJ 소자로 대체함으로써, 조합논리 회로와 순차논리 회로로 구성된 디지털 논리 회로를 자기논리 (magneto-logic) 회로로 대체 가능하다. 또한 자기논리 회로는 비휘발성 논리 소자를 사용함으로써, 회로 면적 면에서 우수하고 전원이 꺼져도 정보를 유지할 수 있는 장점을 가지고 있다. 본 논문에서는 이러한 자기논리 회로의 예로 3비트 업/다운 카운터를 설계하였고 그 동작을 이전 논문에서 제안된 바 있는 macro-model을 보완 적용하여 검증하였다.