• 제목/요약/키워드: Semantic logic

검색결과 90건 처리시간 0.023초

번역: 대응과 평가 (Translation:Mapping and Evaluation)

  • 장석진
    • 한국언어정보학회지:언어와정보
    • /
    • 제2권1호
    • /
    • pp.1-41
    • /
    • 1998
  • Evaluation of multilingual translation fundamentally involves measurement of meaning equivalences between the formally mapped discourses/texts of SL(source language) and TL(target language) both represented by a metalanguage called IL(interlingua). Unlike a usaal uni-directional MT(machine translation) model(e.g.:SL $\rightarrow$ analysis $\rightarrow$ transfer $\rightarrow$ generation $\rightarrow$ TL), a bi-directional(by 'negotiation') model(i.e.: SL $\rightarrow$ IL/S $\leftrightarrow$ IL $\leftrightarrow$ IL/T \leftarrow TL) is proposed here for the purpose of evaluating multilingual, not merely bilingual, translation. The IL, as conceived of in this study, is an English-based predicate logic represented in the framework of MRS(minimal recursion semantics), an MT-oriented off-shoot of HPSG(Head-driven Phrase Structure Grammar). In addition, a list of semantic and pragmatic checkpoints are set up, some being optional depending on the kind and use of the translation, so sa to have the evaluation of translation fine-grained by computing matching or mismatching of such checkpoints.

  • PDF

퍼지 온톨로지를 이용한 선호도 기반 공급사슬 파트너 선정 (Preference-based Supply Chain Partner Selection Using Fuzzy Ontology)

  • 이해경;고창성;김태운
    • 지능정보연구
    • /
    • 제17권1호
    • /
    • pp.37-52
    • /
    • 2011
  • 공급사슬관리(SCM)는 공급사슬의 가치를 높이고 변화하는 환경에 더 민첩하게 적응할 수 있는 전략적인 접근방식이다. 공급사슬 파트너 간에 중단 없는 파트너쉽과 가치 창출을 위해서는 정보와 지식의 공유 및 적절한 파트너 선정기준이 적용되어야 한다. 따라서 파트너 선정 기준은 제품의 품질과 신뢰도를 유지하기 위해서 아주 중요하다. 제품의 각 부품은 적절한 공급 파트너를 통해서 공급된다. 파트너를 선정하는 기준은 기술적 능력, 품질, 가격, 지속성 등 여러 요인이 있다. 실제로 파트너 선정기준은 구성부품의 특성에 따라서 변화할 수 있다. 그 부품이 핵심 구성품이면 품질이 가격에 비해서 최고 우선순위가 된다. 표준부품은 낮은 가격이 우선순위를 가진다. 간혹 긴급 주문과 같은 예기치 못한 상황이 발생하면 우선순위가 변하게 된다. 따라서 SCM 파트너 선정 기준은 구성부품의 특성과 상황에 따라서 동적으로 결정 되어진다. 이 연구의 목적은 상황과 부품의 특성에 따라서 공급사슬 파트너쉽을 위한 온톨로지 모델을 제시하고자 하는 것이다. 변수의 불확실성은 퍼지이론을 이용하여 나타내고자 하였다. 부품별 우선순위와 상황변수는 웹 온톨로지 언어(OWL : Web Ontology Language)를 이용하여 모델링 하였다. 부품의 우선순위는 퍼지로직을 이용한 퍼지소속함수로 변환 되어진다. 온톨로지의 추론을 위해서 SWRL(Semantic Web Rule Language)을 이용하였다. 제안된 모델의 구현을 위해서 자동차 구성품인 스타트모터 부품을 대상으로 온톨로지를 구축하고 구성 부품별 우선순위에 따른 공급 파트너를 선정하는 과정을 제시하였다.

온톨로지 Open World 추론과 규칙 Closed World 추론의 통합 (Integration of Ontology Open-World and Rule Closed-World Reasoning)

  • 최정화;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권4호
    • /
    • pp.282-296
    • /
    • 2010
  • OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

