• 지능정보연구
• /
• 제5권2호
• /
• pp.15-27
• /
• 1999

산업계 전반에 걸친 오랜 정보시스템 운용의 결과로 대용량의 데이터들이 축적되고 있다. 이러한 데이터로부터 유용한 지식을 추출하기 위해 여러 가지 데이터마이닝 기법들이 연구되어 왔다. 특히 데이터웨어하우스의 등장은 이러한 데이터마이닝에 있어 필요한 데이터 제공 환경을 주고 있다. 그러나 전문가의 적절한 판단과 해석을 거치지 않은 데이터마이닝의 결과는 당연한 사실이거나, 사실과 다른 가짜이거나 또한 관련성 없는(Trivial, Spurious and Irrelevant) 내용만 무수히 쏟아낼 수 있다. 그러므로 데이터마이닝의 결과가 비록 통계적 유의성을 가진다 하더라고 그 정당성과 유용성에 대한 검증과정과 방법론의 정립이 필요하다. 데이터마이닝의 가장 어려운 점은 귀납적 오류를 없애기 위해 사람이 직접 그 결과를 해석하고 판단하며 아울러 새로운 탐색 방향을 제시해야 한다는 것이다. 본 논문의 목적인 이러한 데이터마이닝에서 추출된 결과를 검증하고 아울러 새로운 지식 탐색 방향을 제시하는 방법론을 정립하는데 있다. 본 논문에서는 데이터마이닝 기법 중 연관규칙탐사(Associations)로 얻어진 결과를 설명가능성 여부의 판단을 통해 검증하는 기법을 제안하였고, 이를 위해 도메인 지식(Domain Knowledge)과 연관규칙탐사를 통해 얻어진 결과를 표현하기 위한 지식표현방법으로 관계형 술어논리(RPL : Relational Predicate Logic)를 개발하였다. 연관규칙탐사로 얻어진 결과를 설명하기 위한 방법으로는 연관규칙탐사로 얻어진 연관규칙에 대한 RPL로 표현된 도메인 지식으로서 설명됨을 보이게 한다. 또한 이러한 설명(Explanation)을 토대로 검증된 지식을 일반화하여 새로운 가설을 연역적으로 생성하고 이를 연관규칙탐사를 통해 검증한 후 새로운 지식을 얻는 설명기반 데이터마이닝 구조(Explanation-based Data Mining Architecture)를 제시하였다.

• 논리연구
• /
• 제17권2호
• /
• pp.253-287
• /
• 2014

영어 'any'는 일차술어논리에서 'every', 'all', 'each' 등과 유사하게 다루어지지만, 자연언어에서 이들은 서로 다른 의미를 갖는다. 특히 'any'는 부정어와 함께 사용되는데, 언어학자들은 이 현상에 주목하고 이를 설명하고자 하였다. 필자는 기존의 언어학적 설명이 만족스럽지 못한 점을 지적하고 벤들러가 'any'의 논리적 특성에 관해서 오래 전에 제시한 철학적 통찰에 주목한다. 필자의 분석에 따르면 'any'는 벤들러가 '선택의 자유'라고 부르는 특성을 일차적으로 가지며 파인이 '임의의 대상'이라고 부르는 것을 가리킨다. 이 과정에서 필자는 'any'의 논리적 특성이 한국어 '아무'의 분석을 통해서 더 잘 드러난다는 점을 보인다. 필자는 이러한 분석이 중요한 철학적 함축을 갖는다고 생각하며, 그 한 가지 사례로 보편 일반화 규칙과 서문의 역설이 제기하는 문제가 'any'의 논리적 특성에 대한 분석을 통해서 새롭게 조망될 수 있음을 보인다.

• 철학연구
• /
• 제139권
• /
• pp.1-21
• /
• 2016

