• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.1-22
• /
• 2003

타당한 논증과 논리적 귀결에 대한 프라위츠와 더밋의 증명 이론적 정의는 그 적절성을 위해 이른바 "근본 가정"과 "도입규칙들은 자체적으로 정당한 규칙들이다"는 두 논제들을 전제하고 있다. 이 글에서는 어떤 규칙들 특히 도입규칙들이 자체적으로 정당하다는 두 번째 논제가 어떻게 이해될 수 있는지 살펴보고, 이 논제를 보다 분명히 드러내 보이려는 한 신도를 비판적으로 검토할 것이다. 그런 과정 중에 이 두 논제의 관계도 보다 분명히 드러내 보일 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.352-354
• /
• 2002

업무규칙은 선언적인 방법으로 업무정책을 표현하고 업무조항을 정의한다. 또한 업무프로세스를 정의하고 프로세스가 수행되는 과정에 제약을 가한다. 본 논문에서는 능동문서 처리 프레임워크를 구현하였다 즉, 사무문서에 함축되어 있는 업무규칙을 어플리케이션 로직과 분리하여 생각하였고, 업무규칙은 Prolog로 명시적으로 표현하였다. 이 Prolog 규칙은 논리프로그램 추론엔진에서 수행가능하고, 이종의 규칙기반 어플리케이션에서 사용할 수 있도록 XML 문서로 변환하였다. 이렇게 문서의 데이터와 규칙을 저장한 XML 문서는 규칙기반의 시스템과 워크플로우 관리시스템(WFMS) 환경에서 처리된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.396-398
• /
• 2000

본 논문에서는 기존의 저작 도구에서 볼 수 있는 시간 중심 저작의 단점을 극복하고자 규칙 기반의 저작을 가능하게 함으로써 객체 상호간의 행위 관계를 지원하는 Genesis 시스템이라는 저작도구를 소개한다. Genesis 시스템은 사용자가 구현하고자 하는 하나의 세계를 만들고 그 세계 속에서 행동하게될 객체들과 그 객체들간의 행동 관계를 규칙을 통해서 정의할 수 있다. 변수, 모양, 행동 등이 정의된 하나의 객체는 시간의 흐름, 사용자의 이벤트 등에 의해서 자신에게 정의된 위치 검사와 변수 검사등의 규칙을 점검한 뒤 그 규칙을 만족을 하게 되면 정의된 행동을 수행한다. 이러한 객체에 대한 규칙의 정의, 객체가 존재할 공간에 대한 환경 설정 등을 통해서 사용자는 자신이 원하는 가상 세계, 시뮬레이션, 게임 등을 제작할 수 있다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1996.10a
• /
• pp.115-118
• /
• 1996

연관규칙(Association Rule)은 데이터 베이스에 존재하는 속성들 사이의 관계를 기술하는 것으로, 간단하면서도 사용자에게 많은 정보를 줄 수 있다. 그러나, 지금까지는 이진 데이터베이스에 존재하는 연관규칙의 발견에 대해서 주로 연구되어 왔으며, 실수값 속성을 갖는 데이터에 관한 연구는 미비하였다. 본 논문에서는 퍼지집합을 이용하여 실수값 사이에 존재하는 연관규칙을 기술하고, 그것을 찾아내는 방법을 제시한다. 제시하는 방법은 사용자에 의해서 정의된 언어항을 이용하여, 실수값 속성을 가진 데이터를 이진 데이터로 재구성한다. 그리고 재구성된 이진 데이터에 기존의 연관규칙 발견 방법을 이용하여 연관규칙을 찾아내고, 찾아진 연관규칙을 정의된 언어항을 이용하여 다시 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.241-243
• /
• 2003

지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 오순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 막장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방범이 고려되지 않았다. 최근에 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분야가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 정의하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.19-21
• /
• 2003

본 논문은 다양한 인터넷 컨텐츠를 제공하는 시스템에서 XML문서를 이용한 사용자 프로필 생성 시스템을 설계하고 구현하였다. 본 시스템은 구매와 같은 하나의 트랜잭션이 발생하기 전에 사용자 구매 패턴을 분석하기 위해서 필요한 프로필을 정의하는 모듈과 이를 적용한 사용자 프로필 생성 모듈로 구성되어 있다. 프로필 정의 단계에서는 XML의 DTD를 이용해서 사용자 프로필 규칙을 정의하고 저장한다. 그리고 사용자 프로필 생성 모듈에서는 트랜잭션이 일어날 때 발생되는 XML문서를 파싱해서 XPath형태로 저장되어 있는 규칙 리스트에 적용한 후 필요한 XML문서의 요소 값들을 이용해서 사용자 프로필을 생성한다. 또한 추가적인 장점으로는 하나의 복잡한 모듈이나 패키지로만 제공되어지는 규칙을 사용하지 않고 관리자나 사이트를 운용하는 운영자가 직접 규칙을 정의하고 규칙에 대한 설명을 통해서 자신의 환경에 맞는 사용자 프로필에 대한 정보 추출 및 CRM(Customer Relationship Management)을 지원 할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.706-708
• /
• 2003