SWAT: 분산 인-메모리 시스템 기반 SWRL과 ATMS의 효율적 결합 연구 (SWAT: A Study on the Efficient Integration of SWRL and ATMS based on a Distributed In-Memory System)

  • 전명중;이완곤;바트셀렘;박현규;박영택
    • 정보과학회 논문지
    • /
    • 제45권2호
    • /
    • pp.113-125
    • /
    • 2018
  • 최근 빅데이터의 시대가 도래하여 다양한 분야로부터 다량의 지식을 얻을 수 있다. 수집된 지식은 정형화된 형태의 지식으로 가공하여 표현되며, 그 중 W3C의 온톨로지 표준 언어인 OWL이 대표적인 정형화 표현 형식이다. 이렇게 표현된 대용량의 온톨로지로부터 내재된 정보를 도출하기 위해 다양한 방법의 심볼릭 추론(Symbolic Reasoning) 연구가 활발하게 진행되고 있다. 그러나 대부분의 추론 연구들은 서술논리(Description Logic)표현 기반의 제한적인 규칙표현을 지원하며 실생활 기반의 서비스를 구축하기에는 많은 제약이 따른다. 또한 잘못된 지식으로부터 도출된 결과는 규칙들 사이의 종속관계에 따라 연쇄적으로 잘못된 지식이 생산될 수 있기 때문에 이러한 잘못된 지식에 대한 처리를 위한 지식관리가 필요하다. 따라서 본 논문에서는 해당 문제를 해결하기 위해 SWRL(Semantic Web Rule Language) 기반의 추론과 ATMS(Assumption-based Truth Maintenance System)간의 결합을 통해 새롭게 도출된 지식에 대한 관리를 할 수 있는 SWAT(SWRL + ATMS) 시스템을 제안한다. 또한 이 시스템은 대용량 데이터를 처리하기 위해 분산 인-메모리 프레임워크 기반의 SWRL추론과 ATMS를 병합 구축하였으며 이를 바탕으로 웹 형태의 ATMS 모니터링 시스템을 통하여 사용자가 손쉽게 잘못된 지식을 검색 및 수정할 수 있도록 한다. 본 논문에서 제안하는 방법에 대한 평가를 위해 LUBM(Lehigh University Benchmark)데이터 셋을 사용하였으며, 대용량 데이터에 대한 SWRL 추론과 잘못 추론된 정보에 대한 삭제를 통해 효율적인 추론과 관리가 가능한 결합 방법임을 증명한다.

지칭의 대용어 이론과 이에 대한 비판들 (The Anaphoric Theory of Reference and Objections Against It)

  • 이병덕
    • 논리연구
    • /
    • 제18권2호
    • /
    • pp.217-241
    • /
    • 2015
  • 브랜덤은 지칭의 대용어 이론을 주장한다. 이 이론에 따르면 지칭은 언어적인 것들 사이의 대용어적 의존관계이지 결코 언어적인 것과 비언어적인 것 사이의 실질적 관계가 아니다. 또한 '지칭한다'는 '''라이프니츠"라고 지칭된 사람'과 같은 대용어적 간접 기술어구를 형성하기 위해 사용되는 대명사형성 조작어이다. 그런데 최근 보베는 이 이론에 대해 세 가지 비판들을 제기한다. 첫째, 대용어 이론은 일상적 기술어구와 대용어적 간접 기술어구를 반복 가능성 조건으로 구분한다. 그러나 이 조건은 대용어적 간접 기술어구들이 고유한 의미론적 범주를 형성한다고 주장할 수 있는 적절한 근거가 아니다. 둘째, '그'와 같은 대명사를 포함한 문장과 '''라이프니츠"라고 지칭된 사람'과 같은 대용어적 간접 기술어구를 포함한 문장은 양상적 위상에서 차이가 있다. 따라서 대용어적 간접 기술구들은 의미론적으로 전형적인 대용어들과 다르다. 셋째, 대용어 이론에 따르면 'a' 형태의 표현들과 이에 대응하는 '''a"에 의해 지칭되는 것'은 서로 대체될 수 있다. 그런데 대용어, 선행어 등과 같은 개념들 대신 동등함, 대체가능성 등과 같이 보다 일반적인 의미론적 개념들을 사용함으로써 동등한 주장을 할 수 있기 때문에 대용어 이론은 설명적으로 공허하다. 이 논문에서 필자는 보베의 비판들이 지칭의 대용어 이론에 큰 문젯거리가 아님을 주장한다. 이를 통해 지칭의 대용어 이론이 '지칭한다'에 관해 옳은 통찰을 주는 유망한 이론이라고 주장한다.

  • PDF

