Universal Logic and Artificial Intelligence


Workshop organized by

Huacan He
 (Nothwestern Polytechnical University, China)

 

Artificial intelligence is different from traditional computer science and mathematics. Computer science and mathematics describes an ideal world in which all problems are abstracted to true/false clearly demarcated deterministic issues (up most uncertainty issues with a certain probability distribution), which is suitable for the description of binary mathematical logic. But artificial intelligence must be faced with the real world. Only a small part of the issues can be transformed into true/false clearly demarcated deterministic problems, and most of the issues are uncertainty problems in continuous development and evolution. The challenges are the following:

1. In the real world propositions should be described by multi-valued or even continuous values of truth degrees rather than binary state.

2. In the case of non-binary phenomena, the affect of the generalized correlation among propositions, measurement errors and partiality will gradually be displayed and the reasoning results will be affected directly and inevitably.

3. With the changing of time or environment, propositional truth will be continuously changing.

4. Incomplete inductive reasoning, the default inference in knowledge incomplete case and reasoning based on common sense are commonplace in the human intelligence activities, artificial intelligence needs therefore to simulate this kind of intelligent activity.

These factors determine the diversity of logic in artificial intelligence. And also the emergence and wide application of all kinds of non-standard logics proves this point. Do common logical laws exist in standard logic and non-standard logic or not? How to identify these common laws of logic? How to master and apply these common laws of logic to promote the development of artificial intelligence? This is the topic we need to discuss.

 

Call for papers

The topic of the UNILOG 2013’s workshop will focus on the relationship in a variety of non-standard logics widely used in artificial intelligence, and the guiding significance of universal logic for the development of artificial intelligence. Topics may include:

  • The ways and means to reveal the common law hidden in standard logic and a variety of non-standard logics
  • The intrinsic link between the standard logic and a variety of non-standard logics
  • The unifed model accommodating standard logic and a variety of non-standard logical computing models
  • The relationship between the logical and intelligent algorithms, how to extract the laws of logic from effective intelligent algorithms
  • To explore the use of universal logic to describe the process of the imitation of anthropic activities in a realistic environment
  • To explore the use of universal logic to describe the process of information-knowledge- intelligent, coordination in complex system

Abstract for this workshop should be sent via e-mail before January 15th 2012 to:

hehuac@gmail.com 

 

 

 

 

  

Keynote Speaker


Zhitao He
Beihang University, Beijing, China
"Universal Logic Description of the Dynamic Evolution of Complex System"

Contributing Speakers

 

Xunwei Zhou, Beijing Union University, China, Unified logics and artificial intelligence

Jincheng Zhang, The Tianjiao stationery service store. China Fixed point and undecidable proposition in logical thinking