• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2006년도 춘계종합학술대회
• /
• pp.721-724
• /
• 2006

본 논문에서는 분할기법을 이용하여 디지털논리스위칭함수를 구성하는 한가지 방법을 제안하였다. 먼저, 디지털논리시스템에 대한 분할기법의 개념을 서술하였고, 본 논문에서 사용되는 각종 정의에 대해 논의하였다. 또한, 제안한 방법으로 구한 디지털논리스위칭함수를 회로설계하기 위해 먼저, 각각의 분할함수에 기초를 둔 Building Block(BB)을 구성에 대해 서술하였다. 그리고 이들 BB를 근간으로 회로설계하는 방법에 대해 논의하였다. 그리고 제안한 방법을 적용 예를 들어 그 결과를 기존의 방법과 비교 및 검토하였다. 그 결과 기존의 방법에 비해 효과적인 cost를 얻을 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권6호
• /
• pp.366-373
• /
• 2008

현재 온톨로지를 구축하는데 있어 OWL을 온톨로지 표현 언어로 많이 사용하는 추세이다. OWL 온톨로지의 내제된 정보(클래스간의 계층구조, 인스턴스의 정확한 타입)를 추론하기 위해, 현재 많은 온톨로지 추론엔진이 개발되어지고 있다. 그러나 대부분의 온톨로지 추론 엔진들은 단순히 추론 결과만 명시할 뿐, 그 과정을 표현하지는 않는다. 따라서 본 논문에서는 논리적으로 정당하지 못한 은톨로지를 디버깅 하기위한 MEXS(Minimum Expression Axiom Set) 추출과 저장에 대한 기법을 제안한다. MEXS를 추출하기 위해서는 온톨로지 내에서 논리적인 오류를 유발하는 Axiom들을 찾아내는 방법은 매우 중요하다고 할 수 있다. 이에 본 논문은 두 가지 부분에 초점을 맞추어 연구를 진행하였다. 첫 번째, 논리적으로 정당하지 못한 온톨로지가 주어졌을 때, 논리적 오류를 유발하는 핵심 Axiom을 찾아내고, 이와 연관이 되는 Axiom들을 찾아낸다. 두 번째, 논리적으로 정당하지 못한 온톨로지를 디버깅하기 위한 MEXS를 구성한다. 본 연구 결과는 서술 논리에 기반을 둔 모든 어플리케이션에 적용이 가능하다.

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

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

• 전기의세계
• /
• 제46권3호
• /
• pp.20-25
• /
• 1997

자율주행시스템은 복잡한 환경에서 효과적인 주행을 위해서 센서를 통해 주변의 정보를 수집하고 주변환경에 적절한 동작을 취해야 한다. 이러한 자율주행시스템에 지능적인 방법을 통하여 새롭게 제안한 방법을 서술하였다. 퍼지 논리를 이용하여 운전자와 같이 차량이 차선을 따라 주행하기 위한 퍼지 논리 제어기(FLC)가 설계되었다. 함축적인 차량모델을 기반으로 설계한 퍼지 논리 제어기가 복잡하고 정확한 차량모델을 기반으로 설계된 PID나 FSLQ 제어기와 동등한 성능을 발휘하였다. 인간의 운전방법을 학습할 수 있는 신경회로망을 이용하여 자율주행시스템에 적용하였다. 퍼지 신경회로망은 인간의 제어특성을 반영하도록 설계되었으며 자동으로 생성된 제어기는 퍼지 논리 제어나 신경회로망의 기법보다 우수한 성능을 발휘하였다. 퍼지 논리, 신경회로망, 유전자 알고리즘 등의 인간의 지능 모델에 기초를 둔 방법을 자율주행차량의 제어에 도입하므로써 기존의 자율주행시스템의 문제점을 극복하는데 주요한 역할을 하였다. 앞으로 퍼지 논리, 신경회로망, 유전자 알고리즘은 각각의 강점을 융합하거나, 고전적인 제어 알고리즘과 결합하므로써 더욱 우수한 성능을 발휘할 것으로 예상된다.

• 전자통신동향분석
• /
• 제11권2호통권40호
• /
• pp.45-59
• /
• 1996

종래의 현대제어이론은 플랜트의 수학적 모델링이 매우 중요한 역할을 한다. 그러나 비선형 시스템, 선형 시변 등과 같은 복잡한 프로세서는 수학적 모델링을 구성하기가 어렵고 또한 적절한 제어기를 설계하기가 쉽지 않다. 이에 비해, 퍼지제어는 선형시스템은 물론 비선형 시스템 대해 매우 유용한 것으로 알려지고 있다. 본 고는 퍼지논리에 대한 기본적인 개념과 퍼지제어기술에 대하여 서술하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2009년도 춘계학술대회
• /
• pp.353-356
• /
• 2009

OWL 온톨로지의 확장 가능한(scalable) 추론(reasoning)에 대한 접근 방법으로 SQL로 구축된 논리 규칙을 관계형 데이터베이스에 저장되어있는 개체(individual)에 대한 사실(facts)과 공리(axioms)들에 적용하는 것이다. 예로서 미네르바(Minerva)는 서술 논리 프로그램(Description Logic Program, DLP)을 적용함으로써 ABox 추론을 수행한다. 본 연구에서는 관계형 데이터베이스를 기반으로 추론을 시도하며, 대규모 논리 규칙 집합을 사용한 추론을 시도한다. 뿐만 아니라, 특정 클래스에 속한 익명(anonymous)의 개체들과 개체들의 묵시적(implicit)인 관계성 추론을 시도하며, 필요한 경우 새로운 개체를 생성함으로써 명시화하여 추론을 시도한다. 더욱이, 추론의 논리 패러다임(paradigm)에서부터 데이터베이스 패러다임에 이르기까지 변화 시켜가면서 카디널리티(cardinality) 제약을 만족하는 개체들에 대한 제약적인 추정 추론을 시도하며, 벤치마크 테스트 결과 향상된 추론 능력을 얻을 수 있음을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제14권2호
• /
• pp.169-180
• /
• 2009

