Conference Paper

CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments.

January 2000

January 2000

Source
DBLP

Authors:

Tallinn University of Technology

This paper presents a modelling technique for CAD and for modelling technical systems behaviour. Here the modelling methods are supported by specification languages and problems solvers especially designed as AI environments. The main platform used for experiments has been the NUT environment. The NUT system is based on deductive program synthesis. The NUT synthesiser realises the basic methods of knowledge engineering.

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Conference Paper

Full-text available

The Extendable-Triple Property: a new CSP Tractable Class beyond BTP

January 2015

Tractable classes constitute an important issue in Artificial Intelligence to define new islands of tractability for reason-ing or problem solving. In the area of constraint networks, numerous tractable classes have been defined, and recently, the Broken Triangle Property (BTP (Cooper, Jeavons, and Salamon 2010)) has been shown as one of the most impor-tant of them, this class including several ... [Show full abstract] classes previously defined. In this paper, we propose a new class called ET P for Extendable-Triple Property, which generalizes BTP, by including it. Combined with the verification of the Strong-Path-Consistency, ET P is shown to be a new tractable class. Moreover, this class inherits some desirable properties of BTP including the fact that the instances of this class can be solved thanks to usual algorithms (such as MAC or RFL) used in most solvers. We give the theoretical material about this new class and we present an experimental study which shows that from a practical viewpoint, it seems more usable in practice than BTP.

View full-text

Conference Paper

Toward a tool aiding the design of automated manufacturing systems

November 1993

This paper presents a new formalism for the design of automated manufacturing systems (AMS). This formalism is based on results from artificial intelligence and cognitive psychology works on human problem solving strategies. It is described in a validation context which is a small tooling model that allows to put forward its assets. A computer support of this formalism is also presented

Article

Optimization of welding process with neural networks

September 1998

Within the context of integrated design, we propose a new approach for off-line programming of welding robots by interfacing a CAD modeler (geometric database) and an artificial intelligence system (welding database). The CAD system, used to design pieces to be assembled allows us to automatically generate welding trajectories and extract the assembly features needed to determine welding ... [Show full abstract] parameters. Using these features, we propose a new approach to generate automatically welding parameters, in GMAW process, with neural networks. We have chosen to use backpropagation neural networks because this;approach integrates database and modeling aspects. Moreover a neural nets based system is easily improvable, if can enlarge his field of application using new experimental welding data. The proposed method is able to determine the welding process and the welding wire to use and then to compute the welding parameters. We present In this paper the system we have developed with neural networks, the results we obtain and the possibilities of the method.

Article

A Finite Domain Satisfiability Solver with Clause Learning and Non-Chronological Backtracking

Abstract Boolean Satisfiability (SAT) is a well known NP-complete problem that has recently received much attention due to increasing practical application in various fields such as Artificial Intelligence, Group Theory, Formula Verification, Electronic Design Automation, Logic Synthesis, etc. A search algorithm to solve this problem was proposed by Davis, Putnam, Logemann, and Loveland (DPLL) ... [Show full abstract] some four decades ago. Although DPLL is an old algorithm, most of the current state-of-the-art SAT solvers are based on it. Recent additions to DPLL such as clause learning, non-chronological backtracking, and random,restart have improved the capability of problem solving. Finite Domain Satisfiability is a generalization of Boolean Satisfiability in which the size of the domain of a variable may be greater than two. Many practical applications fall under this category, but to solve them, traditionally they are encoded into Boolean format and solved using a Boolean solver. This not only obscures the structure of the problem but also increases the size of the problem, hence making it harder to solve.

Article

Full-text available

Determining the effects of immersive environments on decision making in the AEC industry

January 2006