문장 서술의 일관성이나 진 위를 신속 정확히 파악하기 위해서 컴퓨터의 힘을 빌릴 수 있다. 따라서 문장논리의 컴퓨터프로세싱으로 문장 전체 서술의 일관성이나 진 위를 신속 정확히 파악하기 위한 연구가 있을 만하다. 이런 필요에 따라 본 연구에서는 컴퓨터프로세싱과정을 기획하고, 그 프로세싱에 필요한 테이블을 작성하고, 그리고 5개 논리규칙의 테이블을 우선 개발하여 활성화해본다. 그래서 차후 연구에서 10개의 기본추론규칙과 11개의 파생추론규칙 각각의 테이블을 개발하고, 그 다음 개발된 테이블들을 활성화하여 구축한 DB 위에 서버 프로그래밍 JSP와 클라이언트 프로그래밍 JAVA를 이용하여 문장논리규칙을 프로세싱하는 토대를 마련한다. 2장에서 프로세싱과정의 기획은 먼저 논리연산테이블을 탐색해서 논리규칙과 추론규칙을 공식으로 구분하고, 공식에 사용할 조합을 구분해서 순번으로 열거하는 작업을 하도록 하여, 변수 테이블, 논리기호 테이블, 입력처리 테이블을 작성한다. 그래서 차후 연구에서 주어부와 술어부를 활성화한 DB 위에 서버 프로그래밍 JSP와 클라이언트 프로그래밍 JAVA를 이용하여 문장의 참 거짓을 판명하도록 준비한다. 3장에서는 2장에서 작성 준비한 테이블을 참고해서 문장논리를 위해 명제적 계산, 문장논리 계산 혹은 진술논리 계산에 사용되는 5개의 논리규칙 즉, 이중부정규칙, 드모르간규칙, 교환규칙, 결합규칙 그리고 분배규칙 모두의 테이블을 개발하고, 마지막 4장에서는 개발한 테이블의 활성화로 DB 구축과 더불어 논리규칙 프로세싱하는 단계까지 이론적 구상을 해본다.

• 한국지구과학회지
• /
• 제32권1호
• /
• pp.84-98
• /
• 2011

이 연구에서는 장르 분석 및 레지스터 분석을 통해 중학생들의 지구과학 주제 글쓰기의 언어적 특징을 분석하였다. 연구 자료는 7, 9학년 학생들을 대상으로 '지구 온난화'와 '암석의 분류' 주제 글쓰기를 실시하여 얻은 학생들의 글쓰기를 대상으로 하였다. 연구 결과는 다음과 같다. 첫째, 학생들은 장르별 글쓰기에 익숙하지 않았으며 특히 논설장르 글쓰기에 많은 어려움을 보였다. 둘째, 내용과 논리관계의 특징으로 정의나 분류와 같이 한 부분을 다른 부분과 관련시키는 관계적 술어보다는 행동 및 하는 것을 의미하는 현상적 술어와 부가적 논리 관계가 많이 나타났다. 셋째, 상호관계적 표현의 특징으로 글 속에서 글의 주체, 글쓴이의 감정, 주관적 의견들이 많이 드러났으며, 학생들은 자신의 생각에 대해서 확신을 가지지 못하고 불확실성을 드러내었다. 넷째, 텍스트 구성의 특징으로 대부분의 학생들이 부가 접속사를 통해 단편적인 정보들을 나열하였으며, 체계적이며 논리적인 글을 쓰는데 익숙하지 않았다. 연구 결과를 바탕으로 과학적 소양의 함양을 목표로 하는 과학 학습에서 과학 글쓰기가 강조되어야 하며 국가 교육과정차원에서 체계적인 계획뿐만 아니라 과학 글쓰기에 대한 교사들의 인식이 향상되어야 함을 논의하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1989년도 한글날기념 학술대회 발표논문집
• /
• pp.302-306
• /
• 1989

이 연구는 '맞다'가 의미론적 기본개념으로서의 진리에 대한 대체후보가 될 수 있는가의 물음을 배경으로 삼고 이 논문에서는 맞음의 개념이란 무엇인가라는 문제에 초점을 두고 다음의 다섯가지를 일차적으로 고찰한다. (1) '맞다'에 대한 일상언어분석을 통하여 이것은 두자 리 관계술어라는 점을 보이고 (2) 단어의 표면적 다의성은 그 반대어인 '틀이다'의 분석을 통하여 궁극적으로는 동일한 뿌리를 가지고 잇다는 것을 주장한다. (3) 맞음은 대칭적 논리구조를 일반적으로 가지지만 화자의 관심에 의해 비대칭적 구조를 가질 수도 있을 것이다. (4) '맞다'라는 단어를 해명할 수 있는 세가지 후보를 필요충분조건적 해석, 의미론적 접근, 표준론적 고찰에서 탐구하여 보지만 (5) '맞다'에 대한 진화론적 해석이 의미론적 기초개념일 수 있다고 생각하게 되었다.

• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2224-2232
• /
• 1998

