基于知识的状态演算的研究与实现

《基于知识的状态演算的研究与实现》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、江苏大学硕士学位论文基于知识的状态演算的研究与实现姓名：朱会娟申请学位级别：硕士专业：计算机应用技术指导教师：刘一松20100608江苏大学硕士学位论文ＡｂｓｔｒａｃｔＲｅａｓｏｎｉｎｇａｂｏｕｔａｃｔｉｏｎａｎｄｋｎｏｗｌｅｄｇｅｒｅｐｒｅｓｅｎｔａｔｉｏｎａｌｅｉｍｐｏｒｔａｎｔｒｅｓｅａｒｃｈａｒｅａｓｉｎａｒｔｉｆｉｃｉａｌｉｎｔｅｌｌｉｇｅｎｃｅ．ＲｅａｓｏｎｉｎｇａｂｏｕｔＡｃｔｉｏｎｈａｓｂｅｅｎａｐｐｌｉｅｄｉｎｍａｎｙａｒｅａｓ，ｓｕｃｈａＳｃｏｇｎｉｔｉｖｅｒｏｂｏｔｉｃｓ，ｗｅｂｓｅｒｖｉｃｅｓ，ｗｏｒｋｆｌｏｗａｎｄＳ

2、Ｏｏｎ．Ｔｈｅｍａｉｎｔａｓｋｏｆｒｅａｓｏｎｉｎｇａｂｏｕｔａｃｔｉｏｎｉｎｃｌｕｄｅｔｏｐｒｅｄｉｃｔｔｈｅｒｅｓｕｌｔｏｆａｎａｃｔｉｏｎｏｒａｎａｃｔｉｏｎｓｅｑｕｅｎｃｅｇｉｖｅｎｔｈｅｓｙｓｔｅｍ’ｓｉｎｉｔｉａｌｓｔａｔｅａｎｄｒｕｌｅｓｏｆｃｈａｎｇｉｎｇ，ａｎｄｔｏｅｘｐｌａｉｎｗｈａｔａｃｔｉｏｎｔｈｅｓｙｓｔｅｍｈａｓｅｘｐｅｒｉｅｎｃｅｄｇｉｖｅｎｔｈｅｓｙｓｔｅｍ’Ｓｉｎｉｔｉａｌｓｔａｔｅａｎｄｒｅｓｕｌｔａｎｔｓｔａｔｅ．Ｍｏｄａｌｌｏｇｉｃｉｓａｎｉｍｐｏｒｔａｎｔｔｏｏｌｆｏｒｋｎｏｗｌｅｄｇｅｒｅｐｒｅｓｅ

3、ｎｔａｔｉｏｎ．Ｕｓｉｎｇｍｏｄａｌｏｐｅｒａｔｏｒｔｏｒｅｐｒｅｓｅｎｔｋｎｏｗｌｅｄｇｅ．ｉｓｗｅｌｌ－ｅｓｔａｂｌｉｓｈｅｄｉｎｔｈｅｏｒｙ，ｂｕｔｉｔｉｓａｎｉｄｅａｌｍｏｄｅｌｔｈａｔｒｅｑｕｉｒｅｓｕｎｌｉｍｉｔｅｄｃｏｍｐｕｔｉｎｇｒｅｓｏｕｒｃｅｓｉｎｐｒａｃｔｉｃｅ．ＳｔａｔｅＣａｌｃｕｌｕｓｉｓａｆｏｒｍａｌｉｚｅｄｓｙｓｔｅｍｆｏｒｒｅａｓｏｎｉｎｇａｂｏｕｔａｃｔｉｏｎｔｈａｔｉｓｕｓｅｄｔｏｄｅｓｃｒｉｂｅｔｈｅｔｒａｎｓｆｏｒｍａｔｉｏｎｏｆｄｙｎａｍｉｃｓｙｓｔｅｍｓ，ｂｕｔｉｔｃａｌｌｏｎｌｙｒｅｐｒｅｓｅｎｔ

4、ｔｈｅｋｎｏｗｌｅｄｇｅｏｆｄｙｎａｍｉｃｓｙｓｔｅｍｓｔｏｓｏｍｅｅｘｔｅｎｔ．Ｔｈｅｍａｉｎｃｏｎｔｅｎｔｓａｎｄｃｏｎｔｒｉｂｕｔｉｏｎｓｏｆｔｈｉｓｄｉｓｓｅｒｔａｔｉｏｎａｒｅａｓｆｏｌｌｏｗｓ：（１）Ｂａｓｅｄｏｎｐｏｓｓｉｂｌｅｗｏｒｌｄｓｅｍａｎｔｉｃｓｉｎｍｏｄａｌｌｏｇｉｃ，ｗｅｉｎｔｒｏｄｕｃｅｔｈｅｆｌｕｅｎｔｄｉｓｊｕｎｃｔｉｖｅｎｏｒｍａｌｆｏｒｍｔｏｒｅｐｒｅｓｅｎｔｔｈｅｋｎｏｗｌｅｄｇｅ，ｗｈｉｃｈｅｎｈａｎｃｅｄＳｔａｔｅＣａｌｃｕｌｕｓ’Ｓｋｎｏｗｌｅｄｇｅｒｅｐｒｅｓｅｎｔａｔｉｏｎａｂｉｌｉｔｙａｎｄ