Research into the use of immersive projection displays (IPDs) and immersive environments has shown promise for improving design and construction planning within the Architecture, Engineering, and Construction (AEC) Industry. IPDs allow a project team to be immersed into a virtual prototype of a building project. The review of the prototype in this display environment allows the project team to ... [Show full abstract] easily navigate the prototype at full scale with a display system that provides depth perception and a large field of view. This paper presents a case study which analyzes the value of using an immersive projection display system along with a 4D CAD model for performing a construction process review meeting. During the meeting, data was collected to evaluate the type of communication that occurred within the IPD. The research team was specifically aiming to determine if the display system along with the virtual prototype would shift the focus of the team discussions toward higher level problem solving discussions. Upon analysis of the data, the discussions which occurred within the IPD during the case study contained greater percentages of explanative and predictive conversation than in a typical project meeting. The meeting also yielded valuable construction solutions that were later implemented on the project to save time and money. This case study will guide future efforts to understand the potential value of using IPDs to provide a productive decision making environment.

View full-text

Article

Full-text available

Integrating Case-Based and Rule-Based Reasoning: the Possibilistic Connection

March 2013

Rule based reasoning (RBR) and case based reasoning (CBR) have emerged as two important and complementary reasoning methodologies in artificial intelligence (Al). For problem solving in complex, real world situations, it is useful to integrate RBR and CBR. This paper presents an approach to achieve a compact and seamless integration of RBR and CBR within the base architecture of rules. The paper ... [Show full abstract] focuses on the possibilistic nature of the approximate reasoning methodology common to both CBR and RBR. In CBR, the concept of similarity is casted as the complement of the distance between cases. In RBR the transitivity of similarity is the basis for the approximate deductions based on the generalized modus ponens. It is shown that the integration of CBR and RBR is possible without altering the inference engine of RBR. This integration is illustrated in the financial domain of mergers and acquisitions. These ideas have been implemented in a prototype system called MARS.

View full-text

Article

Arificial intelligence in machine tools design based on genetic algorithms application

July 2010

The design of machine tools activity is an area with hundreds of years old. With the development of CAD/CAE systems, the engineers' work was greatly simplified. However, CAD/CAE systems are unable to overcome a critical threshold, thereby leaving the designer with many problems to be solved. Artificial intelligence field is also very exciting to develop this area. This paper presents a first ... [Show full abstract] attempt to introduce genetic algorithms in the design of machine tools.

Conference Paper

When to filter what, or prediction isn't explanation

October 1990

M. Reinfrank

Discusses the minimal entailment relation proposed by E. Sandewall (1989). It is argued that Sandewall's notion of entailment is well suited for prediction but is incapable of accounting for evidence contradicting the predicted `normal' course of events. The author does not describe a complete solution to this problem. However it is suggested that a solution has to be based on distinguishing ... [Show full abstract] between different purposes of the reasoning process, such as prediction or explanation. A problem solver must then make the assumptions underlying a particular mode of reasoning explicit in order to be able to reason about them and to retract them in the light of conflicting evidence. Sandewall's combination of logic and differential equations and its relevance to the area of intelligent control are described. The minimal entailment relation is introduced, and a problem with the logic when it comes to multiple modes of reasoning is presented. A solution based on mode assumptions is suggested

Article

Modeling Diagnostic Reasoning: A Summary of Parsimonious Covering Theory

September 1987 · Computer Methods and Programs in Biomedicine

Parsimonious covering theory is a formal model of diagnostic reasoning. Diagnostic knowledge is represented in the theory as a network of causal associations, and problem-solving is represented in algorithms that support a hypothesize-and-test inference process. This paper summarizes in informal terms the basic ideas in parsimonious covering theory.

Chapter

Constraint Based Technology Mapping in Logic Design

January 1994

Technology mapping in an LSI CAD system transforms Boolean expressions into device dependent circuit components. The better mapping results in reducing the circuit size and optimizing the circuit delay. Although this process involves a kind of constraint satisfaction problem, it is so large that it cannot solve the entire problem with a constraint problem solving approach alone. This paper ... [Show full abstract] describes the technology mapping for combinational logic equations, using both an algorithmic method and an AI method, formalized as a constraint cost minimization problem (CCMP), in which constraints are satisfied maximally. The CCMP can be solved with a heuristic algorithm, where constraints are first ordered with their complexities, then satisfied locally in order, and finally a global solution can be obtained after the remaining redundant solutions are restricted. Using this approach, logic equations in benchmark tests can be synthesized with about a 20% reduction in size, compared to the circuit synthesized without the CCMP solver.

