로널드 루이

로널드 루이(Ronald Prescott Loui)는 컴퓨터 과학과 인공지능 분야에서 패배가능(비단조) 추론과 인공지능과 법 연구로 알려진 미국의 연구자이다. 그는 Case Western Reserve University(CWRU) 컴퓨터·데이터사이언스 학과의 겸임 교수(Adjunct Professor)로 재직하며, 앞서 워싱턴 대학교 세인트루이스와 일리노이 대학교 스프링필드에서 가르쳤다. 하와이에서 성장하여 버락 오바마와 같은 학교에서 수학하였고, 하버드와 로체스터에서 학업을 마친 뒤 비단조 논리 연구와 스크립팅 언어의 실용성에 관한 저술로 주목을 받았다.

 학력과 배경 
루이는 하버드 대학교에서 응용수학을 전공하고 1982년에 학사 학위를 받았다. 이후 로체스터 대학교에서 1985년 석사, 1987년 박사(지도교수 Henry E. Kyburg Jr.) 학위를 취득하였다. 박사과정과 전후로 비확률적·확률적 추론의 경계, 수용(acceptance) 이론, 그리고 불확실성 하의 의사결정을 다루었다.

 경력 
 1987–1988: 스탠퍼드 대학교 인지과학 프로그램 박사후 연구원 (CS/CSLI/SRI 연계)
 1988–2008: Washington University in St. Louis 공과대학 컴퓨터과학부 교수(1994년 정년보장)
 2012–2015: University of Illinois Springfield 컴퓨터과학과 조교수
 2019–현재: Case Western Reserve University 컴퓨터·데이터사이언스학과 겸임 교수

 연구 주제와 방법 
루이의 핵심 관심사는 패배가능(비단조) 추론과 논증 기반 추론으로, 고정된 공리 체계 밖에서 정보가 추가되면 결론이 철회될 수 있는 상황을 형식화하는 방법을 탐구하였다. 또한 기예르모 R. 시마리와 함께 패배가능 추론의 수학적 토대를 제시하며 구현 문제를 결합하였다. 논증모형 전반을 묶은 2000년의 대형 조사 논문은 이후 분야의 표준 참고문헌이 되었다.

 인공지능과 법 
사례기반 법추론과 판례의 구속/설득 구조를 형식화하는 작업에서 루이의 연구와 그 영향은 이후 모델들에서 반복적으로 참조되었다. 해당 전통은 법 영역에 특화된 비단조적 모델을 발전시키며, 요소(factor)·차원(dimension)·우선순위(priority) 개념을 중심으로 판례 추론을 구성한다.

 스크립팅 언어 관점 
루이는 2008년 〈In Praise of Scripting〉에서 스크립팅 언어가 실무 개발과 연구에서 차지하는 생산성·표현력의 장점을 체계화하였다. 이 글은 파이프라이닝된 도구조합, 빠른 프로토타이핑, 도메인 지식 인코딩이라는 관행을 기술 매개로 설명하였다.

 특허와 산업 협력 
워싱턴 대학(세인트루이스) 연구진과 함께 고속 DPI(Deep Packet Inspection)용 재프로그래머블 하드웨어 특허(미국 특허 7,093,023)를 공동 보유한다. 해당 기술은 네트워크 스트리밍 데이터의 패턴 탐지·대응을 위해 FPGA를 활용하는 방식으로, 보안·콘텐츠 필터링 응용에 채택되었다.

 주요 논문 
 로널드 프레스콧 루이, 기예르모 리카르도 시마리, 〈패배가능 추론의 수학적 처리와 구현 (A Mathematical Treatment of Defeasible Reasoning and Its Implementation)〉, Artificial Intelligence 53(2–3), 1992, .
 이 논문은 규칙 간 충돌을 '패배' 관계로 정식화해 논증의 비교와 선택을 가능하게 설명한다. 실제 구현을 염두에 두고 알고리즘적 성질을 정리한다. 적용 예시를 통해 법·상식 추론 문제에 적합함을 보여준다. 복잡도를 과도하게 높이지 않으면서 설명가능성을 유지하는 점을 강조한다. 이후 AI & Law 분야의 판례기반 모델들에 반복적으로 인용된다.
 로널드 프레스콧 루이, 〈논증들 사이의 패배: 패배가능 추론 체계 (Defeat among arguments: a system of defeasible inference)〉, Computational Intelligence 3(1), 1987, .
 제한된 정보에서 나오는 가설적 결론이 새로운 정보로 철회될 수 있음을 체계적으로 다룬다. 논증 간 우열을 문법적(구문론적) 기준으로 정하고 우선순위를 계산한다. 여러 확장 중 가장 설득력 있는 확장을 선택하는 절차를 제시한다. 비단조 논리의 실용적 계산틀을 제공한다. 이후 다양한 비단조 논리 교과서·서베이에 소개된다.
 카를로스 이반 체스네바르, 아나 가브리엘라 마귀트만, 로널드 프레스콧 루이, 〈논증모형의 논리적 틀 (Logical Models of Argument / Logical models of argument)〉, ACM Computing Surveys 32(4), 2000, .
 1980년대 이후 등장한 주요 논증모형을 통합적으로 분류한다. 각 모형의 표현력, 계산성, 응용 맥락을 비교한다. 실제 구현 사례를 제시해 이론과 실무의 연결을 보여준다. 법·의료·정책 등 다영역 적용 가능성을 정리한다. 이후 인용 빈도가 높은 서베이로 자리 잡았다.

 저서 
 〈Knowledge Representation and Defeasible Reasoning〉 (Kluwer, 1990, 공편: Henry E. Kyburg Jr., Greg N. Carlson).
 다양한 지식표현 모형과 패배가능 추론을 묶은 편저로 학제 간 관점을 제시한다. 이론 정립과 응용의 간극을 줄이기 위한 구성으로 편집되었다. 연구자와 대학원생을 위한 참고서 역할을 한다.

 수상과 영예 
 1983년 CACM 26(9) 게재 논문이 'George E. Forsythe' 학생 논문 섹션으로 수록되었다.

 보도 및 평가 
 2013년 워싱턴 포스트는 하와이 문화가 버락 오바마의 정치적 성향 형성에 미친 영향 맥락에서 루이를 '오바마와 같은 학교 출신의 컴퓨터 과학 교수'로 소개하며 그의 견해를 인용하였다.
 2000년 'ACM Computing Surveys'의 대형 서베이는 이후 인공지능과 법 연구에서 표준 문헌으로 참조되었다.
 2008년 'IEEE Computer'에 실린 스크립팅 언어 관련 글은 개발 실무에서의 효율성 논의를 촉발시켰고 기술 블로그 등에서 화제가 되었다.

 같이 보기 
 형식 논리학
 법철학
 데이터 과학

 외부 링크 
 Google Scholar 프로필
 공식 홈페이지

 연표 

 각주 

분류:미국의 컴퓨터 과학자
분류:하버드 대학교 동문
분류:로체스터 대학교 동문
분류:호놀룰루 출신
분류:살아있는 사람