Using evidence combination for transformer defect diagnosis

This paper describes a number of methods of evidence combination, and their applicability to the domain of transformer defect diagnosis. It explains how evidence combination fits into an on-line and implemented agent-based condition monitoring system, and the benefits of giving selected agents reflective abilities. Reflection has not previously been deployed in an industrial setting, and theoretical work has been in domains other than power engineering. This paper presents the results of implementing five different methods of evidence combination, showing that reflective techniques give greater accuracy than non-reflective

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typed {\lambda}-calculus with nameless spine notation, explicit substitutions, and perfect term sharing) with an ambitious multi-agent blackboard architecture (supporting prover parallelism at the term, clause, and search level). Further features of LeoPARD include a parser for all TPTP dialects, a command line interpreter, and generic means for the integration of external reasoners.Comment: 6 pages, to appear in the proceedings of CICM'2015 conferenc

Enhancing Workflow with a Semantic Description of Scientific Intent

Peer reviewedPreprin

Early aspects: aspect-oriented requirements engineering and architecture design

This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004. The workshop included a presentation session and working sessions in which the particular topics on early aspects were discussed. The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed methods and techniques to scale up to industrial applications