scispace - formally typeset
Search or ask a question
Journal ArticleDOI

R1: a rule-based configurer of computer systems

01 Sep 1982-Artificial Intelligence (Elsevier)-Vol. 19, Iss: 1, pp 39-88
TL;DR: R1 is a program that configures VAX-11/780 computer systems and uses Match as its principal problem solving method; it has sufficient knowledge of the configuration domain and of the peculiarities of the various configuration constraints that at each step in the configuration process, it simply recognizes what to do.
About: This article is published in Artificial Intelligence.The article was published on 1982-09-01. It has received 1001 citations till now. The article focuses on the topics: Configuration Management (ITSM) & Knowledge-based configuration.
Citations
More filters
01 Jan 2012
TL;DR: A language-independent framework to recognize and translate numbers more precisely by using a rule-based method and can extend rules to various language-pairs without re-coding, which contributes a lot to the efficient development of an SMT system with good portability.
Abstract: Although statistical machine translation (SMT) has made great progress since it came into being, the translation of numerical and time expressions is still far from satisfactory. Generally speaking, numbers are likely to be out-of-vocabulary (OOV) words due to their non-exhaustive characteristics even when the size of training data is very large, so it is difficult to obtain accurate translation results for the infinite set of numbers only depending on traditional statistical methods. We propose a language-independent framework to recognize and translate numbers more precisely by using a rule-based method. Through designing operators, we succeed to make rules educible and totally separate from codes, thus, we can extend rules to various language-pairs without re-coding, which contributes a lot to the efficient development of an SMT system with good portability. We classify numbers and time expressions into seven types, which are Arabic number, cardinal numbers, ordinal numbers, date, time of day, day of week and figures. A greedy algorithm is developed to deal with rule conflicts. Experiments have shown that our approach can significantly improve the translation performance.

7 citations


Cites background from "R1: a rule-based configurer of comp..."

  • ...( (1|2|3){0,1})(1st|2nd|3rd|[4-9]th) of (May)...

    [...]

  • ...“Var_4 Var_1Var_3 号” ( (1|2|3){0,1})(1st|2nd|3rd|[4-9]th) of (May)...

    [...]

  • ...When we construct rules, such characteristics contribute a lot, and we also refer to some pervious work on rule-based systems [3-8]....

    [...]

  • ...“ (1|2|3){0,1}(1st|2nd|3rd|[4-9]th) of (May)”...

    [...]

  • ...@var_4+R+<Date><#4>;; U-C S: 48رلاش ا ي T: 48رلاشاي T*:48 岁 Source Template : ([0-9]+)(ق ىل يا ئ|ى ن|رلاش ا ي|ى ئ|مول ىكېق ىلر ىت|ىن قامرا ت) Target Template : var_1 var_2 Operation Group:@var_2+R+<Date><#5>;; J-C S: 4 月 3 日 T: 4 月 三 天 T*:4 月 3 日 Source Template : ([1-9]|10|11|12) 月 ((1|2|3){0,1}[0-9]) 日 Target Template : var_1月 var_2 日 Operation Group:@var_1+T+NULL @var_2+T+NULL;;...

    [...]

03 Dec 1984
TL;DR: This paper describes an approach to the maintenance of knowledge-based systems based on a tool called an interactive classifier, which uses the contents of the existing KB and knowledge about its representation to help the maintainer describe new KB objects.
Abstract: The practical application of knowledge-based systems, such as in expert systems, often requires the maintenance of large amounts of declarative knowledge. As a knowledge base grows in size and complexity, it becomes more difficult to maintain and extend. Even someone who is familiar with the representation and the contents of the existing knowledge base may introduce inconsistencies and errors whenever an addition or modification is made. This paper describes an approach to this problem based on a tool called an interactive classifier. An interactive classifier uses the contents of the existing knowledge base and knowledge about its representation to help the maintainer describe new knowledge base objects. The interactive classifier will identify the appropriate taxononomic location for the newly described object and add it to thr knowledge base. The new object is allowed to be a generalization of existing knowledge base objects, enabling the system to learn more about existing obects.

7 citations


Cites background from "R1: a rule-based configurer of comp..."

  • ...Consider, for example , the computerconfiguration problem which has been the domain of several recent expert system projects [21], [14], [23]....

    [...]

