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

A Report on the Chinese National Conference on Modern Logic

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

Conference Report:LOGIC2009 International Logic Conference

Logic Across the University: Foundations and Applications

A Report on the Tutorials and Workshop of Logic,Language and Philosophy

Logic Teaching in China: Past and Present

Logic and AI in China: an Introduction

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

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

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

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

Between Philosophy and Mathematics

Preface of the Special Issue‘logic, Argumentation and AI’ in JLC

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

Logic and Natural Language

Logic:A Growing and Changing Concept

The Historical Development of Contemporary Dialectic Logic Study in China

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

Problems of Inconsistency and Argumentation Logics

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

Where is Logic Going, and Should It?