FSfRT: Forecasting System for Red Tides

A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in which the rules that determine a system are unknown, the prediction of the parameter values that determine the characteristic behaviour of the system can be a problematic task. In such a situation, it has been found that a hybrid case-based reasoning system can provide a more effective means of performing such predictions than other connectionist or symbolic techniques. The system employs a case-based reasoning model to wrap a growing cell structures network, a radial basis function network and a set of Sugeno fuzzy models to provide an accurate prediction. Each of these techniques is used at a different stage of the reasoning cycle of the case-based reasoning system to retrieve historical data, to adapt it to the present problem and to review the proposed solution. This system has been used to predict the red tides that appear in the coastal waters of the north west of the Iberian Peninsula. The results obtained from experiments, in which the system operated in a real environment, are presented.     

FSfRT: FORECASTING SYSTEM FOR RED TIDES. A HYBRID AUTONOMOUS AI MODEL

A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in which the rules that determine a system are unknown, the prediction of the parameter values that determine the characteristic behavior of the system can be a problematic task. In such a situation, it has been found that a hybrid case-based reasoning system can provide a more effective means of performing such predictions than other connectionist or symbolic techniques. The system employs a case-based reasoning model that incorporates a growing cell structures network, a radial basis function network, and a set of Sugeno fuzzy models to provide an accurate prediction. Each of these techniques is used at a different stage of the reasoning cycle of the case-based reasoning system to retrieve historical data, to adapt it to the present problem, and to review the proposed solution. This system has been used to predict the red tides that appear in the coastal waters of the north west of the Iberian Peninsula. The results obtained from experiments, in which the system operated in a real environment, are presented.     

混合案例推理和规则推理的集成推理框架

在智能决策系统（IDSS）获取知识的推理体系中，案例推理和规则推理有着各自的优点，而混合两者的集成推理可以克服两者的缺点，提高系统的效率和综合推理能力。但是集成推理系统缺乏通用性，延长了开发周期，且不利于规则库和案例库的重用。一种可扩充的集成推理框架为了解决上面的问题而被提出，该框架利用智能决策支持语言Knonit的组件性，对不同的集成方式可方便地扩充相应的集成推理方案，从而快速地搭建IDSS应用；同时规则和案例是作为Knonit广义知识元存在，可以在集成推理框架中复用，另一方面，Knonit的动态特性和可扩充性也对案例库和知识库动态的调整和扩充提供了支持。     

An integrated case-based reasoning approach for intelligent help desk fault management

As modern business functions become more complex and knowledge-intensive, with increasing demands for quality services, there is an emerging trend for organisations to develop and deploy intelligent knowledge-based systems for mission-critical operations. Some of the challenges in successfully implementing this breed of systems depend on how well the intelligent system is integrated with conventional existing information systems and workflow, and the quality of the intelligent system itself. Developing quality expert systems lies in the effective modelling of cognitive processes of human experts and representation of various forms of related knowledge in a domain. An integrated intelligent system called the Intelligent Help Desk Facilitator (IHDF), has been developed for computer and network fault management. The system, which comprises various modules including an expert system, is successfully deployed in a problem response help desk environment of a local bank. This paper describes a cognitive-driven approach to the development of the expert system based on a hybrid knowledge representation and reasoning strategy. The approach incorporates a hybrid case-based reasoning (CBR) framework of techniques which include case memory organisation structures (discrimination networks and shared-featured networks), case indexing and retrieval schemes (fuzzy character-matching, nearest-neighbour similarity matching and knowledge-guided indexing); and an interactive and incremental style of reasoning. The paper discusses the design and implementation of the expert system component of IHDF and illustrates the appropriateness of the hybrid architecture for problem resolution and diagnostic types of applications.     

Deriving real-time action systems in a sampling logic

Action systems have been shown to be applicable for modelling and constructing systems in both discrete and hybrid domains. We present a novel semantics for action systems using a sampling logic that facilitates reasoning about the truly concurrent behaviour between an action system and its environment. By reasoning over the apparent states, the sampling logic allows one to determine whether a state predicate is definitely or possibly true over an interval. We present a semantics for action systems that allows the time taken to sample inputs and evaluate expressions (and hence guards) into account. We develop a temporal logic based on the sampling logic that facilitates formalisation of safety, progress, timing and transient properties. Then, we incorporate this logic to the method of enforced properties, which facilitates stepwise refinement of action systems.     