본 논문은 공간데이터와 비공간 데이터를 연계 처리하는 공간 데이터베이스 시스템에서 데이터의 의미적 무결성을 보장하는 확장된 공간 질의 처리 시스템의 구현에 대해 기술한다. 다양한 실세계의 지형 및 공간 정보를 모델링해야하는 지리정보 시스템은 공간 데이터베이스 시스템을 기반으로 구현되고 있다. 이러한 공간 데이터베이스 시스템에서 다루는 데이터는 단순 객체가 아닌 추상화된 복합 객체로 다양한 유도 데이터에 대한 의미적 무결성을 데이터베이스 시스템 내부에서 효율적으로 유지해야 하며 공간 데이터의 의미적 특성을 제약 조건의 형태로 표현할 수 있어야 한다. 본 논문에서는 공간 질의 처리기를 확장하기 위해 공간 데이터에 대한 무결성 정보를 술어 논리 형태로 표현할 수 있는 공간 제약 언어를 제안한다. 제안된 공간 제약 언어는 축약된 질의 트리 형태로 메타-데이터베이스에 저장하며 저장된 공간 제약 언어는 사용자의 질의에 대해 공간 데이터베이스의 일치성을 보장하는 정보로 사용된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.48-50
• /
• 1999

본 논문은 공간데이터와 비공간데이터를 통합처리하는 공간 데이터베이스 시스템에서 데이터의 의미적 무결성을 보장하는 확장된 공간 데이터 모델을 설계한다. 공간 데이터베이스 시스템에서 다루는 단순 객체가 아닌 추상화된 복합 객체로 다양한 유도 데이터에 대한 의미적 무결성을 데이터베이스 시스템 내부에서 효율적으로 유지해야 하며, 공간 데이터의 의미적 무결성 제약 조건을 사용자에 의해 정의할 수 있어야 한다. 본 논문에서는 공간 데이터베이스에서 사용하는 공간 데이터에 대한 무결성 정보를 술어 논리 형태로 표현하고 유지할 수 있는 무결성 공간 데이터 모델 (ISRDM: Integrity supported Spatial-Relational Data Model)을 제안한다. 제안된 공간 데이터 모델은 하부 단계 저장 구조, 개념적 데이터 표현 단계, 무결성 표현 단계가 독립적으로 구성되는 다단계 구조로 기존의 공간 데이터베이스 시스템을 용이하게 확장하고 다양한 응용 요구에 대해 유연하게 대처할 수 있도록 설계한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.611-613
• /
• 1999

테스터의 간섭없이 테스트를 수행할 수 있는 새로운 테스트 도구인 테스트 에이전트 시스템을 구현하였다. 이 시스템에서 테스터는 테스터 이름, 테스트 시간을 입력하고, 테스트 대상을 선택 후, 그 밖에 테스트에 필요한 정보를 입력하고 나면 테스트 에이전트 시스템이 스스로 테스트를 수행한 후 각 테스트 레벨에 대한 테스트 항목의 테스트케이스와 Quality 측정치를 테스트결과로 받아 볼 수 있다. 이 테스트 에이전트 시스템은 3개의 에이전트로 구성이 되어 있고 각 에이전트들은 에이전트의 특성인 자율성, 사회성, 지능성을 가지고 있다. 특히 지능성을 나타내 주는 것을 규칙 기반 시스템을 이용하여 구현하였다. 'User Interface Agent'에는 '리그래션 테스트 대상 판단 규칙'과 'Test History 크기 관리 규칙'이 있고, 'Test Case Selection '||'&'||' Testing Agent'에는 테스트케이스를 선택하는 데에 적용하는 '중복성 제거 규칙'과 '일관성 있는 테스트케이스 선택 규칙'이 있다. "Regression Test Agent'에서는 리그래션 테스트 관련 항목 찾는 규칙'이 있어 각 에이전트들의 지능성을 뒷받침해 준다. 본 논문에서는 각 규칙들을 술어 논리로 표현하여 제시하였고, 구현한 테스트 에이전트 시스템의 Prototype을 기술한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.16-18
• /
• 2008

유비쿼터스 컴퓨팅 환경에서 상황을 인지해 각 사용자에게 필요한 서비스를 자동으로 제공하거나, 사용자로부터 요청받은 서비스를 주어진 환경에서 성공적으로 수행하기 위해서는 그 서비스를 수행하는 각각의 장치들은 일정 수준 이상의 지능을 갖고 있어야 한다. 본 연구에서는 일차 술어 논리를 사용하는 규칙 기반 추론 엔진으로 JRM-S를 개발하였다. 본 엔진은 위치 기반 상황 모델 구축을 위해 공간지식 처리 기능을 갖고 있으며, 유비쿼터스 환경에 존재하는 서비스 장치들에게 상황을 인식할 수 있는 지능을 부여하기 위한 지식 처리기로 사용될 수 있다.