Abstract:The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is its interdisciplinary character, connecting across mathematics, philosophy, modern computer science, and even the cognitive and social sciences. China is no exception. This special issue explores interfaces of logic with AI and other disciplines, and it attempts to give a bird’s eye view of the developing landscape of logic and AI in China. Our contributors come from computer science, AI, philosophy and linguistics, united by their interest in using formal logical tools and notions to deal with substantial problems in their fields. We are aware that AI is a vast area, and that the limitations of space in a volume like this may provide a somewhat incomplete or biased view. Still we hope that the six papers selected here illustrate the concerns and curiosity driving Chinese researchers, on topics shared with our colleagues around the world. One of the active research areas in AI is planning under uncertainty, with incomplete knowledge, where a well-established logical framework is the action language of Son and Baral (Son and Baral 2001). This language can express the notions of sensing actions and making conditional plans. However, its current semantics is not yet satisfactory, since according to the semantics an agent would

Development and Innovation of the Study of Logic of Science in China

The Historical Development of Contemporary Dialectic Logic Study in China

Toward a Hierarchal "View of Logic in Broad Sense"——Retrospection and Reflection of the Two Major Disputes on "View of Logic"

Conception and Theory of Logic——TWO Significant Factors in the Study of Chinese Logic History

Logic Teaching in China: Past and Present

"Modernizing Logic":Today's Thought and Practice-A Report on a Special Session of the Conference"Wang Xianjun Centenary"

Thinking on Methodology in Culture History of Literature in Tang Dynasty

Logic:A Growing and Changing Concept

Some Thoughts on the Comprehensive Realization of the“ Modernization of Logic Education” in China:Based on the Practice of Nanjing University

Self-reflection on Development of Political Studies and Construction of China's Political Studies

One hundred years of Chinese dialectical logic: An academic history of logic relating to contemporary Chinese Marxism

Logic Across the University: Foundations and Applications

Logic and AI in China: an Introduction

The Development History and the Inspiration of China's Technological Advance——From Self-design to Indigenous Innovation

Logic Transformation in Research of Political Science in China

Science and the state in modern China.

A Report on the Chinese National Conference on Modern Logic

Science and the State in Modern China

Exploring on Historical Logic and Theoretical Logic of Socialism with Chinese Characteristics

On the Modernization of Logic Course——To Commemorate 100th Anniversary Birthday of Mr.Wang Xianjun

A Systematic Review of Learning Sciences:History, Hotpots and Future