• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2010년도 제42차 하계학술발표논문집 18권2호
• /
• pp.411-412
• /
• 2010

전통적으로 자연어 텍스트로부터의 감정인식 연구는 감정 키워드에 기반한다. 그러나 감정 키워드만을 이용하면 자연어 문장이 원래 갖고 있는 통사정보나 의미정보는 잃어버리게 된다. 이를 극복하기 위해 본 논문에서는 자연어 텍스트를 Predicate Logic 형태로 변환하여 감정 정보처리의 기반데이터로 사용한다. Predicate Logic형태로 변환하기 위해서 의존 문법 구문분석기를 사용하였다. 이렇게 생성된 Predicate 데이터 중 감정 정보를 갖고 있는 Predicate만을 찾아내는데 이를 위해 Emotional Predicate Dictionary를 구축하였고 이 사전에는 하나의 Predicate마다 미리 정의된 개념 클래스로 사상 시킬 수 있는 정보를 갖고 있다. 개념 클래스는 감정정보를 갖고 있는지, 어떤 감정인지, 어떤 상황에서 발생하는 감정인지에 대한 정보를 나타낸다. 자연어 텍스트가 Predicate으로 변환되고 다시 개념 클래스로 사상되고 나면 KBANN으로 구현된 Lazarus의 감정 생성 규칙에 적용시켜 최종적으로 인식된 감정을 판단한다. 실험을 통해 구현된 시스템이 인간이 인식한 감정과 약 70%이상 유사한 인식 결과를 나타냄을 보인다.

• 대한수학회지
• /
• 제54권5호
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

• 대순사상논총
• /
• 제20권
• /
• pp.95-123
• /
• 2009

This paper is designed to show the relationship between the Daesoon Principle and the recent theories like transpersonal psychology(TP) and predicate logic. According to TP there are 3 categories and 8 elements inside of not only human consciousness but civilization; three are pre-ego, ego, trans-ego, and eight are Uroboros, Typhon, Greater Mother, solarization, and repetition of the previous fours. The former is called, for Ken Wilber, the Average mode and the latter, the Advanced mode. I think that Daesoon thought including general Korean National religions belongs to the Advanced mode. I applied the predicate logic or paradoxical logic to understand of the Harmony of God and Man as well as Correspondence of Yin with Yang. The paradoxical logic has been not acceptable through two thousands years in the western tradition. I call the paradoxical logic the E type logic in this paper. The E type logic is most suitable logic for apprehending the Daesoon philosophy to a large extent. Finally my paper may contribute to the globalization of Daesoon mind system.

• 국제교류와 융합교육
• /
• 제1권1호
• /
• pp.61-79
• /
• 2021

본 연구는 한국형 인공지능 변호사를 구현하기 위하여, 법리를 어떻게 구조화 할 수 있는지 살펴본 후, 구조화된 법리를 술어논리로 어떻게 표현할 수 있는지에 관하여 구체적인 예를 들어 보았다. 선행연구에서 인공지능 변호사의 추론엔진을 위해서 술어논리를 도입하는 방안을 제시하였다면, 본 연구에서는 법리의 구조적 외형을 토대로 술어논리로 법리를 표현하는 방식에 관하여 초점을 맞추었다. 법리를 조문과 판례의 내용으로 한정하고, '법률사실-법률요건-법률효과'로 이어지는 수직적 계층과 '법률효과-항변-재항변'으로 이어지는 수평적 계층을 살펴보았다. 또한 법률사실을 분류하고 법률사실의 대부분이 통상 일항술어 내지 이항술어로 표현될 수 있음을 설명하였다. 사건, 상대방 없는 단독행위, 법적 지위를 나타내기 위해 일항술어를 사용하였고, 관념적 용태, 위법행위, 의사적 용태, 상대방 있는 단독행위, 계약, 동시이행관계를 나타내기 위해 이항술어를 사용하였다. 대여금채권에 관한 요건사실과 항변을 술어논리로 표현해 보았으며, 전통적인 주제인 법정지상권에 관하여 관습상 법정지상권과 저당권 실행에 따른 법정지상권으로 나누어 관련 법리를 표현하였다. 향후 연구에서 술어논리로 표현된 법리를 프로그래밍해보고 인공지능 변호사를 위한 추론엔진을 현실화할 계획에 있다.

