• 정보화사회
• /
• s.5
• /
• pp.22-35
• /
• 1988

데이터통신의 이용이 전 산업부문에 걸쳐 보편화되고 있는 추세이다. 데이터통신 서비스는 앞으로 기업뿐만 아니라 일반 공중에로 확산될 전망이다. 이와 같은 서비스 영역의 확산과 양적 팽창에 대비해서 데이터통신의 현재의 위상을 정립함은 물론 문제점을 정확히 도출하고 이를 개선할 방향을 제시하는 일이 필연적이다. 데이터통신 서비스 이용자 실태에 관한 설문조사를 통해 이같은 명제를 재조명해 본다.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.93-125
• /
• 2008

The radical probabilitists deny that propositions represent experience. However, since the impact of experience should be propagated through our belief system and be communicated with other agents, they should find some alternative protocols which can represent the impact of experience. The useful protocol which the radical probabilistists suggest is the Bayes factors. It is because Bayes factors factor out the impact of the prior probabilities and satisfy the requirement of commutativity. My main challenge to the radical probabilitists is that there is another useful protocol, q(E|$N_p$) which also factors out the impact of the prior probabilities and satisfies the requirement of commutativity. Moreover I claim that q(E|$N_p$) has a pragmatic virtue which the Bayes factors have not.

• Korean Journal of Logic
• /
• v.2
• /
• pp.35-61
• /
• 1998

개최들의 개별화를 위한 대표적인 법칙으로 간주되고 있는 라이프니츠의 법칙은 철학에서만 아니라 수학이나 논리학과 같은 순수과학에서도 중요한 법칙으로 사용되고 있다. 그러나 최근에 들어서 라이프니츠의 법칙은 그 논리적 위상과 관련하여 심각한 논란의 대상이 되고 있다. 이러한 논란의 근본적 원인은 칸트나 블랙과 같은 철학자들에 의해 라이프니츠의 법칙이 적용되지 않을 기능성을 보이는 반례가 제시되었고, 많은 철학자들이 이에 동조한 데에서 찾을 수 있다. 라이프니츠의 법칙의 논리적 위상과 관계된 철학자들의 입장은 크게 두 가지로 구분된다. 첫 번째 입장은 블랙 등에 의해 제시된 예들을 라이프니츠의 법칙에 대한 정당한 반례로 간주하는 입장이고, 두 번째 입장은 이러한 예들은 리이프니츠의 법칙에 대한 반례로 간주될 수 없다는 입장이다. 두 번째 입장을 쥐이는 대표적 철학자는 헷킹이다. 헷킹은 시공간에 대한 인습주의에 입각하여 블랙 등에 의해 제시된 예는 완전한 가능성을 나타내는 것이 아니고 라이프니츠의 법칙은 가능세계에 대한 메타 원칙으로 간주되어야 한다고 주장하고 있다. 본고에서 필자는 리이프니츠의 법칙을 옹호하려는 헷킹의 시도는 성공적이지 못하고, 또한 블랙 등에 의해 제시된 예들은 라이프니츠의 법칙에 대안 정당한 반례로 간주되어야 한다는 입장을 개진하고 있다. 필자가 이러한 입장을 취하게 된 것은 헷킹의 입장은 논리적 기능성과 물리적 기능성 사이의 구별을 어렵게 한다는 문제점 이외에도 가능세계 의미론과 관련된 중요한 문제점들을 야기하고 있기 때문이다. 가능세계 의미론과 관련된 문제점은 이러한 시도는 가능세계 의미론에 입각한 양상명제들의 해석의 범위를 제한하게 만들고 De-Re 양상명제에 대한 해석을 위해 필수적인 헤세이티즘의 수용을 불가능하게 한다는 것이다.

• Korean Architects
• /
• no.1 s.309
• /
• pp.59-69
• /
• 1995

우리 사회의 모든 부문에서 변화의 움직임이 일고 있다. 이는 기존의 체제와 대응논리로는 더이상 새로운 시대적 요구를 수용할 수 없다는 위기감에서 비롯된 것이다. 변화에 낙오되지 않으려면 사회 각 부문의 이러한 위기의식은 우리 건축계도 예외는 아니다. 지난번 막을 내린 전국 시ㆍ도건축사회총회와 정기총회에서 새롭게 구성된 새집행부가 하나같이 "변화와 개혁"을 정책 목표로 설정한 사실은 이를 잘 반증해 준다. 이에 본지는 국제화ㆍ개방화 시대에 부응한 "건축사협회의 나아갈 길"이라는 대명제를 해결하기 위한 건축인의 의식개협, 협회의 체질개선을 포함한 협회의 바람직한 운영방향 등을 전반적으로 모색해 협회발전의 기틀을 세우는데 일익을 담당하고자 한다.

• Journal of Korea Multimedia Society
• /
• v.7 no.4
• /
• pp.559-566
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval -valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner. This paper presents fuzzy Petri nets and proposes an interval-valued fuzzy backward reasoning algorithm for rule-based systems based on fuzzy Petri nets Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy propositions appearing in the fuzzy production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The algorithm we proposed generates the backward reasoning path from the goal node to the initial nodes and then evaluates the certainty factor of the goal node. The proposed interval-valued fuzzy backward reasoning algorithm can allow the rule-based systems to perform fuzzy backward reasoning in a more flexible and human-like manner.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.625-631
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy Propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval-valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner(15). This paper presents a fuzzy Petri nets and proposes an interval-valued fuzzy reasoning algorithm for rule-based systems based on fuzzy Petri nets. Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy Propositions appearing in the furry production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The proposed interval-valued fuzzy set reasoning algorithm can allow the rule-based systems to perform fuzzy reasoning in a more flexible manner.

