计算机科学 ›› 1999, Vol. 26 ›› Issue (12): 1-5.

• 软件工程与数据库技术 •    下一篇

Agent形式化研究的逻辑工具

胡山立 石纯一   

  1. 福州大学计算机系 清华大学计算机系
  • 出版日期:2018-11-17 发布日期:2018-11-17

  • Online:2018-11-17 Published:2018-11-17

关键词: 人工智能 形式化 逻辑工具 意识属性

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!