[1]HE Huacan.Universal logic theory: logical foundation of mechanism-based artificial intelligence theory[J].CAAI Transactions on Intelligent Systems,2018,13(1):19-36.[doi:10.11992/tis.201711033]
Copy

Universal logic theory: logical foundation of mechanism-based artificial intelligence theory

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 13 Number of periods: 2018 1 Page number: 19-36 Column: 综述 Public date: 2018-01-24
Title:
Universal logic theory: logical foundation of mechanism-based artificial intelligence theory
Author(s):
HE Huacan
School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China
Keywords:
universal logic; mechanism-based artificial intelligence theory; uncertainty; flexible logic; intelligent information processing operator library
CLC:
TP18
DOI:
10.11992/tis.201711033
Abstract:
Recently, the world’s major countries have begun to consider artificial intelligence (AI) as part of their national strategies. The widespread development of AI is changing our lives and ideas. In China, a small number of researchers have been concentrating their attentions onto the fundamental theory of intelligence based on dialectical materialism for more than 20 years, including the formation mechanism of intelligence, logical basis, mathematical foundation, coordination mechanism and contradiction transformation.At last, they set up the mechanism-based artificial intelligence theory, the universal logic theory, the factor space theory, the coordination theory, the extenics theory and the analysis of set pairs. The mechanism-based artificial intelligence theory is the general theory of intelligence based on the formation mechanism, it unifies the strucrualism, functionalism, and behaviorism, the existing three isolated major schools of artificial intelligence, into a harmonious unity, and makes the primary consciousness, emotion, and lntellect into a trinity; factor space theory is the mathematical foundation for mechanism-based artificial intelligence theory; universal logic theory is the logical based for mechanism-based artificial intelligence theory. In this paper, we introduces the basic theory and application of universal logic theory and clarifies its significance and value. Propositional universal logic (containing both hard and flexible logics) is based on “generalized probability theory”, and can be regarded as a proposition-level library of intelligent information processing operators. It contains all 18 flexible information processing modes (including 16 Boolean information processing modes). The operators are strictly expressed as <a,b,e>, so appropriate complete clusters of information processing operators can be identified. In each mode, different uncertainties are determined by the degree of encoding <k,h,β,e>, which connects with the direct operator required. Consequently, flexible information processing can considered to be a coded lock, with <a,b,e> + <k,h,β,e> as its passwords. Additionally, all of the passwords are saved in the library, thereby satisfying the demand for “one lock-one passwords”.
References:
[1] 何华灿. 人工智能导论[M]. 西安: 西北工业大学出版社, 1988: 1–4.
[2] 涂序彦. 人工智能: 回顾与展望[M]. 北京: 科学出版社, 2006: 77-111.
TU Xuyan. Artificial intelligence: review and prospect[M]. Beijing: Science Press, 2006: 77-111.
[3] 钟义信. 高等人工智能原理: 观念·方法·模型·理论[M]. 北京: 科学出版社, 2014.
[4] GABBAY D M, GUENTHNER F. Handbook of philosophical logic[M]. 2nd ed. 2001: 1–10.
[5] 陈波. 从人工智能看当代逻辑学的发展[J]. 中山大学学报论丛：社会科学版, 2000, 20(2): 10-19.
CHEN Bo. Artificial intelligence and contemporary logic study[J]. Supplement to the journal of SUN Yatsen university, 2000, 20(2): 10-19.
[6] 何华灿, 何智涛. 对智能科学逻辑基础研究的战略思考[J]. 智能技术, 2006, 1(2): 53-62.
HE Huacan, HE Zhitao. Strategic thinking on the basic research of intelligent science logic[J]. Smart technology, 2006, 1(2): 53-62.
[7] 何华灿, 刘永怀, 何大庆. 经验性思维中的泛逻辑[J]. 中国科学(D辑), 1996, 26(1): 72-78.
HE Huacan, LIU Yinghuai, HE Daqing. Generalized logic in experience thinking[J]. Science in China series e-technological sciences, 1996, 39(3): 225-234.
[8] 何华灿. 泛逻辑学原理[M]. 北京: 科学出版社, 2001: 1–18.
HE Huacan. Universal logics principle[M]. Beijing: Science Press, 2001: 1–18.
[9] HE Huacan. Principle of universal logics[M]. Beijing: Science Press, 2006: 1–20.
[10] BéZIAU J Y. From paraconsistent logic to universal logic[J]. Sorites, 2001(12): 5-32.
[11] BEZIAU J Y. Logica universalis-towards a general theory of logic[M]. Basel: Birkhauser Verlag, 2005: 10–16.
[12] HE Huacan. The outline on continuous-valued logic algebra[J]. International journal of advanced intelligence, 2012, 4(1): 1-30.
[13] 盛骤, 谢式千, 潘承毅. 概率论与数理统计[M]. 4版. 北京: 高等教育出版社, 2008.
SHENG Zhou, XIE Shiqian, PAN Chengyi. Probability and mathematical mtatistics[M]. 4th ed. Beijing: Higher Education Press, 2008.
[14] 汪培庄. 因素空间与概念描述[J]. 软件学报, 1992, 3(1): 30-40.
WANG Peizhuang. Factor space and description of concepts[J]. Journal of software, 1992, 3(1): 30-40.
[15] 汪培庄, 李洪兴. 知识表示的数学理论[M]. 天津: 天津科学技术出版社, 1994: 1–12.
[16] 刘增良. 因素神经网络理论[M]. 北京: 北师大出版社, 1990: 7–13.
[17] 钟义信. 信息科学与技术导论[M]. 3版. 北京: 北京邮电大学出版社, 2015: 15–22.
[18] ZHONG Yixin. The law of “information conversion and intelligence creation[M]//BURGIN M, HOFKIRCHNER W. Information Studies and the Quest for Transdisciplinarity. Singapore: World Scientific, 2017: 165-190.
[19] ZHONG Yixin. A theory of semantic information[J]. China communications, 2017, 14(1): 1-17.
[20] 何华灿. 智能论-关于人脑和其它各种系统中信息处理规律的科学[J]. 人工智能学报, 1982, 1(3).
HE Huacan. Intelligence-the science of information processing laws in the human brain and other systems[J]. Journal of artificial intelligence, 1982, 1(3).
[21] [比]伊利亚·普里戈金. 确定性的终结——时间、混沌与新自然法则[M]. 湛敏, 译. 上海: 上海科技教育出版社, 1998: 1–12.
[22] 莫绍揆. 数理逻辑概貌[M]. 北京: 科学技术文献出版社, 1989: 45–56.
[23] MCCULLOCH W S, PITTS W. A logical calculus of the ideas immanent in nervous activity[J]. Bulletin of mathematical biophysics, 1943, 5: 115-133.
[24] MINSKY M L, PAPERT S. Perceptron[M]. Cambridge: MIT Press, 1969: 1–8.
[25] 王元元. 计算机科学中的逻辑[M]. 北京: 科学出版社, 1989: 1–25.
[26] 刘永怀. 基于广义范数的不确定性推理理论研究[D]. 西安: 西北工业大学, 1996: 20–34.
LIU Yonghuai. Research on the uncertainty reasoning based on generalized norm[D]. Xi’an: Northwestern Polytechnical University, 1996: 20–34.
[27] 贾澎涛. 基于柔性逻辑的时间序列数据挖掘研究[D]. 西安: 西北工业大学, 2008: 54–62.
JIA Peng. Research on time series data mining based on flexible logic[D]. Xi’an: Northwestern Polytechnical University, 2008: 54–62.
[28] 陈佳林. 柔性逻辑的健全性研究与应用[D]. 北京: 北京邮电大学, 2011: 1–21.
CHEN Jialin. The study and application of flexible logic[D]. Beijing: Beijing University of Posts and Telecommunications, 2011: 1–21.
[29] 周红军. 计量逻辑及其应用[M]. 北京: 科学出版社, 2015: 2–12.
[30] 祝峰, 何华灿. 粗集的公理化[J]. 计算机学报, 2000, 23(3): 330-333.
ZHU Feng, HE Huacan. The axiomatization of the rough set[J]. Chinese journal of computers, 2000, 23(3): 330-333.
[31] 张文修. 不确定性推理原理[M]. 西安: 西安交通大学出版社, 1996: 36–64.
[32] 何华灿, 何智涛, 王华. 论第2次数理逻辑革命[J]. 智能系统学报, 2006, 1(1): 29-37.
HE Huacan, HE Zhitao, WANG Hua. On the second revolution of mathematical logic[J]. CAAI transactions on intelligent systems, 2006, 1(1): 29-37.
Similar References:

Memo

-

Last Update: 2018-02-01

Copyright © CAAI Transactions on Intelligent Systems