形式邏輯已經從簡單命題邏輯發(fā)展到比較復雜的模態(tài)邏輯系列.但是在主體環(huán)境下,已有邏輯的復雜性仍然不能有效刻畫主體復雜的心智.有一些人工智能研究者根據主體心智的多重性,在模態(tài)邏輯中引入多種模態(tài)算子,并借此對主體加以刻畫.但是原來的可能世界語義卻難以容納如此復雜的語法,出現了很多不合理的地方.本文首先介紹了新近出現的纖維邏輯(fibring logics),然后歸納了目前將此理論應用在主體BDI建模的研究現狀,最后分析纖維邏輯的不足之處,討論了其他可能的應用,并對今后的工作做了展望.