Journal ArticleDOI
TL;DR: The Asynchronous Production System, which is a rule-based inference engine capable of dynamic and rapid interaction with its environment, is presented, which uses a concurrent-event-driven execution mechanism and an external input-data structure to facilitate the monitoring and processing of real-time asynchronous information.
Abstract: Autonomous robotic systems designed for hazardous environments require the development of onboard real-time knowledge-based systems capable of generating inference-driven responses to asynchronous, external stimuli. Building such real-time expert systems involves the integration of traditional-knowledge engineering methodologies with time-constrained response and control capabilities. To address such requirements, the Asynchronous Production System (APS), which is a rule-based inference engine capable of dynamic and rapid interaction with its environment, is presented. The APS uses a concurrent-event-driven execution mechanism and an external input-data structure to facilitate the monitoring and processing of real-time asynchronous information. The enhanced conflict-resolution strategies and rule-interruptibility features of the APS execution mechanism allows the APS to make efficient use of the onboard system resources. The implementation of the APS involves the development of a shared-memory, m...

7 citations

Proceedings ArticleDOI
12 Oct 1999
TL;DR: This paper presents an AI coordination technique especially for plan revision consisting of a flexible and hierarchical representation mechanism for goal decomposition and its alternative attainment knowledge, for solving complex problems through divide and conquer and proved that the technique could contribute to solving a real-world dynamic and complex man-in-the-loop problem.
Abstract: Realistic problems are often not only complex and dynamic, but also involve various kinds of interaction among software processes, with human beings, and with a lot of distributing equipment and computers connected through communication networks. Train rescheduling is such a problem in plan revision. In this kind of problem, the AI system's output can not be used without human acceptance. And a person such as the train dispatcher has to be responsible for the acceptance of the output. Further, situations dynamically change in real-time. Thus, the central problem here is to let him quickly grasp and accept the AI system's suggestions. Focussing on such problems, this paper presents an AI coordination technique especially for plan revision consisting of: a flexible and hierarchical representation mechanism for goal decomposition and its alternative attainment knowledge, for solving complex problems through divide and conquer; dynamic goal generation, goal prioritizing, and its concurrent achievement through preemption, for solving dynamic problems; a fine-grained goal coordination mechanism for a real time complex system; and a man-machine coordination mechanism for quick user acceptance (rule-type knowledge representation for encapsulating multiple suggestions such as for proposing alternative suggestions together and/or for proposing subordinate suggestions together to solve side effects). This technique was used and evaluated in a train rescheduling AI system, which succeeded in its practical use for the first time in one of Japanese largest cities where trains run every 2-3 minutes. This proved that the technique could contribute to solving a real-world dynamic and complex man-in-the-loop problem.

7 citations

References
More filters
Journal ArticleDOI
TL;DR: The Rete Match Algorithm is an efficient method for comparing a large collection of patterns to a largeCollection of objects that finds all the objects that match each pattern.

2,562 citations

Journal ArticleDOI
TL;DR: The MYCIN system has begun to exhibit a high level of performance as a consultant on the difficult task of selecting antibiotic therapy for bacteremia and issues of representation and design for the system are discussed.

619 citations

Proceedings Article
22 Aug 1977
TL;DR: Some of the issues that bear on the design of production system languages are explored and the adequacy of OPS is tried to show for its intended purpose.
Abstract: It has been claimed that production systems have several advantages over other representational schemes. These include the potential for general self-augmentation (i.e., learning of new behavior) and the ability to function in complex environments. The production system language, OPS, was implemented to test these claims. In this paper we explore some of the issues that bear on the design of production system languages and try to show the adequacy of OPS for its intended purpose.

173 citations

Book ChapterDOI
01 Jan 1978
TL;DR: In this article, the authors explore the role of conflict resolution in providing support for production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands.
Abstract: Production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands require support from their interpreters that is qualitatively different from the support required by systems that can be carefully hand crafted to function in constrained environments. In this chapter we explore the role of conflict resolution in providing such support Using criteria developed here, we evaluate both individual conflict resolution rules and strategies that make use of several rules.

102 citations

Journal ArticleDOI
TL;DR: The role of conflict resolution in providing support for production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands is explored.
Abstract: Production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands require support from their interpreters that is qualitatively different from the support required by systems that can be carefully hand crafted to function in constrained environments. In this paper we explore the role of conflict resolution in providing such support. Using criteria developed in the paper, we evaluate both individual conflict resolution rules and strategies that make use of several rules.

102 citations