5、ａｌｌｅｖｉａｔｅｄｔｈｅｄｉｆｆｉｃｕｌｔｙｉｎｉｍｐｌｅｍｅｎｔｉｎｇｋｎｏｗｌｅｄｇｅｒｅｐｒｅｓｅｎｔａｔｉｏｎｂａｓｅｄｏｎｍｏｄａｌｌｏｇｉｃ．（２）ＢａｓｅｄｏｎｔｈｅＳｔａｔｅＣａｌｃｕｌｕｓｔｈｅｏｒｙ，ｗｅｄｅｓｉｇｎｅｄａｎｅｗｌｏｇｉｃｐｒｏｇｒａｍｍｉｎｇｌａｎｇｕａｇｅ，ＳＴＥＸ．１１１ｅｒｅａｓｏｎｉｎｇｉｎＳＴＥＸｂｙｕｓｉｎｇｔｈｅｕｎｄｅｒｌｙｉｎｇｐｒｉｎｃｉｐｌｅｏｆｐｒｏｇｒｅｓｓｉｏｎｉｓｍｏｒｅｅｆｆｉｃｉｅｎｔｔｈａｎＧｏｌｏｇ，ＣｏｎｇｏｌｏｇａｎｄＩｎｄｉＧｏｌｏｇｂｙｕｓｉｎｇｔｈｅｕｎｄ

6、ｅｒｌｙｉｎｇｐｒｉｎｃｉｐｌｅｏｆｒｅｇｒｅｓｓｉｏｎｂａｓｅｄｏｎｔｈｅＳｉｔｕａｔｉｏｎＣａｌｃｕｌｕｓ．ＳＴＥＸｃａｉｌｐｒｏｖｉｄｅａｎｕｍｂｅｒｏｆｉｍｐｏｒｔａｎｔｋｎｏｗｌｅｄｇｅｒｅｐｒｅｓｅｎｔａｔｉｏｎｓａｎｄｒｅａｓｏｎｉｎｇｔｈａｔｃａｎｎｏｔｂｅａｃｈｉｅｖｅｄｂｙＦＬＵ》（ｂａｓｅｄＯｉｌｔｈｅＦｌｕｅｎｔＣａｌｃｕｌｕｓ，ａｎｄｈｅｎｃｅｃａｒｌｂｅａｐｐｌｉｅｄｔｏａｂｒｏａｄｅｒｓｃｏｐｅｏｆｓｉｔｕａｔｉｏｎｓ．（３）Ｗ－ｅｉｍｐｌｅｍｅｎｔｅｄｔｈｅｐａｔｈｐｌａｎｎｉｎｇｅｘａｍｐｌｅｏｆｒｏｂｏｔｔ

7、ａｋｉｎｇｔｈｅｇｏｌｄｕｓｉｎｇｔｈｅ‘ｏｇｉｃ。‘ａｎｌＳＴＥＸ．Ｔｌ＂ｍｅｎｔａｌｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｅｎｅｗｌｏｇｍｐｒｏｇｒａｍｒｍｎｇｌａｎｇｕａｇｅｔｉｅｅｘｐｅｒｉｍｅｎｔａｌｒｅｓｕｌｔｓｓｌｌｏｗｔｈａｔｔｈｅｌＥＸ．１ＳＴＥＸｅｎａｂｌｅｄａｇｅｎｔＣａｌｌｕｐｄａｔｅｉｔｓｏｗｎｓｔａｔｅｂｙｐｅｒｃｅｉｖｉｎｇｔｈｅｄｙｎａｍｉｃｅｎｖｉｒｏｎｍｅｎｔａｌｉｎｆｏｒｍａｔｉｏｎａｎｄｉｔｓｏｗｎａｃｔｉｏｎ，ａｎｄａｃｈｉｅｖｅｉｔｓｇｏａｌｔｈｒｏｕｇｈａｃｔｉｏｎｒｅａＳｏｎｉｎｇ．Ｋｅｙｗｏｒｄｓ

8、：ＲｅａｓｏｎｉｎｇａｂｏｕｔＡｃｔｉｏｎ，ＫｎｏｗｌｅｄｇｅＲｅｐｒｅｓｅｎｔａｔｉｏｎ，ＳｉｔｕａｔｉｏｎＣａｌｃｕｌｕｓ，ＦｌｕｅｎｔＣａｌｃｕｌｕｓ，Ｓｔａ