纤维逻辑

形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列.但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智.有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画.但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方.本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体BDI建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望.