An intelligent manufacturing system is a composite intelligent system comprising humans,cyber systems,and physical systems with the aim of achieving specific manufacturing goals at an optimized level.This kind of inte...An intelligent manufacturing system is a composite intelligent system comprising humans,cyber systems,and physical systems with the aim of achieving specific manufacturing goals at an optimized level.This kind of intelligent system is called a human-cyber-physical system(HCPS).In terms of technology,HCPSs can both reveal technological principles and form the technological architecture for intelligent manufacturing.It can be concluded that the essence of intelligent manufacturing is to design,construct,and apply HCPSs in various cases and at different levels.With advances in information technology,intelligent manufacturing has passed through the stages of digital manufacturing and digital-networked manufacturing,and is evolving toward new-generation intelligent manufacturing(NGIM).NGIM is characterized by the in-depth integration of new-generation artificial intelligence(AI)technology(i.e.,enabling technology)with advanced manufacturing technology(i.e.,root technology);it is the core driving force of the new industrial revolution.In this study,the evolutionary footprint of intelligent manufacturing is reviewed from the perspective of HCPSs,and the implications,characteristics,technical frame,and key technologies of HCPSs for NGIM are then discussed in depth.Finally,an outlook of the major challenges of HCPSs for NGIM is proposed.展开更多
A new generation of artificial intelligence(NGAI),currently based on big data and machine learning,follows a path of connectionism.Although this path achieves huge success in data-intensive applications under closed e...A new generation of artificial intelligence(NGAI),currently based on big data and machine learning,follows a path of connectionism.Although this path achieves huge success in data-intensive applications under closed environments,there are some bottleneck problems,including a lack of explainability,the difficulty of ethical alignment,the weakness ofcognitive reasoning,etc.To address these problems inevitably involves thedepiction of information from an open,dynamic and real environment and the modeling of human reasoning and explanation mechanisms.Formal argumentation is a general formalism for modeling various types of knowledge representation and reasoning in a context of disagreement,and is flexible enough to incorporate other types of knowledge for decisionmaking,such as preferences,weights,and probabilities.Meanwhile,there are various approaches for efficient computation of argumentation semantics by exploiting the locality and modularity of argumentation,and for providing explanations based on arguments and dialogues.The organic combination of formal argumentation with existing big data and machine learning techniques can be expected to break through some existing technical bottlenecks and facilitate the sustainable development of NGAI.展开更多
文摘An intelligent manufacturing system is a composite intelligent system comprising humans,cyber systems,and physical systems with the aim of achieving specific manufacturing goals at an optimized level.This kind of intelligent system is called a human-cyber-physical system(HCPS).In terms of technology,HCPSs can both reveal technological principles and form the technological architecture for intelligent manufacturing.It can be concluded that the essence of intelligent manufacturing is to design,construct,and apply HCPSs in various cases and at different levels.With advances in information technology,intelligent manufacturing has passed through the stages of digital manufacturing and digital-networked manufacturing,and is evolving toward new-generation intelligent manufacturing(NGIM).NGIM is characterized by the in-depth integration of new-generation artificial intelligence(AI)technology(i.e.,enabling technology)with advanced manufacturing technology(i.e.,root technology);it is the core driving force of the new industrial revolution.In this study,the evolutionary footprint of intelligent manufacturing is reviewed from the perspective of HCPSs,and the implications,characteristics,technical frame,and key technologies of HCPSs for NGIM are then discussed in depth.Finally,an outlook of the major challenges of HCPSs for NGIM is proposed.
基金a phased result of “Logics for New Generation Artificial Intelligence,” a major project under the auspices of the National Social Science Fund of China (No. 20&ZD047)
文摘A new generation of artificial intelligence(NGAI),currently based on big data and machine learning,follows a path of connectionism.Although this path achieves huge success in data-intensive applications under closed environments,there are some bottleneck problems,including a lack of explainability,the difficulty of ethical alignment,the weakness ofcognitive reasoning,etc.To address these problems inevitably involves thedepiction of information from an open,dynamic and real environment and the modeling of human reasoning and explanation mechanisms.Formal argumentation is a general formalism for modeling various types of knowledge representation and reasoning in a context of disagreement,and is flexible enough to incorporate other types of knowledge for decisionmaking,such as preferences,weights,and probabilities.Meanwhile,there are various approaches for efficient computation of argumentation semantics by exploiting the locality and modularity of argumentation,and for providing explanations based on arguments and dialogues.The organic combination of formal argumentation with existing big data and machine learning techniques can be expected to break through some existing technical bottlenecks and facilitate the sustainable development of NGAI.