침입탐지 시스템 중 하나인 오용탐지 시스템은 축적된 침입패턴 정보를 이용하기 때문에 새로운 침입에 대하여 새로운 정의가 필요하다. 이러한 문제점을 극복하여 새로운 침입에 대하여 일일이 정의하지 않고 자동으로 새로운 규칙을 생성하도록 하는 것이 좀 더 바람직하다. 본 논문에서는 새로운 규칙을 찾기 위한 방법으로 생물의 진화과정을 모델링한 유전자 알고리즘(GA)을 이용하였다. GA는 계산에 의존한 방법에 비하여 전역적인 해를 구할 때 더 효율적이다. GA를 이용하여 규칙을 자동 생성하고 침입을 탐지할 수 있는 규칙을 찾아가는 방식을 제안하였다. 실험 결과에서는 GA를 이용하여 자동 생성된 규칙으로 40~60%의 탐지율로 침입을 탐지할 수 있다는 것을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.406-409
• /
• 2000

이 논문에서는 웹 서버에 발생할 수 있는 장애 항목들을 정의하고, 발생한 장애를 자동적으로 진단하고 이를 검출하기 위한 방법을 규칙기반 추론기법을 사용하여 제안하였다. 즉, 웹 서버 관리에서 발생할 수 있는 장애 항목을 정의하고, 장애를 진단하기 위한 규칙을 제안하였는데, 장애 항목으로는 프로세스 장애, 서버 과부하, 인터페이스 장애, 구성 및 성능 장애를 정의하였으며, 각 장애 항목을 진단하기 위한 지식을 활성 네트워크기법을 적용하여 표현하고, 이를 시스템 레벨 장애 진단 생성규칙과 서비스 레벨 장애 진단 생성규칙으로 정형화하였다. 그리고 제안한 장애 진단규칙의 타당성을 증명하기 위한 장애 환경 구성을 구성하고, 각 장애 환경에 대한 생성규칙 적용과정을 실험을 통하여 제시하였다. 이 논문에서는 기하 급수적으로 증가하는 웹 서버의 장애를 관리하기 위한 메커니즘 제안함으로써 웹 서버 관리에 소요되는 관리자의 노력을 최소화할 수 있는 지능적인 장애 관리를 위한 방법론을 제시하고자 한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.55-70
• /
• 1994

본 논문은 데이타베이스의 동적 기능을 모형화하기 위해서 동적 규칙을 사건과 동적 규칙 객체로 취급하여 개념적 스키마에 표현하는 동적 객체지향 데이타 모델을 제안한다. 제안된 모델에서 정적 구조와 동적 구조에 대한 개념들을 정의하고 모형화 과정에서 사용자의 이해도를 증진시키는 모델의 구성요호에 대한 그래픽 다이어그램을 제시하였다. 그리고 동적 규칙이 데이타베이스 구조에 포함됨으로써 발생가능한 정보의 불법적인 노출 또는 변경을 방지하기 위해서 BLP모델의 보안 정책을 확장하여 제안된 모델에 대한 11가지 종류의 다단계 보안 성질들을 정의하였다. 또한, 정의된 다단계 보안 성질들이 타당한가를 조사하기 위해서 패트리네트를 확장하여, 보안 성질의 검증작업을 수행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.436-438
• /
• 2005

모델 기반 아키텍처 (Model Driven Architecture, MDA)는 플랫폼 독립적인 모델로부터 변환 규칙을 이용하여 특정 플랫폼 용 모델을 생성하는 소프트웨어 자동화 기술로 각광을 받고 있다. EJB(Enterprise JavaBeans)는 컴포넌트 기반의 분산 컴퓨팅을 위한 아키텍처로써 Java 기반 어플리케이션 개발에서 가장 널리 사용되는 개발 플랫폼이다. 기존의 PIM에서 EJB 용 PSM으로 변환 규칙에 대한 연구는 아직 미흡하고 체계적이지 못하다. 본 논문에서는 PIM 의 구조적인 구성요소와 EJB 용 PSM 의 구성요소를 비교 분석하여 변환 규칙을 정의한다. EJB 어플리케이션 개발을 위해 제안된 변환 규칙을 적용한다면 모델간의 대응관계를 효율적으로 표현 할 수 있기 때문에 이들간의 일관성과 추적성을 높일 수 있고 제품의 생산성, 유지보수성을 높일 수 있다.