http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 배민오(Mino Bai) (검색결과 10 건)
- 무료
- 기관 내 무료
- 유료
-
배민오(Mino Bai),김묘정(Myojung Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
논리는 데이터 모델링을 위한 유용한 지식 표현 언어이다. 가언적 규칙 베이스에서는 사용자가 규칙 베이스의 현상태와 상관없이 가설을 형성하여 추론할 수 있는 시스템이다. 가언적 규칙 베이스를 논리 언어로 모델링하기 위해 통상적으로 직관적 논리가 이용된다. 직관적 논리는 가언적 삽입을 표현할 수는 있지만 가언적 삭제를 가언적 삽입과 함께 표현하지는 못한다. 본 연구에서는 유전적 해럽식에 Girard의 선형 논리 연산자를 추가하여 확장하였다. 유전적 해럽 R-식으로 규칙 베이스의 규칙들을 표현하고 유전적 G-식으로 규칙 베이스의 질의 및 데이터 조작 명령을 표현할 수 있다. 따라서 본 연구의 언어를 이용하면 가언적 삽입 및 삭제를 포함하는 규칙 베이스의 질의 뿐만 아니라 데이터 갱신, 삽입, 삭제와 같은 데이터 조작 명령도 한 개의 언어로 통합적으로 균일하게 모델링할 수 있다.
-
배민오(Mino Bai),이소영(Soyoung Lee),조문정(Moonjung Cho) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ
확정절 문법은 구 구조문법을 명시하는데 사용된 후 계산이론적 언어학자들이 많은 연구를 하는 분야이다. 확정절 문법은 혼절에 근거하고 있기 때문에 관계절 공간연결 파서를 구성할 때 메우개-공간 의존을 자연스럽게 설명할 수 없다. 본 논문에서는 메우개-공간 의존을 처리할 수 있는 일반 구 구조 문법 GPSG의 특성에 대해서 논하고 일반 구 구조 문법을 논리 문법으로 확장할 수 있는 방법에 대해서 기술하였다. [7]에서는 메우개-공간 의존을 설명하기 위해서 직관적 논리를 이용하였다. 여기에서는 [7]의 지관적 논리 문법의 한계에 대해서 논하였다. 또 [5]에서는 일차 선형 논리를 이용하였는데, 이는 공간연결 파서로 자연어 문장을 논리식으로 번역하는데 사용될 수 없다. 따라서 본 연구에서는 고차 선형 논리 문법을 이용하여 자연어 파서를 구성하였다.
-
-
박승순(Seung-Soon Park),배민오(Mino Bai),김영인(Young-Ihn Kim) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.1A
본 논문에서는 Mobile IPv6에 사이클이 있음을 Alloy로 명세(specification)하고 Alloy 분석기로 검증(verification)한 것을 해석해 보겠다. Acyclicity를 만족하지 못함으로 해서 모바일호스트는 이동을 하지 못하고 계속 사이클을 돌게 된다. Alloy는 Rational의 UML과 같은 객체모델링 언어인데, 일차논리와 집합에 기반을 둔 Z에서부터 파생되었다. Alloy는 작은 모델들을 위한 명세 언어로, Alloy 모델은 그래픽과 텍스트를 모두 지원한다. Alloy로 명세 된 것을 쉽게 분석 할 수 있는 검증도구로 Alloy 분석기가 있는데, 이러한 도구를 이용함으로써 손쉽고 빠르게 검증을 할 수 있다.
-
유희준(Hee-Jun Yoo),배민오(Mino Bai),최진영(Jin-Young Choi) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅰ
지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 모순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 확장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방법이 고려되지 않았다. 최근데 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분자가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고, 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 청의하였다.
-
-
신용녀(Yong-Nyuo Shin),최진영(Jin-Young Choi),차리서(Reeseo Cha),배민오(Mino Bai) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1A
DRM(Digital Rights Management)은 다양한 채널을 통해 유통되는 디지털 콘텐츠를 불법 사용으로부터 보호하고, 콘텐츠 소유자가 정한 사용 규칙이 지속적(persistent)으로 관리 되도록 하는 기술이다. DRA 서비스의 각 기능을 컴포넌트화 시켜서 재사용성을 강화시키고, 기존 DRM 시스템의 서비스의 문제점을 해결하기 위해서 선(Sun)의 엔터프라이즈자바빈(Enterprise JavaBeans, EJB) 어플리케이션 프레임 워크 상에서 DRM을 구현하였다. DRM 시스템의 가동에 있어서 비즈니스 룰의 충돌은 DRM시스템 작동 여부를 결정할 만큼 중요한 문제이다. 룰 자체가 자연어로 기술되고 언젠가는 모순을 유발할 가능성이 높기 때문에 먼저 명확한 논리식으로 표현하고 LEGO라는 정형 기법 도구를 통해 검증하도록 한다.
-
배민오,김영인 동덕여자대학교 2003 정보과학연구 Vol.7 No.-
디지털 컨텐츠의 출판과 배포는 인터넷을 성숙시킬 수 있는 필수 요소로 주목 받고 있다. IDC(International Data Corporation)는 2004년에는 음악, 소프트웨어, 게임, 출판 등 다양한 컨텐츠에 대한 시장형성이 2천 7백 5십억 달러에 이를 것으로 전망했다. 이러한 시장 수요 현실을 가능케 하는 저작권 관리 선두 기술로 DRM(Digital Right Management)을 꼽을 수 있다. 본 논문에서는DRM 시스템이 제공할 수 있는 서비스들을 선(Sun)의 엔터프라이즈자바빈(Enterprise JavaBeans, EJB) 어플리케이션 프레임 워크 상에서 구현하였다 디지털 컨텐츠는 신뢰할 수 있는 시스템간에 매매될 수 있고 그에 대한 권리와 사용 규칙들이 그 내용에 첨가된다. EJB 자체가 확장성 있고 안전한 시스템이기 때문에 DRM을 구현하는데 도입하여 처리하고 있다. DRM 시스템을 EJB 상에서 구현하게 되면 EJB가 가지는 이러한 특성을 보장하면서 DRM 서비스를 제공할 수 있다. EJB 아키텍처 상에서 DRM을 구현하여 새로운 유형의 컨텐츠에 대한 재사용성을 고려할 수 있게 컴포넌트화 시키는 방안을 제시한다. Publication and distribution of digital content are known to be necessary and required technology for internet development. IDC(International Data Corporation) forecasted that in 2004, such various contents as music, software, games, as publication would contribute 275 billion dollars to content market. One of enabling right management technology can be DRM(Digital Right Management). In this work, we implemented services which DRM system must provide using Sun`s EJB(Enterprise Java Beans)application framework. Digital content should be purchased between trusted system. And right and use rules for the content shall be added to the content. Since EJB itself is extendable and safe, we use it for implementing DRM. By implementing DRM on EJB framework, we can easily provide DRM with the characteristics which EJB has. By implementing DRM on EJB architecture, we also proposed new componentization techniques which enables reusability for new types of content.
-
김낙훈,배민오 동덕여자대학교 2002 정보과학연구 Vol.6 No.-
교육용 프로그램에서 자연어 처리 기능은 반드시 필요한 기능이며 교육용 프로그램을 구성하는 4개의 모듈 중 하나인 커뮤니케이션 모듈은 학생으로부터의 질문을 이해하는 입력 해석기와 교육하고자 하는 내용을 문장으로 표현하는 문장 생성기로 구성된다. 본 논문에서는 LFG grammar formalism을 기반으로 구문 분석하는 파서와 분석 결과를 의미 형태로 변환하는 의미변환기의 구현방법에 대하여 기술한다. Natural language processing is indispensable to any intelligent tutoring system. The communication module, one of the four components of a intelligent tutoring system, consists of two major components, a input understander that is responsible for translating the input from the student into the semantic form and a output generator that translates the educational contents in the form of semantic form into the sentences. This papers describes a DCG parser based on the LFG(Lexical Functional Grammar) formalism and a translator that produces simple semantic forms.
-
김영인,배민오 동덕여자대학교 2003 정보과학연구 Vol.7 No.-
원격교육의 필요성이 증대하고 있다. 그러나 아직 이러한 교육 형태에 대하여 internet를 통한 교육매체의 바뀜에 대한 것으로 인식하고만 있는 현실이다. 모든 학습자에게 원격 교육에 적합한 것은 아니다. 원격교육이 가지는 구조가 학습자 스스로 학습을 진행하여야 하는 것이다. 교수자는 학습자에게 학습자료를 제공하는 차원에 머물고 만다. 이런 형태로는 교육효율을 높이는 것이 어렵다. 반면 교수자가 상호작용에 의한 학습진행에 많은 시간과 부담이 따른다. 비록 교육효율은 높이는 방법이라고 하더라도 교육원가에 대한 것을 고려하면 좋은 방법이라고 할 수 없을 것이다. 가능한 교수자와 학습자가 자유로이 시스템상에서 학습진행이 효율적으로 진행하도록 시스템 구축을 하는 것을 제안한다. 이를 구현하기 위하여 contents database를 기본으로 feedback 시스템과 knowledge based 시스템을 결합하여 학습시스템을 제안한다. Recently, many colleges and university try to open on-line class for several reasons. so, on-line learning mode is widely spread all kind of off-line class substitute and supporting. but they do not have definition on-line learning model. in this paper, we introduce one kind of methods for on-line learning model which are structured by database system. The contents are based on database system as a on-line learning model has been studied in the field for educational technology and some company like us west are taken by this methods for officer education. The main concept contents with database system is increased effective teaming ability for self-studies with on-line education. so, this study are designed a new contents-structure with database on every functions. The teachers spend too much the load and times. so, it is not good one for on-line system. This studies are presented the on-line system for effectively model with strong interaction between teacher and students. this model is built by contents database system, feedback system and knowledge based management system.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
