雷欧·范德托 雷欧范德托荷蘭語Leon van der Torre 年月日荷兰逻辑学家卢森堡大学计算机科学教授主要研究领域为道义逻辑多智能体系统人工智能中的逻辑学截止年已发表学术论文近篇