개념구조론에 의한 영어 관계절의 기술 (A Description of English Relative Clauses With conceptual Structure Theory)

  • 조길호
    • 인지과학
    • /
    • 제4권2호
    • /
    • pp.29-51
    • /
    • 1994
  • 본 논문의 목적은 영어 관계절의 의미를 분석하여 컴퓨터의 자연언어 처리 및 기계번역에 사용될 수 있는 중간언어(interlanguage)형식으로 의미표시(semantic representation)하려는 것이다.이를 위하여 최근에 미국의 John.F.Sowa를 중심으로 개발되고 있는 개념구조론(Conceptual Structure Theory)에서의 개념도식(conceptual graph)을 이용하였다.우선 개념구조론을 고찰한 후, 영어 관계절을 제한적 의미와 비제한적 의미에 따라 다르게 기술하였는데,제한적 관계절은-표현을 이용하고,비제한 관계절은 동격의 의미와 부사적 의미,그리고 논평적 의미에 따라 다르게 기술하였다.

국가과학기술 R&D 기반정보 온톨로지 (Semantic Web Ontology for Research Community)

  • 강인수;정한민;이승우;김평;성원경
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2006년도 춘계 종합학술대회 논문집
    • /
    • pp.231-234
    • /
    • 2006
  • 시맨틱웹 분야의 온톨로지는, 분산 이종 스키마를 갖는 정보에 대한 의미적 통합, 에이전트에 의한 자동화된 유통, 그리고 명시적으로 표현되지 않은 암묵적 지식의 추론을 가능케 하는, 논리에 기반하여 잘 정의된 도메인 의존적인 콘텐츠로 볼 수 있다. 이 논문에서는 과학기술 연구분야 도메인에서 정의된 하나의 시맨틱웹 온톨로지인 '국가과학기술 R&D 기반정보' 온톨로지를 소개한다. 이 온톨로지는, 논문, 과제, 특허 등과 같은 연구성과물을 바탕으로 특정 분야 전문가들이나 연구자 네트워크를 추론해 냄으로써 실제 연구자나 연구과제 기획/평가자들에게 도움을 주기 위한 목적으로, 현재 한국과학기술정보연구원에서 개발되고 있다. 이 논문에서는 온톨로지의 스키마 구성 요소로써 클래스와 속성을 기술하고, 온톨로지에서의 인스턴스 표현의 예를 보인다. 상기 온톨로지는 인력, 기관 등과 같은 실세계 인스턴스의 고유한 신원을 온톨로지 내에 대응시키기 위해, 실세계 신원의 중의성 해소 기법과 함께 개별 클래스에 종속적인 URI할당지침을 사용하여 온톨로지 내에 인스턴스를 표현하고 있다.

  • PDF

