ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (339)
  • Articles: DFG German National Licenses  (339)
  • Blackwell Publishing Ltd  (339)
  • American Institute of Physics (AIP)
  • Elsevier
  • 2020-2023
  • 2005-2009  (6)
  • 1985-1989  (333)
  • 1950-1954
  • Computer Science  (339)
  • 1
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 22 (2005), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: An optimal online learning algorithm of a wavelet neural network is proposed. The algorithm provides not only the tuning of synaptic weights in real time, but also the tuning of dilation and translation factors of daughter wavelets. The algorithm has both tracking and smoothing properties, so the wavelet networks trained with this algorithm can be efficiently used for prediction, filtering, compression and classification of various non-stationary noisy signals.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 22 (2005), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Owing to rapidly changing customer needs and much shorter product life cycles, for developing a successful product it is imperative to employ more efficient and flexible approaches for product conceptualization. To meet this demand, a Web-enabled product definition and customization system (PDCS) is proposed, from a design-knowledge-handling viewpoint, in this paper. It comprises two phases, namely product definition based on the laddering technique and a novel design knowledge hierarchy, and product customization based on an integrated methodology of conjoint analysis and Kohonen association techniques. Basically, this system is a method of conducting design decision-making via customer involvement, i.e. a strategy for transforming customer preference into a specific product concept. A case study on wood golf club design is used to illustrate and validate the proposed Web-enabled PDCS.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 22 (2005), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 22 (2005), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: This paper describes the development and tuning methods for a novel self-organizing fuzzy proportional integral derivative (PID) controller. Before applying fuzzy logic, the PID gains are tuned using a conventional tuning method. At supervisory level, fuzzy logic readjusts the PID gains online. In the first tuning method, fuzzy logic at the supervisory level readjusts the three PID gains during the system operation. In the second tuning method, fuzzy logic only readjusts the proportional PID gain, and the corresponding integral and derivative gains are readjusted using the Ziegler–Nichols tuning method while the system is in operation. For the compositional rule of inferences in the fuzzy PID and the self-organizing fuzzy PID schemes two new approaches are introduced: the min implication function with the mean of maxima defuzzification method, and the max-product implication function with the centre of gravity defuzzification method. The fuzzy PID controller, the self-organizing fuzzy PID controller and the PID controller are all applied to a non-linear revolute-joint robot arm for step input and path tracking experiments using computer simulation. For the step input and path tracking experiments, the novel self-organizing fuzzy PID controller produces a better output response than the fuzzy PID controller; and in turn both controllers exhibit better process output than the PID controller.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 22 (2005), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 22 (2005), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Customer retention is a critical issue for the survival of any business in today's competitive marketplace. In this paper, we propose a dynamic procedure utilizing self-organizing maps and a Markov process for detecting and preventing customer defection that uses data of past and current customer behavior. The basic concept originates from empirical observations that identified that a customer has a tendency to change behavior (i.e. trim-out usage volumes) before eventual withdrawal and defection. Our explanatory model predicts when potential defectors are likely to withdraw. Two strategies are suggested to respond to the question of where to lead potential defectors for the next stage, based on anticipating when the potential defector will leave. Our model predicts potential defectors with little deterioration of prediction accuracy compared with that of the multilayer perceptron neural network and decision trees. Moreover, it performs reasonably well in a controlled experiment using an online game.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: During incremental concept learning from examples, tentative hypotheses are formed and then modified to form new hypotheses. When there is a choice among hypotheses, bias is used to express a preference. Bias may be expressed by the choice of hypothesis language, it may be implemented as an evaluation function for selecting among hypotheses already generated, or it may consist of screening potential hypotheses prior to hypothesis generation. This paper describes the use of the third method. Bias is represented explicitly both as assumptions that reduce the space of potential hypotheses and as procedures for testing these assumptions. There are advantages gained by using explicit assumptions. One advantage is that the assumptions are meta-level hypotheses that are used to generate future, as well as to select between current, inductive hypotheses. By testing these meta-level hypotheses, a system gains the power to anticipate the form of future hypotheses. Furthermore, rigorous testing of these meta-level hypotheses before using them to generate inductive hypotheses avoids consistency checks of the inductive hypotheses. A second advantage of using explicit assumptions is that bias can be tested using a variety of learning methods.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper describes LEW (learning by watching), an implementation of a novel learning technique, and discusses its application to the learning of plans. LEW is a domain-independent learning system with user-limited autonomy that is designed to provide robust performance in realistic knowledge acquisition tasks in a variety of domains. It partly automates the knowledge acquisition process for different knowledge types, such as concepts, rules, and plans. The inputs to the system, which we call cues, consist of an environmental component and of pairs containing a problem and its solution. Unlike traditional forms of “learning from examples”, in which the system uses the teacher's answer to improve the result of a prior generalization of an example, LEW treats the problem-solution or question-answer instances, i. e., the cues themselves, as the basic units for generalization.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: In the past, Kripke structures have been used to specify the semantic theory of various modal logics. More recently, modal structures have been developed as an alternative to Kripke structures for providing the semantics of such logics. While these approaches are equivalent in a certain sense, it has been argued that modal structures provide a more appropriate basis for representing the modal notions of knowledge and belief. Since these notions, rather than the traditional notions of necessity and possibility, are of particular interest to artificial intelligence, it is of interest to examine the applicability and versatility of these structures. This paper presents an investigation of modal structures by examining how they may be extended to account for generalizations of Kripke structures. To begin with, we present an alternative formulation of modal structures in terms of trees; this formulation emphasizes the relation between Kripke structures and modal structures, by showing how the latter may be obtained from the former by means of a three-step transformation. Following this, we show how modal structures may be extended to represent generalizations of possible worlds, and to represent generalizations of accessibility between possible worlds. Lastly, we show how modal structures may be used in the case of a full first-order system. In all cases, the extensions are shown to be equivalent to the corresponding extension of Kripke structures.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: A definition of extended definite clause grammars and their relationship to unrestricted grammars are presented. A method for translating extended definite clause grammars describing unrestricted grammars into executable prolog programs is given. Three different parsing techniques are presented, and for each a complete presentation of how to incorporate unrestricted grammars in the actual formalism is done. Extended definite clause grammar is a powerful formalism usable for specifying grammars in natural language processing systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper describes a qualitative technique for interpreting graphical data. Given a set of numerical observations regarding the behaviour of a system, its attributes can be determined by plotting the data and qualitatively comparing the shape of the resulting graph with graphs of system behaviour models. Qualitative data modeling incorporates techniques from pattern recognition and qualitative reasoning to characterize observed data, generate hypothetical interpretations, and select models that best fit the shape of the data. Domain-specific knowledge may be used to substantiate or refute the likelihood of hypothesized interpretations. The basic data modeling technique is domain independent and is applicable to a wide range of problems. It is illustrated here in the context of a knowledge-based system for well test interpretation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Most shape-from-shading methods assume that surface reflectance is constant within large image regions. This assumption is violated in natural scenes with objects made from different materials. We present a more general method for recovering shape from shading, assuming that surfaces are smooth and albedo is piecewise constant, as would be the case if a Mondrian image was painted on a smooth curved surface. Our method is based on combining Brooks and Horn's method for shape recovery with the recovery of albedo using stochastic relaxation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Artificial neural networks capable of doing hard learning offer a new way to undertake automatic speech recognition. The Boltzmann machine algorithm and the error back-propagation algorithm have been used to perform speaker normalization. Spectral segments are represented by spectral lines. Speaker-independent recognition of place of articulation for vowels is performed on lines. Performance of the networks is shown to depend on the coding of the input data. Samples were extracted from continuous speech of 38 speakers. The error rate obtained (4.2% error on test set of 72 samples with the Boltzmann machine and 6.9% error with error back-propagation) is better than that of previous experiments, using the same data, with continuous Hidden Markov Models (7.3% error on test set and 3% error on training set). These experiments are part of an attempt to construct a data-driven speech recognition system with multiple neural networks specialized to different tasks. Results are also reported on the recognition performance of other trained networks, such as one trained on the E-set consonants.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: The modal logic LL was introduced by Halpern and Rabin as a means of doing qualitative reasoning about likelihood. Here the relationship between LL and probability theory is examined. It is shown that there is a way of translating probability assertions into LL in a sound manner, so that LL in some sense can capture the probabilistic interpretation of likelihood. However, the translation is subtle; several more obvious attempts are shown to lead to inconsistencies. We also extend LL by adding modal operators for knowledge. This allows us to reason about the interaction between knowledge and likelihood. The propositional version of the resulting logic LLK is shown to have a complete axiomatization and to be decidable in exponential time, provably the best possible.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Reasoning about change requires predicting how long a proposition, having become true, will continue to be so. Lacking perfect knowledge, an agent may be constrained to believe that a proposition persists indefinitely simply because there is no way for the agent to infer a contravening proposition with certainty. In this paper, we describe a model of causal reasoning that accounts for knowledge concerning cause-and-effect relationships and knowledge concerning the tendency for propositions to persist or not as a function of time passing. Our model has a natural encoding in the form of a network representation for probabilistic models. We consider the computational properties of our model by reviewing recent advances in computing the consequences of models encoded in this network representation. Finally, we discuss how our probabilistic model addresses certain classical problems in temporal reasoning (e. g., the frame and qualification problems).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: It is commonplace in artificial intelligence to divide an agent's explicit beliefs into two parts: the beliefs explicitly represented or manifest in memory, and the implicitly represented or constructive beliefs that are repeatedly reconstructed when needed rather than memorized. Many theories of knowledge view the relation between manifest and constructive beliefs as a logical relation, with the manifest beliefs representing the constructive beliefs through a logic of belief. This view, however, limits the ability of a theory to treat incomplete or inconsistent sets of beliefs in useful ways. We argue that a more illuminating view is that belief is the result of rational representation. In this theory, the agent obtains its constructive beliefs by using its manifest beliefs and preferences to rationally (in the sense of decision theory) choose the most useful conclusions indicated by the manifest beliefs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Robust design is an efficient method for designing high quality products at low cost. The method examines the effect of a large number of design factors on the variability of a product's response due to various sources of disturbance. This effect can be observed efficiently by studying a large number of variables simultaneously through balanced, orthogonal array experiments, and by analyzing the resulting data using variance decomposition methods. In this paper we describe an expert system prototype for designing efficient experiments. Given the information on various parameters and their levels, the system designs an experiment using orthogonal arrays. This expert system is implemented in Prolog, which is a logic programming language for artificial intelligence research and expert systems development. The system was implemented under the P-Shell knowledge programming environment on UNIX.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: This paper describes and examines real-time expert systems from the perspective of their users. It categorizes real-time expert systems according to a three-component system consisting of an expert system, a user and a process being controlled, by considering all possible arrangements of information flow between the components, and uses this classification as a basis for reviewing real-time expert systems. The focus of interest lies in those characteristics of real-time expert systems which impinge on users, especially as they have been discussed by computer scientists. After critically examining these claims, the paper discusses the interaction between systems and users at the perceptual/motor, cognitive and supervisory levels. It concludes by arguing that the successful design and installation of real-time expert systems require the application of ergonomics techniques to provide for efficient and accurate user-system interaction.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: XpertRule is an expert-systems development environment authored by Dr Akeel Al-Attar. It runs on IBM PC, XT and AT computers and close compatibles. This review was carried out on an Opus V AT-class machine running at 10 Mhz with EGA, 1 Mb RAM and a 30Mb hard disk. The package costs £995 and can be obtained from Attar Software Ltd, Newlands Road, Leigh, Lancashire WN7 4HN, England. Tel: +44 (0)942 608844.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: This is an endeavour to amalgamate temporal logics with financial problems. By utilising real strategies, it takes cognisance that ‘generic’ trading systems can be creative. In the financial market, time is a critical vector. Accordingly, trading decisions have to be specific and any advice controlled. Reichgelt's two-tier reified temporal logic seems to offer a favourable pliancy for tracking such a capricious market. The external modal language, TM, is friendly and simple but expressive. It allows the outside world to be related by three primitives: AT, P(ast) and F(uture). The internal meta-language, TR, permitting time points, allows TM's effect to be developed with precision.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Book reviewed in this article:Applications of expert systems: Volume 2. J. Ross Quinlan (Ed.).Expert Systems Architectures, L. Johnson and E. T. Keravnou.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Computer operated knowledge bases provide a means of rapidly providing agricultural producers with concise up-to-date information, which can be used to assist their decision making process. This paper reports on one such system, LUCVAR, which provides advice on the best lucerne varieties for a farmer to grow. The development and organisation of the knowledge base are outlined and examples are used to show the rule structures. A sample consultation is provided to demonstrate the interactive nature of the knowledge base.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: A project is underway to increase the effective use of personnel by creating a knowledge-based assistant for supervisors. The Programmed Evaluation of Personnel (PEOPL) is designed to permit the combination of quantitative and qualitative data to standardize supervisory ratings. The full scope of the project will combine subjective experience with data from psychological research which assesses employee performance. Peopl combines heuristic, subjective experience with experimental data to establish performance standards for use in a comprehensive system for personnel use. In this way, organizations can assess corporate needs, evaluate the current pool of employees, place them where they may be used more efficiently, and determine what jobs remain undone.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: This paper discusses the results of a survey of ES producers conducted between October 1987 and June 1988 as part of a British Library Research and Development Department funded project. The survey aimed to establish the nature and scope of ES projects in Britain, the skills and methodologies used in their development and the background and experience of the personnel employed to develop them. A major part of the survey focused on the human input and organisational impact of ESs and this paper summarises the findings of the survey with particular reference to these issues. It includes details of the organisational background of those working in the area; a review of the nature, number and scope of ES projects in Britain; consultation procedures with both users and experts; the knowledge engineering task and methodologies currently used in undertaking it; the skills and attributes of the knowledge engineer; issues of updating and extending ESs; and hopes, projections and expectations for the future.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Neural Works Professional II is a neuro-computing development environment authored by Casimir ‘Casey’ Klimasauskas of Neural Ware Inc. It runs on IBM PC, XT and AT computers and close compatibles under MS/DOS 2.0 or higher. This review was carried out on an Opus V AT-class machine running at 10 Mhz with EGA, 1 Mb RAM and a 30-megabyte hard disk. The package costs $2250 (there is a Sun/Unix version at /2600), and can be obtained from Neural Ware Inc., 103 Buckskin Court, Sewickley, PA 15143, USA. Tel: (412) 741-5959. In the United Kingdom the price is £ 1350 and it is distributed by Scientific Computers Ltd., Victoria Road, Burgess Hill, Sussex, RH15 9LW, England. Tel: (04446) 5101.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: MAID is an expert system for the computer-aided design of control systems. It is developed in conjunction with the successful application of a systematic control system design technique. The design problem has been decomposed into sub-problems, resulting in good modularity of design knowledge. Interactive design and the designer's intuition are emphasized. MAID, which acts as a designer's assistant, was developed using the expert systems development facility provided within a control system design package. The coupling of symbolic and numerical processing was carried out in a natural way.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Many large organizations today have an interest in communications networks either as users of public networks or as operators of their own private networks. The environment in which networks operate is extremely complex and very dynamic. Users are becoming more sophisticated, hence, their demands for network services are increasing in complexity. The network technology is changing at an incredible rate, and there is a very large number of hardware and software vendors selling network products and services. In such an environment, network management is of vital importance, yet it is exceedingly difficult to accomplish effectively. Most organizations are finding that there is little available in the market in the way of comprehensive systems which address the complex problems encountered in planning and engineering communications networks. The purpose of this paper is to describe a development effort which treats one important aspect of network design—that of engineering changes in a network subsequent to the initial design. The result of this research is an expert system called Nestor (Network Engineering System for TOpology and Requirements) which is being used by AT&T network engineers to respond to user change requests for a large packet switching network—thirty network switches, fifty mainframe computers, and one hundred and forty thousand terminals and printers. Estimates based on initial experience with the system are that throughput of the engineering group will increase by 500% for network change requests assigned to Nestor.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Sorting an internal list is an indispensable requirement in numerous data processing applications, and many algorithms have been devised for accomplishing those tasks. Furthermore, it is fairly simple to derive order of magnitude of effort measures for particular sorting strategies, and within classes of equivalent theoretical power, practice has shown which algorithms prevail in which circumstances. Thus there is a useful background for testing a system's ability to learn which problem solving technique should be applied in a given instance, for the expert knowledge is rather concise and structured and facilitates comparison to machine decisions. The paper describes the construction of such a system and analyzes the results.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: FRIL: A Support Logic Programming System is principally an extension of Prolog designed to facilitate the modelling of uncertainty in applications which are suitable for Prolog and need to allow for probabilistic, evidential or vague reasoning. This review was carried out on an Amstrad 1640HD. The product runs on IBM PC, XT, AT and PS/2 computers and compatibles running MS-DOS 3.0 or higher, with 640 Kb RAM. It also runs on a variety of workstations and minicomputers such as the Sun and VAX range. Prices of currently available versions are as follows:〈list xml:id="l1" style="plain"〉PC single user: £495PC single user with expanded memory (2 Mb): £995PC networks (up to ten PCs): £1495SUN, Apollo HP300 workstations: £2500MicroVax and VAX workstations (UNIX or VMS): £5000VAX 11/730, 11/750, 11/780 (UNIX or VMS): £6000.The product is available from FRIL Systems Ltd, Bristol ITeC, St Anne's House, St Anne's Road, Bristol BS4 4AB, England. Telephone: (0272) 713481. FRIL Systems launched version 4.0 of FRIL in late 1988.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Expert Systems has invited Tony Dodd of Chemical Design to introduce Prometheus, a new Prolog-based expert system tool. A review of the tool will appear in the November issue of the journal. The standard PC version of the tool costs £2995; the 386 version costs £3495.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: A prototype ‘advisor’ system intended to answer typical questions from a user of a commercial fourth generation report writer has been developed. This paper describes a major subcomponent, which uses expert system techniques to answer ‘why’ or ‘causal’ questions. The approach uses several types of rules, used both forward and backward, to define causal relations between the user's actual code and English-like descriptions of the intended or actual results. The Prolog-based rule interpreter, which can deal with negative and inconsistent questions, is outlined. The design is based on a large corpus of actual user questions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: This paper reports experience with the use of two expert system shell’ packages gained during the ARIES project. We report on the desiderata used for selecting the products, the positive and negative features of each and draw some general conclusions about their utility for future systems development. The microcomputer approach is compared with that of specialist workstations and conclusions are drawn concerning design methods for knowledge based systems. The two products considered are Crystal and Leonardo.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: This paper outlines the approach taken and presents some early findings from a research project which aims to examine the potential of expert systems in British Development Control; it is a progress report more than an account of finished research. It follows the structure of the research project, dealing first with methodological issues, and then moving on to discuss the specific domain of application.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Today's marketplace offers a great variety of PC-based expert system shells. More than ever ES developers need a clear idea of what characteristics they require in an ES toolkit. This paper discusses a recent project which used different shells to build versions of a common application. Evaluating this work illuminates some of the important attributes one should look for.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Compilation is a powerful preprocessing technique in the processing of recursions in knowledge-based systems. This paper develops a method of compiling and optimizing complex function-free linear recursions using a variable connection graph, the V-graph. It shows that a function-free recursion consisting of a linear recursive rule and one or more nonrecursive rules can be compiled to (1) a bounded recursion, in which recursion can be eliminated from the program, or (2) an n-chain recursion, whose compiled formula consists of one chain, when n= 1, or n synchronized compiled chains, when n 〉 1. The study is based on a classification of linear recursions and a study of the compilation results of each class. Using the variable connection graph, linear recursions are classified into six classes: acyclic paths, unit cycles, uniform cycles, nonuniform cycles, connected components, and their disjoint mixtures. Recursions in each class share some common properties in compilation. Our study presents an organized picture for the compilation of general function-free linear recursions. After compilation, the processing of complex linear recursions becomes essentially the processing of primitive n-chain recursions or bounded recursions to which efficient processing methods are available.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Reasoning about defaults—implications that typically hold, but which may have exceptions—is an important part of commonsense reasoning. We present some parts of a theory of defaults, concentrating on distinctions between various subtle ways in which defaults can be defeated, and on inferences which seem plausible but which are not correct in all cases. To represent this theory in a formal system, it is natural to use the epistemic concept of self-belief. We show how to express the theory by a local translation into autoepistemic logic, which contains the requisite epistemic operators.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Ordinal reasoning plays a major role in human cognition. This paper identifies an important class of classification problems of patterns taken from ordinal domains and presents efficient, incremental algorithms for learning the classification rules from examples. We show that by adopting a monotonicity assumption of the output with respect to the input, inconsistencies among examples can be easily detected and the number of possible classification rules substantially reduced. By adopting a conservative classification criterion, the required number of rules further decreases. The monotonicity and conservatism of the classification also enable the resolution of conflicts among inconsistent examples and the graceful handling of don't knows and don't cares during the learning and classification phases. Two typical examples in which the suggested classification model works well are given. The first example is taken from the financial domain and the second from machining.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Constraint satisfaction problems are ubiquitous in artificial intelligence and many algorithms have been developed for their solution. This paper provides a unified survey of some of these, in terms of three classes: (i) tree search, (ii) arc consistency (AC), and (iii) hybrid tree search/arc consistency algorithms. It is shown that several important algorithms, when slightly rearranged, are of the latter hybrid form, but with arc consistency components that do not necessarily achieve full arc consistency at the tree nodes. Accordingly, we define several new partial AC procedures, AC1/5, AC1/4, AC1/3, and AC½, analogous to the well-known full AC algorithms which Mackworth has called AC1, AC2, and AC3. The fractional suffixes on our AC algorithms are roughly proportional to the degree of partial arc consistency they achieve. Unlike traditional versions, our AC algorithms (full and partial) are presented in a parameterized form to allow them to be embedded efficiently at the nodes of a tree search process. Algorithm complexities are compared empirically, using the n-queens problem and a new version called confused n-queens. Gaschnig's Backmarking (a tree search algorithm) and Haralick's Forward Checking (a hybrid algorithm) are found to be the most efficient. For the hybrid algorithms, we find that it pays to do little arc consistency processing at the nodes, incurring more nodes, but sufficiently reducing the work per node so as to obtain less work over the whole tree. The unified view taken here suggests several new algorithms. Preliminary results show one of these to be the best algorithm so far.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper develops and explores a first-order theory of time that appears useful as an underlying framework for a wide range of practical applications in artificial intelligence (AI). In particular, it presents a concise, formal axiomatization of “interval-based” time as described by Allen and then explores the relationship between interval-based and point-based temporal theories in detail. This analysis should be useful to both theoretical and practical work in AI that involves the representation of time, since it shows what distinctions are actually substantive and what arise merely from formalisms being notational variants of one another.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Instance-based representations have been applied to numerous classification tasks with some success. Most of these applications involved predicting a symbolic class based on observed attributes. This paper presents an instance-based method for predicting a numeric value based on observed attributes. We prove that, given enough instances, if the numeric values are generated by continuous functions with bounded slope, then the predicted values are accurate approximations of the actual values. We demonstrate the utility of this approach by comparing it with a standard approach for value prediction. The instance-based approach requires neither ad hoc parameters nor background knowledge.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This article ties together previously scattered research on discontinuous grammars—logic grammars in which non-explicit sequences of symbols can be alluded to in the rules and sometimes repositioned by them. After an introduction, we define them formally, present their background, and provide intuitive insight into their use. Next, we examine several motivating arguments, from both formal and natural language processing viewpoints, and we discuss the static discontinuity family of these grammars, in which (a) the nonexplicit strings are not allowed to move and (b) linguistic constraints specifically designed to suit, in particular, Government and Binding theory can be defined modularly and statically in terms of node domination in parse trees and are enforced dynamically. Finally, we discuss implementation issues, related work, and extensions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 5 (1989), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper addresses the problem in inductive generalization of determining when a general hypothesis is supported by a particular instance. If we accept that, first, some facts do indeed support a general hypothesis and, second, that an instance that supports a hypothesis also supports all logical consequences of the hypothesis, then unintuitive and problematic results are immediately forthcoming. These assumptions lead, for example, to the conclusion that a blue Honda is confirming evidence for the hypothesis that ravens are black. This problem is variously known as the paradoxes of confirmation or Hempel's paradox. In this paper I develop a formal characterization of the problem. The assumption that whatever supports all classical consequences of the hypothesis is rejected. Rather, I argue that a weaker notion of consequence should be adopted for determining what consequences of a hypothesis are supported by the same evidence. An extant formal system for learning from examples is used to address these problems of evidential support, and it is shown that in this framework the problems do not arise.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: There is much conjecture in the press about the manpower shortage in the UK expert system field. Is it hype or reality? Presented here are the findings of a three-month study which investigated the availability of jobs in this field, the types of personnel sought by employers and whether demand is currently being met. The study involved identifying and analysing all national advertisements for expert system posts over a six-month period and undertaking follow-up surveys involving the agencies and employers who placed the advertisements. It was concluded that the shortage of expert system personnel in the UK is neither hype nor reality. The reason for this is that although there is not a sizeable demand for expert system personnel (only 134 posts were advertised) some employers are genuinely finding it hard to fill posts.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: In new scientific domains, the interpretation of incomplete experimental data sets can be aided by effective modelling tools to assist scientists in understanding both the data and the interpretation process. A knowledge-based system is presented which was developed to assist with both of these tasks in the domain of protein biochemistry. The system uses a blackboard framework to interpret incomplete experimental data to build a descriptive model of the structural components of a protein. The evolution of the system from a procedural representation of knowledge to a declarative form is discussed for its role in increasing both the system's effectiveness at performing data analysis, and its flexibility in modelling the reasoning processes. Results of the system's performance, which compare favorably with reports of protein structures found in the literature, are presented, along with a discussion of the suitability of the blackboard framework and directions for future work.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: As Knowledge-Based Technology (KBT) becomes commercially exploitable, large financial commitments are being made, and businessmen are increasingly concerned to protect those investments. The nature of property rights in software is outlined. Issues arising in relation to software in general, and KBT in particular, are considered, and some significant areas of uncertainty are identified. It should not be assumed that investment in KBT-based products and applications automatically gives rise to property rights in the resulting software. Investors and technologists should seek legal advice as to whether, in the relevant legal jurisdictions, copyright or other intellectual property rights apply to their software. Further, they should take the steps necessary to establish and retain such rights
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: For the selection of stock portfolios, the optimiastion models or expert systems are used separately. To take advantage of both approaches, the integration of optimisation model and expert system is attempted. The proposed architecture—ISPMS (Intelligent Stock Portfolio Management System)—accomplishes the integration by interpreting the knowledge as a part of the formulation of optimisation model. The other generic issues in ISPMS are the integration of personal preference with the expert knowledge and knowledge acquisition by machine learning. This paper thus describes the representation and the inference of an expert knowledge, the representation of personal preference and its integration with the expert knowledge, the interpretation of the knowledge and preference to associate with optimisation model, and the solution algorithm of the modified optimisation model accordingly.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Much of the information resident in the knowledge base of a typical expert system is imprecise, incomplete or not totally reliable. The special features of a novel expert system shell based on fuzzy logic and numbers are presented. This rule-based system can deal with exact, inexact (fuzzy) and combined reasoning as well as uncertainty represented by fuzzy numbers. Natural language interface is built in naturally using fuzzy logic representation. Several application areas, namely, classification, risk analysis and information retrieval, are discussed with four appropriate sample expert systems actually built using this shell. Through these expert systems, the additional power and advantages over traditional expert systems are illustrated. It has been demonstrated that the introduction of fuzzy concepts into expert systesms is not feasible but highly desirable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: In a recent article in this journal Eliot [1] has argued for the integration of some sort of analogical mechanism in future expert systems. While the present author agrees with this general aim there were a number of central points made by Eliot which do not reflect the up-to-date consensus on the general stages of analogical thinking. These differences are elaborated and some of the implications for Eliot's ThinkBack system, which follow from them are considered.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 6 (1989), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: We realize a computer simulation of children's reasoning in arithmetic word problem solving. The model parses the terms provided to the system in natural language and, while it performs this task, it tries to build its representation of the described situation by the way that the child elaborates a mental problem representation. This image results from three components: semantic knowledge, text comprehension process, and problem-solving strategies.We emphasize the adequacy, on one hand, between the knowledge representation and manipulation by an object formalism and, on the other hand, between the structure and the use of knowledge interacting in this application.The specific aspect of our model is that the internal representation is realized in an object-oriented language whose main properties are accurately exploited. This choice allows one to combine the descriptive characteristics of each piece of knowledge with its implication in the progress of the process.The program is supported by the analysis of individual protocols of some children: they allow us to hypothesize on the way the children modify their problem representation during the solving task.We describe the main objects of the model. Then we simulate on the terms of a problem, the way that the process is driven by expectations of contextually relevant information.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: It is currently thought in the knowledge-based systems (KBS) domain that sophisticated tools are necessary for helping an expert with the difficult task of knowledge acquisition. The problem of detecting inconsistencies is especially crucial. The risk of inconsistencies increases with the size of the knowledge base; for large knowledge bases, detecting inconsistencies “by hand” or even by a superficial survey of the knowledge base is impossible. Indeed, most inconsistencies are due to the interaction between several rules via often deep deductions. In this paper, we first state the problem and define our approach in the framework of classical logic. We then describe a complete method to prove the consistency (or the inconsistency) of knowledge bases that we have implemented in the COVADIS system.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper provides a systematic treatment of possibly imprecisely or vaguely specified numerical quantifiers in default syllogisms, following an approach initiated by Zadeh. The obtained propagation rules are derived from simple properties of relative cardinality or, equivalently, conditional probability. Uncertainty in the description of numerical quantifiers is handled using possibility theory and, particularly, fuzzy arithmetic. The advantages of this default reasoning method are its ability to model any kind of quantifier and to build new defaults by chaining existing ones, in a rigorous manner. This approach also emphasizes the difference between two types of uncertain pieces of knowledge, i.e., conjectures versus general rules.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: GETA (Groupe d'études pour la traduction automatique) is a research team working basically in the domain of machine translation. GETA's software system, ARIANE-78, has been tested over various pairs of relatively unrelated languages. Being a product of the late seventies, the system misses out on some of the artificial intelligence technology, particularly that of the eighties. Nevertheless, GETA carries out some research related to artificial intelligence within a general effort to bring improvements to the current system. This paper reports on an effort to embed such work within the framework of an entirely new system based on ideas from expert systems, significantly departing from the methodology of the current system (and that of other currently implemented machine translation systems). The proposed architecture aims for total modularity and flexibility and some degree of intelligence.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper describes a dialogue-based system which is intended as an intelligent natural language interface to the French Yellow Pages. We do not assume that the user knows how the Yellow Pages are organized, and we paraphrase his request, if necessary, so as to better search for the desired information. We do, however, assume that the reason the user is on line is to find an address and phone number for some supplier.There are three basic modules used in our system: parser, dialogue manager, and generator. The first two exist (and are constantly being extended); the generation module is still only a set of functional specifications which will be outlined later in this article.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Logical omniscience may be described (roughly) as the state of affairs in which an agent explicitly believes anything which is logically entailed by that agent's beliefs. It is widely agreed that humans are not logically omniscient, and that an adequate formal model of belief, coupled with a correct semantic theory, would not entail logical omniscience. Recently, two prominent models of belief have emerged which purport both to avoid logical omniscience and to provide an intuitively appealing semantics. The first of these models is due to Levesque (1984b); the second to Fagin and Halpem (1985). It is argued herein that each of these models faces serious difficulties. Detailed criticisms are presented for each model, and a computationally oriented theory of intensions is presented which provides the foundation for a new formal model of belief. This formal model is presented in a decidable subset of first-order logic and is shown to provide a solution to the general problem of logical omniscience. The model provides for the possibility of belief revision and places no a priori restrictions upon an agent's representation language.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: The relative expressive power of a sentential operator □α is compared to that of a syntactical predicate L(‘α’) in the setting of first-order logics. Despite well-known results by Montague and by Thomason that claim otherwise, any of the so-called “modal” logics of knowledge and belief can be compiled into classical first-order logics that have a corresponding predicate on sentences. Moreover, through the use of a partial truth predicate, the standard modal axiom schemata can be translated into single sentences, making it possible to use conventional first-order logic theorem provers to directly derive results in a wide class of modal logics.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: The Graph Theorist, GT, is a system that performs mathematical research in graph theory. From the definitions in its input knowledge base, GT constructs examples of mathematical concepts, conjectures and proves mathematical theorems about concepts, and discovers new concepts. Discovery is driven both by examples and by definitional form. The discovery processes construct a semantic net that links all of GT's concepts together.Each definition is an algebraic expression whose semantic interpretation is a stylized algorithm to generate a class of graphs correctly and completely. From a knowledge base of these concept definitions, GT is able to conjecture and prove such theorems as “The set of acyclic, connected graphs is precisely the set of trees” and “There is no odd-regular graph on an odd number of vertices.” GT explores new concepts either to develop an area of knowledge or to link a newly acquired concept into a pre-existing knowledge base. New concepts arise from the specialization of an existing concept, the generalization of an existing concept, and the merger of two or more existing concepts. From an initial knowledge base containing only the definition of “graph,” GT discovers such concepts as acyclic graphs, connected graphs, and bipartite graphs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: The Trainee Teacher Support System (TTSS) is a computer based advisory system for trainee teachers. Development work, in the form of a feasibility study, has been conducted over the past three years. The main purpose of this study is to investigate the application of expert systems technology and artificial intelligence techniques to the formalisation of experienced teachers’ knowledge of classroom practice. The domain chosen is that of the school based ‘teacher-tutor’, responsible for guiding and advising the trainee teacher. The TTSS embodies a model of processes which underly classroom events. It has a knowledge base of rules, accumulates a database of facts and has a rule implementation program. It is undergoing continued development in order to capture the teacher-tutor's understanding of classroom dynamics on a finer timescale.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: The domain of mathematics has played a special part in the evolution of Intelligent Tutoring Systems (ITSs), beginning as far back as the 1950s when conventional Computer Assisted Instruction (CAI) came into being. A brief historical review of this evolutionary process is presented, followed by a selective survey of some of the intelligent tutoring systems in the mathematics domain as well as some of their shortcomings and the criticisms levelled against them. The work achieved so far towards the realisation of an intelligent tutoring system for a complex mathematical domain is presented. A major conclusion is that the ‘mal-rule’ methodology for developing tutoring systems may lend itself to simple ‘primitive’ domains, but its credibility is seriously questioned when it is applied to more ‘complex’ domains. An alternative methodology is proposed to solve this problem, together with an illustration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: FIRST CLASS is an inductive expert system development tool written by William Hapgood and supplied by 1 st-Class Expert Systems Inc. The product runs on IBM PC, XT and AT computers and close compatibles, running MS/DOS 2.0 or higher. It is sold in two versons, 1st-Class (at $495 U.S.) and 1st-Class Fusion (at $1295). This is a review of the plain version; but mention of ‘Fusion’ facilities is made where appropriate. 1st-Class Expert Systems Inc. can be contacted at: 286 Boston Post Road, Wayland, Massachusetts 1778, USA (617 358–7722).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: To overcome the inefficiency of domain independent tools, a domain-specific knowledge-based shell for parallel machine scheduling problems, PAMS (PArallel Machine Scheduling System), is proposed. PAMS has the following features; mixed knowledge representation, two-stage status-driven control strategy, conflict resolution using domain theory, domain-specific syntax and primitive operators, interface with database, domain-specific input/output interface, interactive scheduling capability, built-in heuristic knowledge, multiple levels of schedule, and expansibility of the domain. A prototype of PAMS, PAMS-1, is developed using C-language on a supermicrocomputer, and the performance of PAMS-1 is evaluated. The results show that the PAMS-1 performs very well from various perspectives.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: A system for the generation of naval flying programmes is described. The task is typical of some resource allocation problems, and comprises both the allocation of airborne resources to naval activities whilst taking into account a number of constraints, and the re-allocation of these resources when circumstances change whilst retaining as much of the original plan as possible. Techniques for constraint-based reasoning and assumption-based reasoning are combined to solve the task. An algorithm is described, based around an Assumption-Based Truth Maintenance System (ATMS), that is able to generate an initial allocation, determine the knock-on effects of changing requirements or resources, to retain those parts of the plan that were unaffected, and to re-allocate those parts that were affected. An interactive graphical interface has been designed that allows the user and the system to cooperate in the creation of flying programmes that meet the constraints and fit the situation at hand.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: This is a review of Expert Systems (ES) in the finance and banking areas. Their purpose, mode of operation and some design issues are discussed. This overview also looks at the most advanced research developments concerning strategic business planning, management, negotiation, and the use of qualitative reasoning for corporate assessment.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: The integration of a simulation model with two expert systems is described. The first expert system is the front end of the Hybrid Expert Simulation System (HESS) and is designed to check the consistency of the input variables which are provided to the simulation model by the end user. The second expert system is the back end of HESS and is designed to make recommendations based on experimentations with the simulation model. A case study for a software development life cycle process is described.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 5 (1988), S. 0 
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: We examine a number of logics of knowledge and belief from the perspective of knowledge-based systems. We are concerned with the beliefs of a knowledge-based system, including both the system's base set of beliefs–those garnered directly from the world–and beliefs that follow from the base set. Three things to consider with such logics are the expressive power of the language of the logic, the correctness and completeness of the inferences sanctioned, and the speed with which it is possible to determine whether a given sentence is believed. The influential possible worlds approach to representing belief has the property of logical omniscience, which makes for inferences that are unacceptable in the context of belief and may take too much time to make. We examine a number of weak logics which attempt to deal with these problems. These logics divide into three categories: those that admit incomplete or inconsistent situations into their semantics, those that posit a number of distinct states for a believer which correspond roughly to frames of mind, and those that incorporate axioms or other syntactic entities directly into the semantics. As to expressive power, we consider whether belief should be represented by a predicate or a sentential operator and examine the boundary between self-referential and inconsistent systems. Finally, we consider logics of believing only, which add the assumption that a system's base set of beliefs are, in a certain sense, all that it believes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: The theory of evidence proposed by G. Shafer is gaining more and more acceptance in the field of artificial intelligence, for the purpose of managing uncertainty in knowledge bases. One of the crucial problems is combining uncertain pieces of evidence stemming from several sources, whether rules or physical sensors. This paper examines the framework of belief functions in terms of expressive power for knowledge representation. It is recalled that probability theory and Zadeh's theory of possibility are mathematically encompassed by the theory of evidence, as far as the evaluation of belief is concerned. Empirical and axiomatic foundations of belief functions and possibility measures are investigated. Then the general problem of combining uncertain evidence is addressed, with focus on Dempster rule of combination. It is pointed out that this rule is not very well adapted to the pooling of conflicting information. Alternative rules are proposed to cope with this problem and deal with specific cases such as nonreliable sources, nonexhaustive sources, inconsistent sources, and dependent sources. It is also indicated that combination rules issued from fuzzy set and possibility theory look more flexible than Dempster rule because many variants exist, and their numerical stability seems to be better.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: McDermott has recently explained his fundamental philosophical shift on the methodology of artificial intelligence (AI) and has further suggested that the shift is both necessary and inevitable. The shift results from a perception that a trend towards overformalisation has detached the real problems from the research results. McDermott's criticism is an enlightened exhumation of the criticisms of the seventies and explains new ways in which the logical methodology can be abused. I argue that McDermott's criticism should not discourage the use of logic, but force a timely reexamination of its fundamental role in AI.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper describes a planning architecture that supports a form of hierarchical planning well suited to applications involving deadlines, travel time, and resource considerations. The architecture is based upon a temporal database, a heuristic evaluator, and a decision procedure for refining partial plans. A partial plan consists of a set of tasks and constraints on their order, duration, and potential resource requirements. The temporal database records the partial plan that the planner is currently working on and computes certain consequences of that information to be used in proposing methods to further refine the plan. The heuristic evaluator examines the space of linearized extensions of a given partial plan in order to reject plans that fail to satisfy basic requirements (e.g., hard deadlines and resource limitations) and to estimate the utility of plans that meet these requirements. The information provided by the temporal database and the heuristic evaluator is combined using a decision procedure that determines how best to refine the current partial plan. Neither the temporal database nor the heuristic evaluator is complete and, without reasonably accurate information concerning the possible resource requirements of the tasks in a partial plan, there is a significant risk of missing solutions. A specification language that serves to encode expectations concerning the duration and resource requirements of tasks greatly reduces this risk, enabling useful evaluations of partial plans. Details of the specification language and examples illustrating how such expectations are exploited in decision making are provided.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...