The adoption of a policy-based approach for the dynamic regulation of a system or service (e.g. security, QoS or mobility service) requires an appropriate policy representation and processing. In the context of the Se...
详细信息
We propose an action formalism that is based on description logics (DLs) and may be viewed as an instance of the Situation Calculus (SitCalc). In particular, description logic concepts can be used for describing the s...
详细信息
Plant PowerOps (PPO) [9] is a new ILOG product, based on business rules and optimization technology, dedicated to production planning and detailed scheduling for manufacturing. This paper describes how PPO integrates ...
详细信息
In this paper, we study termination properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and emplo...
详细信息
Remote agents used in Deep Space Missions such as rovers or solar airplanes must function autonomously over a prolonged time during planetary exploration. The Mission Data System (MDS) framework has been developed to ...
详细信息
Remote agents used in Deep Space Missions such as rovers or solar airplanes must function autonomously over a prolonged time during planetary exploration. The Mission Data System (MDS) framework has been developed to address design and deployment of these complex systems. We are using the Maude environment to develop a formal framework with methods and supporting tools for increasing the dependability of MDS space systems. This is done by developing formal executable specifications of the MDS framework and its mission-specific adaptations and providing a set of formal checklists (formal analysis suites) that can be used to achieve better predictability and dependability. In this paper we present our formal model of the MDS framework, an adaptation for a remote rover and preliminary checklists for remote agents.
Real-Time Maude 2.1 is an extension of Full Maude 2.1 supporting the formal specification and analysis of real-time and hybrid systems. Symbolic simulation, search and model checking analysis are supported for a wide ...
详细信息
An algorithm based on Ant Colony System for solving Traveling Salesman Problem is proposed. The new algorithm, introduces in Ant Colony System an inner loop aiming to update the pheromone trails. The update increases ...
详细信息
We describe a platform, IOP, for the interoperation of formal reasoning tools, and an adaptation of Maude, IMaude, that utilizes this platform. Three applications of IMaude and IOP to real world problem domains are de...
详细信息
We describe a platform, IOP, for the interoperation of formal reasoning tools, and an adaptation of Maude, IMaude, that utilizes this platform. Three applications of IMaude and IOP to real world problem domains are described.
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any input data, dynamic slices are computed ...
详细信息
In this paper, we present a rule-based approach to the inference of elders' activity in two primary application areas: detecting Independent Activities of Daily Living (IADLs) for the detection of anomalies in act...
详细信息
ISBN:
(纸本)1577352483
In this paper, we present a rule-based approach to the inference of elders' activity in two primary application areas: detecting Independent Activities of Daily Living (IADLs) for the detection of anomalies in activity data patterns consistent with arising health issues over a period of time, and the detection of possible emergency conditions passively and unobtrusively. We discuss our efforts using classification techniques leading to the rule-based inference approach, and compare results between the two approaches. The results have shown the viability and validity of knowledge-engineered rules, which outperformed automatically generated rules using random forest supervised learning;the κ correlation coefficient between the classification results of the random forest model and the PDA record was 0.79, with 85% sensitivity and 93% specificity, compared to κ=0.84, with 91% sensitivity and 100% specificity for the knowledge engineered rule aimed at the detection of main meal preparation. The paper also presents experimental field trial results of the rule-based approach demonstrating the utility of the method and future directions for our research.
暂无评论