计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2006年
1期
1-3
,共3页
形式逻辑%BDI逻辑%多模态逻辑%纤维逻辑
形式邏輯%BDI邏輯%多模態邏輯%纖維邏輯
형식라집%BDI라집%다모태라집%섬유라집
形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列.但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智.有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画.但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方.本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体BDI建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望.
形式邏輯已經從簡單命題邏輯髮展到比較複雜的模態邏輯繫列.但是在主體環境下,已有邏輯的複雜性仍然不能有效刻畫主體複雜的心智.有一些人工智能研究者根據主體心智的多重性,在模態邏輯中引入多種模態算子,併藉此對主體加以刻畫.但是原來的可能世界語義卻難以容納如此複雜的語法,齣現瞭很多不閤理的地方.本文首先介紹瞭新近齣現的纖維邏輯(fibring logics),然後歸納瞭目前將此理論應用在主體BDI建模的研究現狀,最後分析纖維邏輯的不足之處,討論瞭其他可能的應用,併對今後的工作做瞭展望.
형식라집이경종간단명제라집발전도비교복잡적모태라집계렬.단시재주체배경하,이유라집적복잡성잉연불능유효각화주체복잡적심지.유일사인공지능연구자근거주체심지적다중성,재모태라집중인입다충모태산자,병차차대주체가이각화.단시원래적가능세계어의각난이용납여차복잡적어법,출현료흔다불합리적지방.본문수선개소료신근출현적섬유라집(fibring logics),연후귀납료목전장차이론응용재주체BDI건모적연구현상,최후분석섬유라집적불족지처,토론료기타가능적응용,병대금후적공작주료전망.
