亚里士多德实践性推理的现代阐释

按照罗斯等人的观点,亚里士多德在分析实践智慧的形式时运用了"实践三段论"。为了把握实践行动中的逻各斯,亚里士多德提出目标和手段相宜性的"搜索"算法,在现代逻辑中可以用问题求解程序实现。以BDI模型为代表的智能体行动逻辑分析继承了亚氏关于欲望、理性和行动间关系的思想,是亚氏实践性推理的一种现代阐释。但BDI对信念、目标、意图的形式化中存在副作用和冗余等问题,其根源在于对意向性行动的理解不够全面。无论是人类还是人工智能体的行动,情境性、交互性和整体性是其推理的主要特征。