기존의 논문검색은 키워드 기반 검색이고, 발간된 자료의 양이 방대해 짐에 따라 사용자가 원하는 정보를 검색하는데 어려움이 가중되고 있다. 사용자의 의도에 맞는 정보를 검색하기 위해서는 인터넷 환경에서 웹 문서 자원 사이의 의미 정보를 온톨로지로 표현하고, 이 온톨로지를 컴퓨터가 이해할 수 있게 하는 시맨틱 웹의 도입이 필요하다. 따라서 본 논문에서는 OWL 온톨로지 기반의 추론을 통한 논문정보 검색시스템에 대하여 논한다. 시맨틱 웹의 새로운 온톨로지 언어로 부상한 OWL기반의 논문 온톨로지를 구축하고, 논문 속성들 간의 다양한 상관관계를 서술논리 쿼리로 작성한다. 검색시스템은 이 쿼리를 기반으로 논문 온톨로지에 대하여 추론함으로써 지능적인 정보검색이 가능하도록 하였다. 마지막으로 기존 논문 검색 방법과 본 논문의 실험 결과를 비교하였다.

• 한국사회복지학
• /
• 제64권3호
• /
• pp.155-181
• /
• 2012

본 연구는 지역사회복지계획의 논리구성의 타당성과 질 강화를 위하여, 논리구성의 기본 틀과 타당성 점검기준을 설정하고, 이를 경주시지역사회복지계획에 실제로 적용하여 분석하였다. 분석 결과, 첫째, 논리구성의 타당성 점검기준은 계획서 전체적인 계층구조측면에서의 수직적 일관성, 부문계획간 연관성, 서술의 명확한 이해가능성으로 설정되었다. 둘째, 전반적으로 경주시지역사회복지계획은 논리구성의 타당성 기준을 충족하지 못하는 것으로 나타났다. 이 같은 연구결과에 기반하여 계획서 질과 계획 환경 측면에서 계획가이드라인의 개선방안을 구체적으로 제시하였다.

• 대한화학회지
• /
• 제45권4호
• /
• pp.370-376
• /
• 2001

본 연구에서는 서술형 검사를 이용하여 고등학생의 문제 해결 전략 수행 능력을 측정하고, 논리적 사고력과 전략 수행 능력 사이의 관계를 조사하였다. 서울시에 소재한 두 고등학교에서 4학급(N=187)을 선정한 후, 전략 수행 능력 검사와 논리적 사고력 검사를 실시하였다. 전략 수행 능력의 채점틀은 7개 하위 범주-문제의 조건 파악, 관련 법칙 회상, 하위 목표 설정, 물리량 유도, 수리적 수행, 논리적 전개, 검토-로 구성하였다. 채점에 대한 신뢰도는 분석자간 일치도 .92로 확인하였다. 연구 결과, 학생들의 조건 파악 능력과 수리적 수행 능력은 비교적 높으나, 하위 목표 설정 능력과 검토 능력은 저조한 것으로 조사되었다. 전략 수행 능력 검사의 전체 점수 및 하위 범주별 점수는 논리적 사고력과 유의미한 상관을 나타내었다.

• 한국과학교육학회지
• /
• 제34권7호
• /
• pp.647-655
• /
• 2014

이 연구는 초등학생들의 과학적 의사소통능력, 과학 탐구능력, 논리적 사고력이 학업성취도 수준에 미치는 영향을 분석하여, 과학적 소양 함양을 위한 교육에 시사점을 얻고자 하였다. 초등학교 6학년 학생 64명을 대상으로 과학적 의사소통능력 검사(SCST), 과학 탐구능력 검사(TSPS), 논리적 사고력 검사(GALT)를 실시하였으며, 과학교과지필 평가와 과학교과 서술형 평가, 전체교과의 학업성취도 평가를 통해 자료를 수집하였다. 이러한 자료를 바탕으로 과학 탐구능력과 논리적 사고력, 과학적 의사소통능력의 상호간의 상관관계를 분석하고, 각각의 능력의 하위 요소별로 학업 성취도와의 영향을 분석하였다. 그리고 과학 탐구능력과 논리적 사고력이 영향을 주고 있는 과학적 의사소통능력이 학업성취수준에 직접적인 영향을 미친다는 가정아래세 가지 유형의 성취도평가와의 상관관계를 구조적인 모형으로 분석하였다. 연구 결과 과학적 의사소통능력과 과학 탐구능력, 논리적 사고력은 서로 높은 상관관계를 가지고 있었다. 그리고 이 세 능력은 학습자의 과학교과 지필, 과학교과 서술형, 전체교과 학업 성취도 수준와도 유의미한 상관관계를 가졌으며, 하위 요소별로 그 상관정도는 조금씩 다르게 나타났다. 마지막으로 과학 탐구능력과 논리적 사고력이 과학적 의사소통능력에 영향을 주고 과학적 의사소통능력이 학습자의 학업성취도 수준에 직접적인 영향을 끼친다는 모형을 설정하여 분석한 결과, 과학적 의사소통능력이 전체 교과에 대한 학업 성취도 수준에 가장 크게 영향을 주고 있었다.