Connection Calculus Theorem Proving with Multiple Built-in Theories

Gradually more applications of automated reasoning are discovered. This development has the consequence that deduction systems need to be increasingly flexible. They should exhibit a behavior appropriate to a given problem. One way to achieve this behavior is the integration of different systems or calculi. This leads to the so-called hybrid reasoning (Stickel, 1985; Frisch, 1991; Baumgartner, 1992; Petermann, 1993a) which describes the integration of a general purpose foreground reasoner with one specialized theory reasoner. The aim of this paper is to go a step further, i.e. to treat the theory reasoner as a hybrid system itself. The framework proposed below is suitable for building multiple theories into theorem provers. Those theories can be given syntactically but also semantically. Here, semantical reasoning is understood as reasoning, or rather computing, under a theory given by a class of models, whereas syntactical reasoning means reasoning under a theory given by first-order axioms. The presented approach is a generalization of previous attempts of combining syntactical reasoning under the empty theory with semantical reasoning (Bürckert, 1994; Baumgartner and Stolzenburg, 1995), of combining different theories given syntactically (Petermann, 1997) or just theory (or hybrid) reasoning. The paper formulates sufficient criteria for the construction of complete calculi which enable reasoning under hybrid theories combined from sub-theories given semantically and those given syntactically and briefly reports experimental work.     

Context-aware hybrid reasoning framework for pervasive healthcare

Pervasive computing has emerged as a viable solution capable of providing technology-driven assistive living for elderly. The pervasive healthcare system, Context-Aware Real-time Assistant (CARA), is designed to provide personalized healthcare services for elderly in a timely and appropriate manner by adapting the healthcare technology to fit in with normal activities of the elderly and working practices of the caregivers. The work in this paper introduces a personalized, flexible, and extensible hybrid reasoning framework for CARA system in a smart home environment which provides context-aware sensor data fusion as well as anomaly detection mechanisms that supports activity of daily living analysis and alert generation. We study how the incorporation of rule-based and case-based reasoning enables CARA to become more robust and to adapt to a changing environment by continuously retraining with new cases. Noteworthy about the work is the use of case-based reasoning to detect conditional anomalies for home automation, and the use of hierarchical fuzzy rule-based reasoning to deal with exceptions and to achieve query-sensitive case retrieval and case adaptation. Case study for evaluation of this hybrid reasoning framework is carried out under simulated but realistic smart home scenarios. The results indicate the feasibility of the framework for effective at-home monitoring.     

基于ATMS和证据理论的不确定性推理方法

本文提出了一种新的不确定性推理方法ＨＵＩＭ．这种方法把基于假设的真值维持系统（ＡＴＭＳ）和Ｄｅｍｐｓｔｅｒ—Ｓｈａｆｅｒ的证据理论有机地结合在一起，使得ＡＴＭＳ这种符号代数系统可用来处理以数值形式表示的不确定性信息．将该方法应用于基于规则的系统，可以弥补这类系统在不确定性推理方面所存在的某些不足．     

Integrating Case-Based and Rule-Based Reasoning to Meet Multiple Design Constraints

Although case-based reasoning (CBR) was introduced as an alternative to rule-based reasoning (RBR), there is a growing interest in integrating it with other reasoning paradigms, including RBR. New hybrid approaches are being piloted to achieve new synergies and improve problem-solving capabilities. In our approach to integration, CBR is used to satisfy multiple numeric constraints, and RBR allows the performance of "what if" analysis needed for creative design.
The domain of our investigation is nutritional menu planning. The task of designing nutritious, yet appetizing, menus is one at which human experts consistently outperform computer systems. Tailoring a menu to the needs of an individual requires satisfaction of multiple numeric nutrition constraints plus personal preference goals and aesthetic criteria.
We first constructed and evaluated independent CBR and RBR menu planning systems, then built a hybrid system incorporating the strengths of each system. The hybrid outperforms either single strategy system, designing superior menus, while synergistically providing functionality that neither single strategy system could provide. In this paper, we present our hybrid approach, which has applicability to other design tasks in which both physical constraints and aesthetic criteria must be met.     

Temporal reasoning for manufacturing: A hybrid representation and complexity management

