Lambda computatrix (LC)—towards a computational enhanced understanding of production and management
Proceedings of Sixth International Congress on Information and Communication …, 2022•Springer
This paper describes why and how the Artificial Intelligence (AI) discipline will affect
decisions and what is the difference to decisions in the past, focusing on the application to
industrial production. From this analysis with a global economic systemic towards universal
model, there will be given a globally emerging company structures outlook, concerning their
decision situation, and way how to decide in future rightly. For this purpose, universal logical
tools, that implement the lambda calculus for quantification logic may be useful. We define …
decisions and what is the difference to decisions in the past, focusing on the application to
industrial production. From this analysis with a global economic systemic towards universal
model, there will be given a globally emerging company structures outlook, concerning their
decision situation, and way how to decide in future rightly. For this purpose, universal logical
tools, that implement the lambda calculus for quantification logic may be useful. We define …
Abstract
This paper describes why and how the Artificial Intelligence (AI) discipline will affect decisions and what is the difference to decisions in the past, focusing on the application to industrial production. From this analysis with a global economic systemic towards universal model, there will be given a globally emerging company structures outlook, concerning their decision situation, and way how to decide in future rightly. For this purpose, universal logical tools, that implement the lambda calculus for quantification logic may be useful. We define these as Lambda Computatrix (LC). Examples are Theorem Provers (TP) like Isabelle or Lambda-Prolog. They help to decide precisely to reach company, societal and environmental goals. The key issue of the LC is the universal approach of computation, which is connecting graph-theoretically potentially every node with each other one by a communication edge. LC hence enables increasingly intelligent communication, informationally and materially in terms of logistics and production processes.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果