http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이진형,임영환,오길록,Lee, Jin-Hyeong,Im, Yeong-Hwan,O, Gil-Rok 한국전자통신연구원 1987 전자통신 Vol.9 No.1
The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.
이진형,박승규,Lee, Jin-Hyeong,Park, Seng-Kyu 한국전자통신연구원 1988 전자통신동향분석 Vol.3 No.1
인공지능 프로그램을 효과적으로 수행시키기 위해서는 특별한 하드웨어 또는 진보된 소프트웨어 기술이 구현된 시스팀이 필요하게 된다. 1980년대 초에 Symbolics의 lisp machine이 처음 출현한 이래 dedicated architecture를 갖는 lisp machine이 지배하던 인공지능 머신은 최근 general purpose workstation에 인공지능 언어 및 환경을 갖춘 인공지능 워크스테이션이 대두됨에 따라 그 개발 경향이 옮겨가고 있다. 본고에서는 이와 같은 최근의 인공지능 워크스테이션의 개발동향 분석 및 그에 따른 인공지능 워크스테이션의 정의를 하였으며, 마지막으로 우리나라에서 이러한 인공지능 워크스테이션을 개발하기 위한 연구뱡향에 대해 기술하였다.