Temporal considerations play a key role in the planning and operation of a manufacturing system. The development of a temporal reasoning mechanism would facilitate effective and efficient computer-aided process planning and dynamic scheduling. We feel that a temporal system that makes use of the expressive power of the integral language and the computational ease of the point language will be best suited to reasoning about time within the manufacturing system. The concept of a superinterval, or a collection of intervals, is used to augment a hybrid point-interval temporal system. We have implemented a reasoning algorithm that can be used to aid temporal decision making within the manufacturing environment. Using the quantitative results obtained by measuring our program's performance, we show how the superinterval can be used to partition large temporal systems into smaller ones to facilitate distributed processing of the smaller systems. The distributed processing of large temporal systems helps achieve real-time temporal decision-making capabilities. Such a reasoning system will facilitate automation of the planning and scheduling functions within the manufacturing environment and provide the framework for an autonomous production facility.     

基于双向推理的主体框架

文章提出了一个基于双向推理的主体框架FBRA,它是一个混合型的主体框架,主体既是反应的又是慎思的。它的推理内核是正向推理和反向推理相结合。正向推理用于对环境的反应,包括对其他主体的反应。反向推理基于溯因推理,用于信念修正、规划、多主体协调和多主体通信等。     

用于专家系统规则库的冗余校验方法研究

产生式规则是目前应用较多的一种知识表示方法。在用于确定发酵过程生物量软测量混合模型结构的专家系统中,当向产生式规则知识库添加新的规则时,冗余的存在会影响推理的效率以及推理的准确性。提出了一种用于该专家系统规则库的冗余校验方法,给出了冗余规则的判别、冗余规则的处理以及冗余校验的实现方法。实验结果表明,该冗余校验方法可以根据输入条件和已有规则,判断出新添加的规则是否冗余,并在消除冗余对推理效率影响的同时,降低模型复杂度,有利于优化混合模型的结构。     

ASHSD-II: A computational model for litigation support

Abstract: In this paper a hybrid knowledge-based system which exploits both rule-based reasoning (RBR) and case-based reasoning (CBR) is presented. The issues of RBR and CBR in general in the context of legal knowledge-based systems and legislation in rule form and previously-decided cases in an interconnected graph form are discussed. It is possible for the user to select either reasoning method (RBR or CBR), or indicate no preference. The rule base of this system consists of two types of rule. The first type of rule determines which options are legally applicable. The second type indicates how the courts are likely to act within the range of options available, which is determined by the first type of rule. When CBR is selected, the system uses the features of previously-decided cases to select the most similar cases to the situation that is described in the input and displays their details of decisions. In case of the selection of no preference option, the system applies RBR and CBR method separately, and then presents results based on an automated relative rating of the qualities of the RBR (based on the second type of rules) and CBR advice. These ideas have been implemented in a prototype system, known as A dvisory S upport for H ome S ettlement in D ivorce (ASHSD-II).     

Automated sleep stage scoring using hybrid rule- and case-based reasoning.

We propose an automated method for sleep stage scoring using hybrid rule- and case-based reasoning. The system first performs rule-based sleep stage scoring, according to the Rechtschaffen and Kale's sleep-scoring rule (1968), and then supplements the scoring with case-based reasoning. This method comprises signal processing unit, rule-based scoring unit, and case-based scoring unit. We applied this methodology to three recordings of normal sleep and three recordings of obstructive sleep apnea (OSA). Average agreement rate in normal recordings was 87.5% and case-based scoring enhanced the agreement rate by 5.6%. This architecture showed several advantages over the other analytical approaches in sleep scoring: high performance on sleep disordered recordings, the explanation facility, and the learning ability. The results suggest that combination of rule-based reasoning and case-based reasoning is promising for an automated sleep scoring and it is also considered to be a good model of the cognitive scoring process.     

基于混合智能的航天器故障诊断系统

面向航天器测控管理,研究了一种基于专家系统（ES）、案例推理（CBR）以及故障树（FT）的混合智 能诊断技术．文中,故障树双向混合推理机制被用于实现航天器故障定位和预测．同时案例推理的k 最近邻检索 策略（KNN）采用了简单实用、易收敛特性的多感官群集算法（MSA）．基于案例推理和故障树的航天器专家系 统（SESCF）采用了2 种融合模式．案例推理和故障树采用独立运行模式,专家系统与案例推理和故障树之间则采 用了松耦合运行模式．出于改善推理效率的目的,文中提出了一种将遥测信息转化为语义信息的结合特定推理方法 的非线性转换方法．某卫星供配电分系统的测试证实了SESCF 系统诊断的有效性．测试结果表明,相对于专家系 统,SESCF 系统具有更高的诊断准确度和可靠性．SESCF 系统采用的非线性转换方法在航天器故障诊断过程中简 单实用且容错性较好．     