• 인터넷정보학회논문지
• /
• 제3권1호
• /
• pp.51-59
• /
• 2002

기존의 규칙베이스 검증 알고리즘은 명제논리 수준에 대응하는 지식표현에 대한 것들이었다. 실 세계어서 규칙베이스를 구성할 때는 술어논리 수준에 대응하는 규칙을 사용하여 규칙베이스를 구성한다. 그러므로 본 논문에서는 규칙을 술어논리 수준에서 자연스럽게 표현할 수 있는 Pr/T 네트를 이용한 규칙베이스의 검증 알고리즘을 제안한다.

• 논리연구
• /
• 제12권1호
• /
• pp.89-110
• /
• 2009

This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.

• 한국정보통신학회논문지
• /
• 제9권4호
• /
• pp.816-823
• /
• 2005

비혼(non-Horn) 논리 프로그램은 혼(Horn) 논리 프로그램을 1계 술어 논리(1st order predicate logic) 수준으로 확장하였기 때문에 표현력은 크지만 효율적으로 구현된 사례가 없어서 실용적인 언어로 사용되지는 못하였다. 지금까지 연구된 효율적인 방법은 비혼 논리 프로그램을 증명절차 InH-Prolog의 의미를 이용하여 동등한 혼 논리 프로그램으로 변환한 후 변환된 혼 논리 프로그램을 WAM(Warren Abstract Machine) 명령어로 컴파일하여 수행시키는 방법이다. 본 논문에서는 이 방법을 향상시키기 위하여 비혼 논리 프로그램을 효율적으로 수행하는 EWAM(Extended WAM)과 비혼 논리 프로그램을 EWAM 명령어로 컴파일하는 방법을 제안한다. 또한 본 논문에서는 제안한 EWAM의 에뮬레이터 및 컴파일러를 구현하여 그 성능을 측정하였다. 본 논문에서 구현한 EWAM 에뮬레이터 및 컴파일러의 성능을 측정한 결과 기존 방법보다 매우 효율적임을 확인하였다.

• 인터넷정보학회논문지
• /
• 제2권2호
• /
• pp.117-126
• /
• 2001

본 논문에서는 지식기반 시스템의 퍼지 생성규칙을 술어논리 수준에서 표현할 수 있는 퍼지 Pr/T 네트를 제안한다. 퍼지 Pr/T 네트는 Pr/T 네트의 퍼지 확장이다. 퍼지 Pr/T 네트를 기반으로 퍼지추론 알고리즘을 제안한다. 퍼지추론 알고리즘은 퍼지 생성규칙에서 퍼지개념에 따라 적절한 믿음 값 함수를 사용하므로 다른 방법보다 더 사람의 직관과 추론에 가깝다.

• 전자공학회지
• /
• 제15권3호
• /
• pp.51-56
• /
• 1988

지식처리시스템은 지식의 표현과 그 추론을 필요로 한다. 그 표현방법과 추론방법은 여러 가지가 있으나 논리(first order predicate logic)과 prolog가 무엇인지 설명하고, 논리언어를 빠르게 추론해 주는 논리머신은 어떤 종류가 있는지 살펴 보기로 한다.

• 대한전자공학회논문지
• /
• 제25권12호
• /
• pp.1639-1648
• /
• 1988

This paper deals with an analyzing method of the Korean syntax to implement a natural language understanding system. A matrix of the syntactic structure is derived by the structural features of the Korean language. The modificatoty and conceptual structures are extracted from the matrix and the predicate logic form is expressed by extracting the phrase, clause and conceptual structure in the analyzing process. This logic form constructs an knowledge base of the sentence and proposes the possibility of the inference.