學(xué)歷與工作經(jīng)歷
工作經(jīng)歷:
2007年7月-今 清華大學(xué)哲學(xué)系;阿姆斯特丹大學(xué)兼職研究人員。
2001年7月-2007年7月中國(guó)社會(huì)科學(xué)院哲學(xué)所
學(xué)歷:
2008年2月 阿姆斯特丹大學(xué) 科學(xué)博士
2001年7月 中國(guó)社會(huì)科學(xué)院研究生院 哲學(xué)博士
研究領(lǐng)域
模態(tài)邏輯基礎(chǔ)理論研究。
哲學(xué)邏輯。包括認(rèn)知邏輯、信念邏輯、動(dòng)態(tài)邏輯、動(dòng)態(tài)偏好邏輯等。
人工智能中的邏輯。包括時(shí)態(tài)邏輯、缺省邏輯、多主體認(rèn)知系統(tǒng)等。
主要科研項(xiàng)目
主持 國(guó)家社科基金青年項(xiàng)目“知識(shí)、信念和行為的邏輯”(2004-2008)
主持 “邏輯之門――約翰?范本特姆經(jīng)典著作”系列翻譯項(xiàng)目
。ò⒛匪固氐ご髮W(xué)項(xiàng)目, 2005 - )
參與 張清宇研究員主持的社科院重大項(xiàng)目“模態(tài)邏輯的最新發(fā)展”(2006-2008)
參與 鄒崇禮研究員主持的中國(guó)社科院哲學(xué)所項(xiàng)目“現(xiàn)代邏輯和語(yǔ)言的信息處理”
科研成果-英文論文
1、 F.Liu: Changing for the Better: Preference Dynamics and Agent Diversity, Ph.D dissertation, ILLC, University of Amsterdam, 2008.
2、 J. van Benthem, S. Ghosh and F. Liu: Modelling Simultaneous Games in Dynamic Logic. To appear in Synthese.
3、 F. Liu: Diversity of Agents and their Interaction. Research Report, ILLC, University of Amsterdam. To appear in Journal of Logic, Language and Information, 2008.
4、 J. van Benthem and F. Liu: Dynamic Logic of Preference Upgrade. In Journal of Applied Non-Classical Logic, Vol.17, No.2, 2007.
5、 J. van Benthem, S. Ghosh and F. Liu: Modelling Simultaneous Games with Concurrent Dynamic Logic. In J. van Benthem, S. Ju and F. Veltman, eds, A Meeting of the Minds--Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007.
6、 J. Zhang and F. Liu: Some Thoughts on Mohist Logic. In J. van Benthem, S. Ju and F. Veltman, eds, A Meeting of the Minds--Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007.
7、 F. Liu: Preference Change and Information Processing. In Proceedings 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06), Liverpool, 2006.
8、 F. Liu: Diversity of Agents. In N. Alechina and T. Agotnes, eds, Proceedings of the Workshop on Logics for Resource Bounded Agents, ESSLLI, Malaga, 2006.
9、 D. de Jongh and F. Liu: Optimality, Belief and Preference. In S. Artemov and R. Parikh, eds, Proceedings of the Workshop on Rationality and Knowledge, ESSLLI, Malaga, 2006. A latest version Preference, Priorities and Belief under submission.
10、 F. Liu: Dynamic Variations: Update and Revision for Diverse Agents, Mol Thesis, ILLC publication, 2004.
11、 J. van Benthem and F. Liu: Diversity of Agents in Games, Phiosophia Scientiae, 8(2), 2004.
12、 X. Li and F. Liu: The Relational Probability Semantics for Belief Revision, Social Sciences in China, No.3, 2003.
科研成果-中文論文
13、 劉奮榮:“荷蘭邏輯學(xué)之印象”,載《世界哲學(xué)》2005年第2期。人大復(fù)印資料《邏輯》2005年第3期轉(zhuǎn)載。
14、 劉奮榮:“從信息更新到博弈邏輯”,載《哲學(xué)動(dòng)態(tài)》2005年第2期。
15、 劉奮榮:“與約翰范本特姆教授面對(duì)面-聆聽邏輯、語(yǔ)言和信息領(lǐng)域巨匠的聲音”,載《哲學(xué)動(dòng)態(tài)》2004年第4期。人大復(fù)印資料《邏輯》2004年第4期轉(zhuǎn)載。
16、 劉奮榮:“缺省邏輯如何研究非單調(diào)推理?”,載 王路、劉奮榮主編《邏輯、語(yǔ)言與思維—周禮全先生八十壽辰紀(jì)念文集》,中國(guó)科學(xué)文化出版社, 2002年版。
17、 劉奮榮:“現(xiàn)代邏輯會(huì)議綜述”,載《哲學(xué)動(dòng)態(tài)》2002年第10期。
18、 劉奮榮:“周禮全先生80壽辰暨邏輯與哲學(xué)學(xué)術(shù)研討會(huì)綜述”,載《哲學(xué)動(dòng)態(tài)》2002年第2期。
19、 劉奮榮:“非單調(diào)性和自認(rèn)知邏輯”, 載《哲學(xué)動(dòng)態(tài)》2001邏輯增刊。人大復(fù)印資料《邏輯》2001年第2期轉(zhuǎn)載,獲哲學(xué)所2003年度優(yōu)秀論文獎(jiǎng)。
譯著
1、 余俊偉、劉奮榮譯 《邏輯方法》,中國(guó)人民大學(xué)出版社,2007年。
2、 劉奮榮、余俊偉等譯 《邏輯之門――約翰? 范本特姆經(jīng)典著作》第一卷 《邏輯、信息和互動(dòng)》,科學(xué)出版社,2008年5月
編輯工作
Guest Editor: Special Issue of Knowledge, Rationality and Action. To appear in 2008.
Editor: Year Book of Philosophical Logic (PHIBOOK): To appear in 2008.
《清華哲學(xué)年鑒》“邏輯和分析哲學(xué)”方向的編輯。
主編: 《邏輯之門――約翰? 范本特姆經(jīng)典著作》系列叢書。第一卷《邏輯、信息和互動(dòng)》2008年5月出版。
學(xué)術(shù)組織工作
1、 Organizer: The 15th Workshop on Games in Logic, Language and Computation: The Dynamics of Preferences and Intentions, Amsterdam, Netherlands. 26-28 February, 2008.
2、 General Organizer: Workshop on Logic, Rationality and Interaction, Beijing, China. 5-9 August, 2007.
3、 Organizer: Workshop on Modal Logic: A Dialogue between Author and Translators, Beijing, China. 1 August, 2007.
4、 Organizing Committee: 2nd World Congress and School on Universal Logic, Xi’an, China. 16-22 August, 2007.
5、 Organizing Committee: Trends in Logic V: Many-valued Logics and Cognition, Guangzhou, China. 6-9 July, 2007.
6、 Session Co-chair: The Generosity of Artificial Languages in an Asian Perspective, Amsterdam, Netherlands. 18-20 May, 2006.
7、 Organizer: Logic--Connecting Stanford and ILLC: Update Modelling Seminar, Amsterdam, Netherlands. 20 September, 2005.
8、 Organizer: Workshop: Interfacing Probabilistic and Epistemic Update, Amsterdam, Netherlands. 7 September, 2005.
主要課程
模態(tài)邏輯:春季學(xué)期,研究生課程。
使用的教材:P. Blackburn, M. de Rijke and Y. Venema, Modal Logic, Cambridge University Press, 2001.
哲學(xué)邏輯:春季學(xué)期,研究生課程。
一階邏輯:秋季學(xué)期,本科生課程。