인공적 도덕 행위자(AMA) 윤리적 프로그래밍을 위한 논리 연구 Ⅰ

• 저자[authors] 최현철,변순용,김형주,정진규
  
• 학술지명[periodical name] 윤리교육연구
  
• 권호사항[Volume/Issue] Vol.46No.-[2017]
  
• 발행처[publisher] 한국윤리교육학회
  
• 자료유형[Document Type] 학술저널
  
• 수록면[Pagination] 65-91
  
• 언어[language] Korean
  
• 발행년[Publication Year] 2017
  
• 주제어[descriptor] 귀추법, 인공적 도덕행위자, 인공지능, 퍼스, 정언명령, 덕윤리, Abduction, Artificial Moral Agent, artificial intelligence, C. S. Peirce, Categorical Imperative, Virtue Ethics
  

초록[abstracts] 

[이 논문은 최근 4차 산업혁명을 맞이하여 많은 주목을 받고 있는 인공지능, 그 중 ‘인공적 도덕 행위자’에게 윤리적 행위 지침을 제공하는 프로그램에 방향성을 제시하는 것을 목적으로 한다. 이를 위해 우리는 우선 윤리와 논리의 연관성에 대해 규명한다. 그리고 이를 토대로 칸트(I. Kant)의 윤리학에 근거한 의무론을 연역 논리적 측면에서 체계화하고 아리스토텔레스(Aristotle)의 덕 윤리를 중심으로 귀납 논리적 논변의 핵심을 체계화하여 제시함으로서, AMA와 인공지능 윤리의 하향식 방법론과 상향식 방법론의 논리적 적용가능성을 모색하는 것에 목적을 둔다. 나아가 본 연구는 이 목적을 수행하기 위한 방법으로 퍼스(C. S. Peirce)의 논증 구조 구분법을 사용할 것이다. 그 후 앞의 두 이론을 통합할 수 있는 방안으로 귀추논리를 예비적으로 제시하고자 한다. 이 과정은 AMA 로봇의 윤리행위의 설계나 프로그래밍의 기본적 논리를 마련하려는 토대가 될 것이다. 또한 본 연구는 기존의 AMA 로봇 소프트웨어에 대한 세 가지 일반적 접근법 - ⑴ 논리 기반 접근법(Logic-based approaches)과 ⑵ 사례 기반 접근법(Case-based approaches), ⑶ 다중 행위자 접근법(Multiagent approaches) 모두를 포섭하는 논리적 근거가 될 것이다., In the era of 4th industrial revolution, we are paying attention to developing artificial intelligence, and also we expect that artificial intelligence can act as a moral agent. We identify what we can do moral conduct the Artificial Moral Agent(AMA). Thus, purpose of this thesis is to present the correct direction of the program in providing guidelines for ethical conduct for AMA. First, we identify the connection between ethics and logic. Second, the deontology that is based on Kant’s ethics is further systematized with the identified connection with the deductive logical argument. Virtue ethics that is centered on that of Aristotle’s is systematized in inductive logical argument. Both can help to find the logical application of the top- down and bottom-up methodology of AMA. Furthermore, this study will use C. S. Peirce's theory to accomplish this purpose. Then C. S. Peirce's theory that is called abduction integrate the two previous arguments which are deductive and inductive logical argument. This process will serve as the foundation for the basic logic of designing and programming the ​​behavior of AMA robot. In addition, this paper suggests a logical basis for all three general approaches to the established AMA robot software: (1) Logic-based approach, (2) Case-based approach, and (3) Multi-agent approach.  ]

목차[Table of content] 국문초록   I. 인공지능, 그리고 윤리와 논리   II. 연역, 귀납 그리고 귀추 논리   III. 칸트 정언명법의 연역적 정식화   IV. 아리스토텔레스 덕 윤리의 귀납논리 정식화   V. 예비적 결론 : AMA 로봇 설계의 논리로 귀추   참고문헌   Abstract