郭美雲北京大學邏輯學博士，副教授，碩士生導師，重慶市學科帶頭人後備人選。主要從事現代邏輯中動態認知邏輯、博弈邏輯、更新邏輯和模態邏輯的套用研究·
基本介紹
- 中文名：郭美雲
- 國籍：中國
- 民族：漢族
- 性別：男
個人簡歷,講授課程,論文目錄,參與課題,主持課題,學術活動,
個人簡歷
1996年9月-2000年7月 西南師範大學生命科學學院讀本科；
2000年9月-2003年7月 西南師範大學經濟政法學院攻讀邏輯學碩士學位；
2003年9月-2006年7月 北京大學哲學系攻讀邏輯學博士學位；
2006年7月-至今 西南大學政治與公共管理學院副教授
講授課程
本科課程：邏輯學；形式邏輯。
研究生課程：數理邏輯2；模態邏輯2；非經典邏輯；現代邏輯與批判性思維
論文目錄
1. 郭美雲、李章呂，《2007年教育部哲學學科教學指導委員會暨全國哲學系主任聯席會綜述：加強課程體系建設，促進“講壇哲學”發展》，《哲學動態》，2008年3月。
2. 郭美雲，《分散式知識的研究進展》，《哲學動態》，2007年第11期（2008年2期人大複印資料《邏輯》轉載）.
3. 郭美雲，《帶有群體知識的動態認知邏輯》，北京大學博士論文庫，2006年。
4. 郭美雲《從PAL看認知邏輯的動態轉換》，《自然辯證法研究》（2006年第1期）（2006年3期人大複印資料《邏輯》轉載）.
5. 郭美雲《一個帶一般群體知識的多主體認知邏輯系統》（《哲學動態》（2005年邏輯學專刊）.
6. 郭美雲，《辛提卡IF一階邏輯研究》，西南大學碩士論文庫，2003年.
7. 鄧輝文、郭美雲，《模糊集合隸屬函式確定中的哲學思考》《西南師範大學學報》人文社會科學版（2002年第5期）
8. 郭美雲，《老子認識論的邏輯探析》，《甘肅社會科學》（增刊）（2002 年第6期）.
譯作:
1. 約翰.範本特姆，《人的存在並非孤立的：邏輯與交流》（郭美雲、崔建英譯），《邏輯之門－約翰.範本特姆著作卷Ⅰ：邏輯、信息和互動》，科學出版社，2008年6月。
2. 約翰.範本特姆，《關於信念修正的動態邏輯》（郭美雲、蕭瑤譯），《邏輯之門－約翰.範本特姆著作卷Ⅰ：邏輯、信息和互動》，科學出版社，2008年6月.
3. 約翰.範本特姆，《作為進程模型的擴展博弈》（郭美雲、張木春譯），《邏輯之門－約翰.範本特姆著作卷Ⅰ：邏輯、信息和互動》，科學出版社，2008年6月.
4. 約翰.範本特姆，《如實反映：邏輯中的信息流動》（郭美雲、蔣軍利譯），《北京大學學報》（人文社科版），2008年6月.
5. 約翰.範本特姆，《自然語言的範疇良結構》（郭美雲、於宇譯），《邏輯之門－約翰.範本特姆著作卷Ⅱ：邏輯、語言和認知》，科學出版社，即出.
6. 約翰.範本特姆，《範疇語法和l-演算》（郭美雲、王磊譯），《邏輯之門－約翰.範本特姆著作卷Ⅱ：邏輯、語言和認知》，科學出版社，即出.
參與課題
1、國家社科規劃基金資助課題《現代邏輯在人工智慧中的套用研究》 項目編號：（04BZX046）；
2、教育部哲學社會科學研究重大課題攻關項目《語言邏輯在知識表達和推理中的套用》 項目編號：（04JZD0006）。
主持課題
1、西南大學博士基金項目《動態認知邏輯在人工智慧中的套用》，2006年－2008年；
2、重慶市重點文科基地項目《信念修正的動態邏輯研究》，2008年－2009.
3、教育部人文社科基金青年項目《動態認知邏輯的基本理論及套用研究》，項目編號08JC72040002：2008年－2010年。
4、國家社科基金青年項目《面向知識更新和信念修正的動態邏輯研究》，項目編號：09CZX033，2009年-2012年。
學術活動
1. 報告：《Public announcement logic with conditional common knowledge and distributed knowledge》,“邏輯、理性與互動國際研討會(LORI)”,2007年8月5日－9日，北京師範大學。
2. 報告：《Dynamic epistemic logic with distributed knowledge》,“Workshop on modal logic”,2007年8月1號，中國人民大學,
3. 報告：《一個帶有群體知識的公開宣告邏輯系統》，“第二屆海峽兩岸邏輯教學學術會議”，2006年10月28日－30日，南京大學。
4. 報告：《一個帶一般群體知識的認知邏輯系統》“2005·學術前沿論壇邏輯分論壇”，北京市邏輯學會，2005年12月18日，北京師範大學。
5. 報告：《一個帶一般群體知識的多主體認知邏輯》，“邏輯博士論壇第一期”，2005年11月25日，中央財經大學。
6. 報告：《公開宣告邏輯》 “全國現代邏輯學術研討會”，2005年7月25日－27日，北京昌平。
