%0 Journal Article %T agent形式化研究的逻辑工具 %A 胡山立 石纯一? %J 计算机科学 %D 1999 %K 人工智能形式化逻辑工具意识属性 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3844265&flag=1