Applications of Logic-based AI to Juris-informatics

Abstract

I learned law in the law school of the University of Tokyo for three years from 2006 in order to seek the real application of logical foundations of Artificial Intelligence. This paper reports some achievements by amalmagating legal knowledge obtained from the law school and logic/logic programming which I have been studying for twenty years and proposes promising research theme in legal reasoning and AI field.