Conference Paper

Full-text available

استخدام تكنولوجيا الحاسب الآلي لتعلم إعداد العينة الأولى للبنطلون

September 2005

يهدف هذا البحث إلى إستخدام الحاسب الآلي لإعداد تصور لبرنامج تعليمي في مجال تصميم وتنفيذ العينة الأولى للبنطلون الجينز للإستفادة منه في تعليم طلاب أقسام الملابس الجاهزة في كليات الفنون التطبيقية والإقتصاد المنزلي. ويتناول البحث إستخدام الحاسب الآلي في صناعة الملابس الجاهزة سواءً إستخدامه كمساعد في التصميم (CAD) أو كمساعد في التصنيع (CAM) أو التصنيع المتكامل للملابس (CIM). كمايتناول أيضاً التعليم ... [Show full abstract] بإستخدام الحاسب الآلي (CAI)مميزاته مثل التفاعلية Interactivity و الفردية Individuality و التنوع Diversity و الكونية Globalization و التكاملية Integrity ومتعة التعلم و تقليل وقت المتعلم و عرض معلومات مرئية و توفير الثقافة الكمبيوترية و تدريس بعض الموضوعات الغير قابلة للتدريس من قبل وتضييق الفجوة في نظم التعليم وأنواع هذا التعليم مثل التمرين والممارسة Drill and practiceو التمرين والممارسة Drill and practice و المماثلة أوالمحاكاة Simulation و النمذجة Modeling و حل المشكلات Problem Solving و الألعاب التعليمية Instruction Games و قواعد البيانات Data Bases و الذكاء الإصطناعي Artificial Intelligence و نظم التدريس الذكية Intelligent Tutoring system. ويعرض البحث موضوعالعينة الأولىPrototype مفهومه وخطوات تصميمه و إستخدام الحاسب الآلي في تصميمه. ثم ننتقل إلى الجانب العملي من البحث والذي يتمثل في إمكانية إعداد برنامج تعليمي في مجال تصميم وتنفيذ العينة الأولى للبنطلون الجينز حيث يعرض خطوات إعداد البرنامج و عناصر البرنامج الأساسية و نموذج لخطوات تنفيذ العينة الأولى لأحدى موديلات البنطلون الجينز.

View full-text

Article

Assessing Novice CAD Model Creation and Alteration

August 2012 · Computer-Aided Design and Applications

To allow for the efficient reuse of existing CAD models, design intent has to be clearly conveyed in the original design. A modeling and alteration exercise was implemented in a freshman class using NX to assess the CAD modeling procedures of novice CAD users. To analyze the effects of CAD model attributes on alteration time and procedure, the attributes of both the original and altered models ... [Show full abstract] were analyzed. A

CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments.

Abstract

No full-text available

Recommended publications

The Extendable-Triple Property: a new CSP Tractable Class beyond BTP

Toward a tool aiding the design of automated manufacturing systems

Optimization of welding process with neural networks

A Finite Domain Satisfiability Solver with Clause Learning and Non-Chronological Backtracking

Determining the effects of immersive environments on decision making in the AEC industry

Integrating Case-Based and Rule-Based Reasoning: the Possibilistic Connection

Arificial intelligence in machine tools design based on genetic algorithms application

When to filter what, or prediction isn't explanation

Modeling Diagnostic Reasoning: A Summary of Parsimonious Covering Theory

Constraint Based Technology Mapping in Logic Design

استخدام تكنولوجيا الحاسب الآلي لتعلم إعداد العينة الأولى للبنطلون

Assessing Novice CAD Model Creation and Alteration