the Department of Reasoning for Intelligence, The Institute of Science and Industrial Research, Osaka University