Argumentation-enabled interest-based personalised recommender system

Recommender systems (RSs) use information filtering to recommend information of interest (to a user). Similarly, personalisation can be adopted for recommendations in e-market. We propose a new and innovative system called as interest-based recommender system (IBRS) for personalisation of recommendations. The IBRS is an agent-based RS that takes into account user's preferences. It can transform a standard product (or service) into a dedicated solution for an individual. The system discovers interesting product alternatives based on user's underlying mental attitudes (likes and dislikes) during the repair process using argumentation. The proposed method combines a hybrid RS approach with automated argumentation-based reasoning between agents. The system improves results by improving the recommendation repair activity. We consider a book recommendation application, for experiment to carry out the system's (objective and subjective) evaluation using standard metrics. The experiments confirm that the proposed IBRS improves user's acceptance of the product as compared with a traditional hybrid method and an argumentation-enabled state-of-the-art recommendation method. The system has been found to be more effective than its traditional counterpart when dealing with the new user problems.     

A hybrid knowledge-based system applied to epidemic screening

Although many knowledge-based systems (KBSs) focus on single-paradigm approaches to encoding knowledge (such as production rules), experts rarely use a single type of knowledge in solving a problem. More often, an expert will apply a number of reasoning mechanisms. In recent years, rule-based reasoning (RBR), case-based reasoning (CBR) and model-based reasoning (MBR) have emerged as important and complementary reasoning methodologies in artificial intelligence. For complex problem solving, it is useful to integrate RBR, CBR and MBR. In this paper, a hybrid KBS which integrates a deductive RBR system, an inductive CBR system and a quantitative MBR system is proposed for epidemic screening. The system has been tested using real data, and results are encouraging.     

Framework for evaluation and selection of the software packages: A hybrid knowledge based system approach

Evaluation and selection of the software packages is complicated and time consuming decision making process. Selection of inappropriate software package can turn out to be costly and adversely affects business processes and functioning of the organization. In this paper we describe (i) generic methodology for software selection, (ii) software evaluation criteria, and (iii) hybrid knowledge based system (HKBS) approach to assist decision makers in evaluation and selection of the software packages. The proposed HKBS approach employs an integrated rule based and case based reasoning techniques. Rule based reasoning is used to capture user needs of the software package and formulate a problem case. Case based reasoning is used to retrieve and compare candidate software packages with the user needs of the package. This paper also evaluates and compares HKBS approach with the widely used existing software evaluation techniques such as analytic hierarchy process (AHP) and weighted scoring method (WSM).     

Hybrid intelligent parameter estimation based on grey case-based reasoning for laminar cooling process

In this paper, a hybrid intelligent parameter estimation algorithm is proposed for predicting the strip temperature during laminar cooling process. The algorithm combines a hybrid genetic algorithm (HGA) with grey case-based reasoning (GCBR) in order to improve the precision of the strip temperature prediction. In this context, the hybrid genetic algorithm is formed by combining the genetic algorithm with an annealing and a local multidimensional search algorithm based on deterministic inverse parabolic interpolation. Firstly, the weight vectors of retrieval features in case-based reasoning are optimised using hybrid genetic algorithm in offline mode, and then they are used in grey case-based reasoning to accurately estimate the model parameters online. The hybrid intelligent parameter estimation algorithm is validated using a set of operational data gathered from a hot-rolled strip laminar cooling process in a steel plant. Experiment results show the effectiveness of the proposed method in improving the precision of the strip temperature prediction. The proposed method can be used in real-time temperature control of hot-rolled strip and has potential for parameter estimation of different types of cooling process.     

TR—Temporal reasoner

A constraint-based qualitative reasoning system that integrates Allen's interval calculus, point calculus and pan of Simmons' quantity lattice is presented in this paper. The highlight of the work is a simple but powerful logical system for expressing both quantitative and qualitative information managed by a temporal manager (TM). Allen's algorithm, which deals with time intervals, is extended to reason about time points. The hybrid method of propagating temporal constraints permits flexible control over both systems. We try to offset the limitations of an interval-based representation by the advantages of a point-based representation.