Jess를 이용한 OWL과 SWRL의 통합추론에 관한 연구 (Integration of OWL and SWRL Inference using Jess)

  • 이기철;이지형
    • 한국지능시스템학회논문지
    • /
    • 제15권7호
    • /
    • pp.875-880
    • /
    • 2005
  • W3C에서는 온톨로지의 표준언어로 OWL(Web Ontology Language)을 발표하였고 이를 활용한 온톨로지가 다양한 곳에 적용되어 구축되고 있다. 하지만, DL(Description Logic)기반인 OWL언어가 표현할 수 있는 규칙의 한계로 인하여 이를 화장하기 위한 연구가 활발히 진행되고 있다. 이러한 연구를 통하여 W3C에서는 OWL과 RuleML(Rule Markup Language)을 통합하여 규칙(Rule)에 대한 표현력이 더욱 향상된 SWRL(Semantic Web Rule Language) 언어를 제안하였다. 따라서 최근에는 온톨로지 구축을 위해 OWL과 SWRL언어가 함께 사용되기 시작하였다. 그러나 이렇게 통합적으로 구성된 온톨로지의 추론을 위한 방법에 대한 연구는 시작단계에 있다. 현재의 일반적인 방법은 OWL로 기술된 부분은 Racer등을 이용한 DL추론을 수행하고 SWRL로 기술된 부분은 Jess등을 이용한 Rule-base 추론이 병렬적으로 사용되고 있다. 이에 따라 본 논문에서는 OWL과 SWRL로 기술된 온톨로지를 추론하기 위한 엔진으로 Racer와 Jess의 병행이 아닌, Jess를 이용한 통합추론엔진의 개발에 관하여 기술한다. 이러한 시스템을 구축하기 위해 OWL을 Jess언어를 이용하여 추론할 수 있도록 개발된 OWL Jess KB와 SWRL 언어를 Jess 언어로 변환하는 SWRL Factory를 이용하는 세 가지 통합 추론 플랫폼을 제안한다.

말소리 산출에서 단어빈도효과의 위치 (The Locus of the Word Frequency Effect in Speech Production)

  • 구민모;남기춘
    • 대한음성학회:학술대회논문집
    • /
    • 대한음성학회 2006년도 추계학술대회 발표논문집
    • /
    • pp.99-108
    • /
    • 2006
  • Three experiments were conducted to determine the exact locus of the frequency effect in speech production. In Experiment 1. a picture naming task was used to replicate whether the word frequency effect is due to the processes involved in lexical access or not. The robust word frequency effect of 31ms was obtained. The question to be addressed in Experiment 2 is whether the word frequency effect is originated from the level where a lemma is selected. To the end, using a picture-word interference task, the significance of interactions between the effects of target frequency, distractor frequency and semantic relatedness were tested. Interaction between the distractor frequency and semantic relatedness variables was significant. And interaction between the target and distractor frequency variables showed a significant tendency. In addition, the results of Experiment 2 suggest that the mechanism underlying the word frequency effect is encoded as different resting activation level of lemmas. Experiment 3 explored whether the word frequency effect is attributed to the lexeme level where phonological information of words is represented or not. A methodological logic applied to Experiment 3 was the same as to Experiment 2. Any interaction was not significant. In conclusion, the present study obtained the evidence supporting two assumptions: (a) the locus of the word frequency effect exists in the processes involved in lemma selection, (b) the mechanism for the word frequency effect is encoded as different resting activation level of lemmas. In order to explain the word frequency effect obtained in this study, the core assumptions of current production models need to be modified.

  • PDF

온톨로지 기반의 사용자 중심 융합 컨텐츠 디자인 정보 검색에 관한 연구 (A Study on the Ontology-Based Regional User-centric convergence content design information retrieval)

  • 박주옥;염미령;정두용
    • 한국융합학회논문지
    • /
    • 제7권2호
    • /
    • pp.19-24
    • /
    • 2016
  • 인터넷이라는 거대한 정보의 공간에서 스마트 모바일 웹을 통해 사용자들은 다양한 지식분야에 대한 정보를 얻을 뿐만 아니라 개인 블로그나, SNS를 비롯한 다양한 매체를 통해 접근하고 검색을 수시로 하고 있다. 이에 따라 최근에 들어서는 방대한 웹의 자료를 시맨틱 웹이라는 기술을 통해 효과적으로 관리 및 연구하고 있다. 허나, 아직도 여러 분야로 다양하게 분포되어 있는 정보들을 통합하고, 사용자 중심 지식 정보 검색은 예전에 비해 많이 향상은 되었지만, 지식 정보 검색에 대한 연구는 상대적으로 부족하다. 이에, 본 논문에서는 시맨틱 웹을 이용하여 방대하고 지식이 넘쳐나는 정보의 공간에서 분산된 정보 및 지식들을 사용자 중심에 맞게 신뢰성을 높일 수 있는 적합한 형태의 정보 검색을 연구하고자 한다.