• Journal of The Korean Association For Science Education
• /
• v.6 no.2
• /
• pp.53-62
• /
• 1986

본 연구의 목적은 한국 중 고등학교 학생들의 지적 발달의 특성을 조사 분석함으로써 교과서 및 교육과정의 개발에 필요한 기초자료를 얻으려는 것이다. 지역, 학년, 연령, 성 및 가정의 사회 경제적 지위에 따른 인지 발달 특성을 조사하였다. 연구의 대상은 전국을 대도시, 중 소도시, 농촌으로 유층화한 유층군집 표집방법에 의해 표집한 중학교 1학년부터 고등학교 2학년까지의 남 녀 학생이었다. 표집학생 수는 중학교가 18개교 54학급 3,164명이었고, 고등학교가 18개교 36학급 1,981명이었다. 가정의 사회 경제적 지위는 가정의 경제적 형편, 부의 직업, 부의 학력, 가정의 수입 정도를 고려하여 4계층으로 구분하였다. 사용된 도구는 지적 영역의 조사에 Piaget의 인지발달이론에 따른 논리발달 검사를 이용했다. 분석된 결과를 요약하면 다음과 같다. 첫째, 명제논리, 확률논리, 조합논리, 변인조작개념은 연령과 학년이 높아질수록, 대도시로 갈수록, 사회 경제적 지위가 높을수록 더욱 발달하는 경향이다. 둘째, 개념의 발달경향에 있어서 이원추리와 조합논리개념의 발달이 확률논리와 명제논리 개념의 발달보다 빠른 경향이다. 셋째, 한국의 중등학생 중에서 12세의 64.6%, 13세의 58.1%, 14세의 43.8%, 15세의 30.1%, 16세의 22.6%가 구체적 조작 후기에 도달해 있다. 넷째, 중등학생의 학년별 인지발달경향을 보면 중1의 69.8%, 중2의 51.1%, 중3의 47.4%, 고1의 21.6%, 고2의 21.7%가 구체적 후기의 발달수준이다.

• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.79-84
• /
• 2016

본 연구는 전문기관에서 생산되는 검증된 문서를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도 향상 및 심화 정보를 자동으로 추가하는 시스템을 설계하는 것을 목표로 한다. 이를 위해 활용 가능한 시스템인 인공 신경 정리 증명계(neural theorem prover)가 대규모 말뭉치에 적용되지 않는다는 근본적인 문제를 해결하기 위해 내부 순환 모듈을 단어 임베딩 모듈로 교체하여 재구축 하였다. 학습 시간의 획기적인 감소를 입증하기 위해 국가암정보센터의 암 예방 및 실천에 대한 검증된 문서들에서 추출한 28,844개 명제를 위키피디아 암 관련 문서에서 추출한 7,844개 명제에 주석하는 사례를 통하여 기존의 시스템과 재구축한 시스템을 병렬 비교하였다. 동일한 환경에서 기존 시스템의 학습 시간이 553.8일로 추정된 것에 비해 재구축한 시스템은 93.1분 내로 학습이 완료되었다. 본 연구의 장점은 인공 신경 정리 증명계가 모듈화 가능한 비선형 시스템이기에 다른 선형 논리 및 자연언어 처리 모듈들과 병렬적으로 결합될 수 있음에도 현실 사례에 이를 적용 불가능하게 했던 학습 시간에 대한 문제를 해소했다는 점이다.

• Journal of Internet Computing and Services
• /
• v.5 no.4
• /
• pp.115-124
• /
• 2004

This paper presents a weighted fuzzy backward reasoning algorithm for rule-based systems based on weighted fuzzy Petri nets. The fuzzy production rules in the knowledge base of a rule-based system are modeled by weighted fuzzy Petri nets, where the truth values of the propositions appearing in the fuzzy production rules and the certainty factors of the rules are represented by fuzzy numbers. Furthermore, the weights of the propositions appearing in the rules are also represented by fuzzy numbers. The proposed weighted fuzzy backward reasoning generates the backward reasoning path from the goal node to the initial nodes and then evaluates the certainty factor of the goal node. The algorithm we proposed can allow the rule-based systems to perform weighted fuzzy backward reasoning in more flexible and human-like manner.

• Annual Conference on Human and Language Technology
• /
• 2016.10a
• /
• pp.79-84
• /
• 2016

본 연구는 전문기관에서 생산되는 검증된 문서를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도 향상 및 심화 정보를 자동으로 추가하는 시스템을 설계하는 것을 목표로 한다. 이를 위해 활용 가능한 시스템인 인공 신경 정리 증명계(neural theorem prover)가 대규모 말뭉치에 적용되지 않는다는 근본적인 문제를 해결하기 위해 내부 순환 모듈을 단어 임베딩 모듈로 교체하여 재구축 하였다. 학습 시간의 획기적인 감소를 입증하기 위해 국가암정보센터의 암 예방 및 실천에 대한 검증된 문서들에서 추출한 28,844개 명제를 위키피디아 암 관련 문서에서 추출한 7,844개 명제에 주석하는 사례를 통하여 기존의 시스템과 재구축한 시스템을 병렬 비교하였다. 동일한 환경에서 기존 시스템의 학습 시간이 553.8일로 추정된 것에 비해 재구축한 시스템은 93.1분 내로 학습이 완료되었다. 본 연구의 장점은 인공 신경 정리 증명계가 모듈화 가능한 비선형 시스템이기에 다른 선형 논리 및 자연언어 처리 모듈들과 병렬적으로 결합될 수 있음에도 현실 사례에 이를 적용 불가능하게 했던 학습 시간에 대한 문제를 해소했다는 점이다.