This paper presents a new mathematical model to solve cell formation problem in cellular manufacturing systems, where inter-arrival time, processing time, and machine breakdown time are probabilistic. The objective function maximizes the number of operations of each part with more arrival rate within one cell. Because a queue behind each machine; queuing theory is used to formulate the model. T...

by considering the fact that the surface tension of a real fluid arises from a combination of both repulsive and attractive forces between molecules, a new expression for the interfacial tension has been derived from scaled particle theory (spt)  based on the work of cavity formation and the interaction energy between molecules. at the critical temperature, the interfacial tension between coexi...

Broadly speaking, machine learning programs are asked to identify a single concept given a set of examples and some background knowledge. Mathematical theory formation programs, such as the AM program, (Davis & Lenat 1982) and the HR program, (Colton, Bundy, & Walsh 1999), are also given a set of examples and some background knowledge. However, they are not asked to find a single concept, but r...

A program cal led " A M " is descr ibed which cai r ies on simple mathemat ics research : defining, and studying new concepts under the guidance of a large body of heuiist ic rules. The 250 h e u r K t u s communicate via an agenda mechanism, a g loba l p r i o r i t y queue of small bisk', for the program to pei f o i m and teasons why each task is plausible (e.g., "Find PENCRAHZTION. of ' p r...

Conceptual combination is an instance of synthetic problem solving comparable to design or planning. This work reviews evidence supporting the view that the result of such a synthesis has much in common with theory formation. Similar to theory formation inference in conceptual combination can be modeled by using abduction as the principal mechanism to generate hypotheses. However, abduction in ...

Ahwhine h'arning can be categorized along many dimcnsiotts, an important one o/ ~hich is "degree of human guidance or forethought'. Thi~ cotztintaon stretches from rote learning, through carefully-g,ided concept-fon~ation by obsert'ation, ot~t toward independent theory formation. Six)'ears ago. the ,~',t program was constructed as an experiment in this latter kind of leanffng by discot'ery, hs ...

The process of coalition formation, where distinct autonomous agents come together to act as a coherent group is an important form of interaction in multiagent systems. Previous work has focused on developing coalition formation algorithms which seek to maximize some coalition structure valuation function V (CS). However, for many real-world systems, evaluation of V (CS) must be done empiricall...

A theory learned by an inductive logic programming (ILP) system such as Progol [5] usually comprises a set of concepts, expressed as logic programs, which can be employed for a classification task. This classifying ability can, in turn, be used for prediction tasks. A scientific theory, however, comprises much more information: concepts; hypotheses relating concepts; explanations and empirical ...