Some Applications of the Causal Statement Logic Programming in Machine Language

Article Preview

Abstract:

In modern science, machine language was developed on the basis of multidisciplinary, so it forms the nature of cross subject or multidisciplinary subject, especially it crosses with modern logic. Burks developed the logic of casual statement, and tried to apply to the constructing of machine language. While applying the logic of casual statement to machine language, philosophy of logical machine was put forward. Philosophy of logical machine takes an important role in guiding the development of the discipline of contemporary machine language and its practical applications.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

574-578

Citation:

Online since:

October 2013

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] He Xiangdong, Tu Dehui, Liu Bangfan. An Introduction to Logic and Method. Chongqing: Chongqing Press, (2005).

Google Scholar

[2] Ren Xiaoming, Yang Gangying. An New Introduction to Inductive Logic. Zhengzhou: Henan People Press, (2009).

Google Scholar

[3] Shao Yanqiu. A Detailed Explanation of Computational Linguistics and its Synonyms. Terminology Standardization & Information Technology, 2009(3).

Google Scholar

[4] Liu Haitao. On Computational Linguistics from the Viewpoint of comparison. Journal of Xianning College, 2005(8).

Google Scholar

[5] Feng Zhiwei. On Humanity Spirit of Natural Language Processing from the Viewpoint of Ontology. Applied Linguistics, 2005(11).

Google Scholar

[6] Wang Qiu, Nan Zheng. On The"understanding"Of Natural Language. Journal of Shaanxi Normal University. 2007 (9).

Google Scholar

[7] Ren Xiaoming. Information technology steering of philosophy: the rising of logical machine philosophy. Jiangxi Social Sciences, 2004(3).

Google Scholar

[8] Ren Xiaoming, PanQin. The Study of Computer Science Philosophy Research . Philosophical Trends, 2008(4).

Google Scholar

[9] Ren Xiaoming . The Problems and Solutions of Man=Robots Thesis-On Burks' the philosophy of logical machinism. World Philosophy2005 (7).

Google Scholar