科学导报
科學導報
과학도보
SCIENCE GUIDE
2015年
11期
260-260
,共1页
时态逻辑%计算机科学%发展
時態邏輯%計算機科學%髮展
시태라집%계산궤과학%발전
在命题逻辑的基础上，Arthur Norman Prior在上个世纪50年代创建了模态逻辑的一个分支——时态逻辑。从80年代起，在哲学、计算机科学、人工智能、语言学等诸多交叉学科的推动下，时态逻辑取得了新的发展，形成了一些既具有重大理论意义，又具有实际应用价值的研究成果。比较典型的是在计算机科学中的发展。
在命題邏輯的基礎上，Arthur Norman Prior在上箇世紀50年代創建瞭模態邏輯的一箇分支——時態邏輯。從80年代起，在哲學、計算機科學、人工智能、語言學等諸多交扠學科的推動下，時態邏輯取得瞭新的髮展，形成瞭一些既具有重大理論意義，又具有實際應用價值的研究成果。比較典型的是在計算機科學中的髮展。
재명제라집적기출상，Arthur Norman Prior재상개세기50년대창건료모태라집적일개분지——시태라집。종80년대기，재철학、계산궤과학、인공지능、어언학등제다교차학과적추동하，시태라집취득료신적발전，형성료일사기구유중대이론의의，우구유실제응용개치적연구성과。비교전형적시재계산궤과학중적발전。
