Automatic reasoning

2020 ◽  
pp. 157-185
Author(s):  
Lamy Jean-Baptiste
Keyword(s):  
Author(s):  
Ruirui Chen ◽  
Yusheng Liu ◽  
Yue Cao ◽  
Jing Xu

Model Based Systems Engineering (MBSE) is the mainstream methodology for the design of complex mechatronic systems. It emphasizes the application of the system architecture, which highly depends on a formalized modeling language. However, such modeling language is less researched in previous studies. This paper proposes a general modeling language for representing the system architecture, aiming for representing function, physical effect, geometric information and control behavior which the system should satisfy. It facilitates the communication of designers from different technological domains and supports a series of applications such as automatic reasoning, system simulation, etc. The language is illustrated and verified with a practical mechatronic device finally.


Author(s):  
Emmanuel G. Blanchard ◽  
Riichiro Mizoguchi ◽  
Susanne P. Lajoie

Study of cultural similarities and differences is an important research topic for many disciplines such as psychology, sociology, anthropology, archaeology, museology, communication, management and business. This presents many potential opportunities for Information Technology specialists to develop culturally-aware technology, but it also raises the risk of inconsistent approaches of the cultural domain. In this chapter, the authors present the fundamental concepts of the Upper Ontology of Culture (UOC), a formal conceptualization of the cultural domain they developed by identifying the common backbone of culture-related disciplines and activities. As a neutral, theory-driven, and interdisciplinary conceptualization, the UOC shall provide guidelines for the development of culturally-aware applications, for the consistent computerization of cultural data and their interoperability, as well as for the development of culture-driven automatic reasoning processes.


2011 ◽  
pp. 78-88
Author(s):  
Alexander Mikroyannidis ◽  
Babis Theodoulidis

The rate of growth in the amount of information available in the World Wide Web has not been followed by similar advances in the way this information is organized and exploited. Web adaptation seeks to address this issue by transforming the topology of a Web site to help users in their browsing tasks. In this sense, Web usage mining techniques have been employed for years to study how the Web is used in order to make Web sites more user-friendly. The Semantic Web is an ambitious initiative aiming to transform the Web to a well-organized source of information. In particular, apart from the unstructured information of today’s Web, the Semantic Web will contain machine-processable metadata organized in ontologies. This will enhance the way we search the Web and can even allow for automatic reasoning on Web data with the use of software agents. Semantic Web adaptation brings traditional Web adaptation techniques into the new era of the Semantic Web. The idea is to enable the Semantic Web to be constantly aligned to the users’ preferences. In order to achieve this, Web usage mining and text mining methodologies are employed for the semi-automatic construction and evolution of Web ontologies. This usage-driven evolution of Web ontologies, in parallel with Web topologies evolution, can bring the Semantic Web closer to the users’ expectations.


Author(s):  
Yalin Zheng ◽  
Huaqiang Yuan ◽  
Ning Wang ◽  
Guang Yang ◽  
Yongcheng Bai

2011 ◽  
Vol 383-390 ◽  
pp. 1411-1416
Author(s):  
Li Fen Han ◽  
Shou Yan Zhong ◽  
Wei Feng Ding ◽  
Tan Xiang Liu

The intelligent design technology based on the Expert System (ES) was applied into injection mould design. The experts’ knowledge and experience related to the injection mould project design (IMPD) was expressed in the form of production rule. The knowledge base of intelligent project design of injection mould was constructed. The knowledge automatic reasoning via CLIPS (C Language Integrated Production System) knowledge deducing machine was realized. The achievement of the injection mould project’s intelligent design was reached. The research on the injection mould intelligent design based on CLIPS was made. The intelligent design system for injection mould project (IDSIMP) was developed. The injection mould design project could be provided to the injection mould design engineers via the system. The system is of better application value on engineering.


Sign in / Sign up

Export Citation Format

Share Document