Daewoo Shipbuilding Company, one of the largest shipbuilders in the world, has experienced great deal of trouble with the planning and scheduling of its production process. To solve the problems, from 1991 to 1993, Korea Advanced Institute of Science and Technology (KAIST) and Daewoo jointly conducted the Daewoo Shipbuilding Scheduling (das) Project. To integrate the scheduling expert systems for shipbuilding, we used a hierarchical scheduling architecture. To automate the dynamic spatial layout of objects in various areas of the shipyard, we developed spatial scheduling expert systems.

Daewoo Shipbuilding Company, one of the largest shipbuilders in the world, has experienced great deal of trouble with the planning and scheduling of its production process. To solve the problems, from 1991 to 1993, Korea Advanced Institute of Science and Technology (KAIST) and Daewoo jointly conducted the Daewoo Shipbuilding Scheduling (das) Project. To integrate the scheduling expert systems for shipbuilding, we used a hierarchical scheduling architecture. To automate the dynamic spatial layout of objects in various areas of the shipyard, we developed spatial scheduling expert systems. For reliable estimation of person-hour requirements, we implemented the neural network-based person-hour estimator. In addition, we developed the paneled-block assembly shop scheduler and the long-range production planner. For this large-scale project, we devised a phased development strategy consisting of three phases: (1) vision revelation, (2) data-dependent realization, and (3) prospective enhancement. The DAS systems were successfully launched in January 1994 and are actively being used as indispensable systems in the shipyard, resulting in significant improvement in productivity and visible and positive effects in many areas.

A common difficulty in diagnosing failures within Pratt & Whitney's F100-PW-100/200 gas turbine engine occurs when a fault in one part of a system -- comprising an engine, an airframe, a test cell, and automated ground engine test set (AGETS) equipment -- is manifested as an out-of-bound parameter elsewhere in the system. In such cases, the normal procedure is to run AGETS self-diagnostics on the abnormal parameter. However, because the self-diagnostics only test the specified local parameter, it will pass, leaving only the operators' experience and traditional fault-isolation manuals to locate the source of the problem in another part of the system. This article describes a diagnostic tool (that is, AGETS MBR), designed to overcome this problem by isolating failures using an overall system troubleshooting approach. AGETS MBR was developed jointly by personnel at Pratt & Whitney and United Technologies Research Center using an AI tool called the qualitative reasoning system (QRS).

Randy Davis announced the appointment of six new program managers at ARPA. At IJCAI-95, Randall Davis assumed the office of president of the American For many attending the Fourteenth for consideration this year," noted Association for Artificial Intelligence International Joint Conference on Ray Perrault of SRI International, (AAAI). Davis is a professor of Artificial Intelligence (IJCAI-95), the chair of the conference. "This is more electrical engineering and computer most difficult problem was choosing than at IJCAI-93 and at recent science and associate director of the which session to attend in the rich, National Conferences on AI in the AI Lab at the Massachusetts Institute varied program. Davis succeeds data-mining application from rate was under 25 percent, showing Barbara Grosz, Gordon McKay professor the U.S. Department of the Treasury that there is a great deal of work of computer science in the Division that identifies potential money laundering going on, and the scientific standard of Applied Sciences at Harvard to a small mobile LEG0 robot of IJCAI matches or exceeds that of University.

Surely, scientific arguments Still, a full literature search of citations They are trivial, that is, when compared have their own special logic. of Rescher's 1977 monograph, to the defeasibility of open-textured Cavalli-Sforza has for a while been Dialectics, reveals no useful formal concepts, the logic of which interested in Toulmin's own attempts extension or clarification of the logical remains unanalyzed (says McCarty, to apply his work on argument to system prior to Brewka.

"How We Know Universals: The Perception Their first paper made many intellectual waves--which are still spreading, 50 years later. They had claimed that the truth or falsity of any (computable) proposition could, in with AI, for it's difficult to say just principle, be computed by a simple type of The future of psychology, they good a date as any, however, is 1943--almost said, consisted of the design of various sorts exactly half a century ago. This In that year, Warren McCulloch (a psychiatrist, novel methodology, and the nascent technology cybernetician, philosopher, and poet) associated with it, promised to show just and Walter Pitts (a research student in mathematics) how mind is grounded in mechanism. Much of this was "logical" in nature result was a heady brew, which explicitly and developed into what's known as classical, promised to revolutionize psychology and or symbolic, AI. But some was what is nowadays philosophy--and which, in the event, revolutionized called connectionist, studying networks technology too. In the late 1980s, however, it McCulloch and Pitts' paper ("A Logical Calculus blossomed--hitting the newsstands with of the Ideas Immanent in Nervous rash promises of "brainlike" computers just Activity") concentrated on how propositions around the corner. But both these forms of AI expressible in logic could be computed by share the same historical roots. Those nets consisted of So much for pedigree. But does a mere halfcentury cells passing inhibitory and excitatory messages of work count as a pedigree? Might it between them and acting as what computer rather be a mere blip, an unfortunate academic scientists (soon afterwards) called "and-mutation with no real intellectual fitness?

AUTOCELL is a system developed to assist in the operation and management of cellular mobile networks operated by Singapore Telecom. Its deployment is in line with the company's strategic move to introduce intelligent software into its operations. With the help of AI concepts and techniques, the system has enhanced the operational efficiency and network capacity and increased customer satisfaction with the network.

The Financial Crimes Enforcement Network (FIN-CEN) AI system (FAIS) links and evaluates reports of large cash transactions to identify potential money laundering. The objective of FAIS is to discover previously unknown, potentially high-value leads for possible investigation. FAIS integrates intelligent human and software agents in a cooperative discovery task on a very large data space. It is a complex system incorporating several aspects of AI technology, including rule-based reasoning and a blackboard. FAIS consists of an underlying database (that functions as a black-board), a graphic user interface, and several preprocessing and analysis modules. FAIS has been in operation at FINCEN since March 1993; a dedicated group of analysts process approximately 200,000 transactions a week, during which time over 400 investigative support reports corresponding to over $1 billion in potential laundered funds were developed. FAIS's unique analytic power arises primarily from a change in view of the underlying data from a transaction-oriented perspective to a subject-oriented (that is, person or organization) perspective.

Daewoo Heavy Industries, in conjunction with the Korean Advanced Institute of Science and Technology, integrated applicability and limitations of various five separate schedulers based on different several papers from the AI techniques. IAAI has been held annually that are addressed at the conference. Mita Industrial Co., Ltd., said Japan's troubleshooting expert system proceedings were published in book Seventeen applications represent this has been supplied as an embedded form through 1992. Since 1993, a year's award winners: 11 were from component of its photocopiers conference proceedings volume has the United States, 4 from the Pacific since April 1994. It uses new reasoning been published, and selected papers Rim, 1 from Europe, and 1 from the methods based on virtual cases have been republished as articles in Middle East.

OPUS is a branch and bound search algorithm that enables efficient admissible search through spaces for which the order of search operator application is not significant. The algorithm's search efficiency is demonstrated with respect to very large machine learning search spaces. The use of admissible search is of potential value to the machine learning community as it means that the exact learning biases to be employed for complex learning tasks can be precisely specified and manipulated. OPUS also has potential for application in other areas of artificial intelligence, notably, truth maintenance.