Epistemic programming has been proposed as a new programming paradigm for scientists to program their epistemic processes in scientific discovery. As the first step to construct an epistemic programming environment, t...
详细信息
ISBN:
(纸本)9783540725831
Epistemic programming has been proposed as a new programming paradigm for scientists to program their epistemic processes in scientific discovery. As the first step to construct an epistemic programming environment, this paper proposes the first epistemic programming language, named 'EPLAS'. the paper analyzes the requirements of an epistemic programming language, presents the ideas to design EPLAS, shows the important features of EPLAS, and presents an interpreter implementation of EPLAS.
LPNMR is based on very solid theoretical foundations. After nearly twenty years of research, LPNMR languages are expressively rich, and their semantic and computational properties are well understood today. Moreover, ...
详细信息
Requirements Engineering involves the elicitation of highlevel stakeholder goals and their refinement into operational system requirements. A key difficulty is that stakeholders typically convey their goals indirectly...
详细信息
ISBN:
(纸本)9783540738466
Requirements Engineering involves the elicitation of highlevel stakeholder goals and their refinement into operational system requirements. A key difficulty is that stakeholders typically convey their goals indirectly through intuitive narrative-style scenarios of desirable and undesirable system behaviour, whereas goal refinement methods usually require goals to be expressed declaratively using, for instance, a temporal logic. Currently, the extraction of formal requirements from scenario-based descriptions is a tedious and error-prone process that would benefit from automated tool support. We present an ILP methodology for inferring requirements from a set of scenarios and an initial but incomplete requirements specification. the approach is based on translating the specification and scenarios into an event-based logicprogramming formalism and using a non-monotonic ILP system to learn a set of missing event preconditions. the contribution of this paper is a novel application of ILP to requirements engineering that also demonstrate the need for non-monotonic learning.
Probabilistic logic Learning (PLL) aims at learning probabilistic logical frameworks on the basis of data. Such frameworks combine expressive knowledge representation formalisms withreasoning mechanisms grounded in p...
详细信息
ISBN:
(纸本)9783540738466
Probabilistic logic Learning (PLL) aims at learning probabilistic logical frameworks on the basis of data. Such frameworks combine expressive knowledge representation formalisms withreasoning mechanisms grounded in probability theory. Numerous frameworks have already addressed this issue. therefore, there is a real need to compare these frameworks in order to be able to unify them. this paper provides a comparison of Relational Markov Models (RMMs) and Bayesian logic Programs (BLPs). We demonstrate relations between BLPs' and RMMs' semantics, arguing that RMMs encode the same knowledge as a sub-class of BLPs. We fully describe a translation from a sub-class of BLPs into RMMs and provide complexity results which demonstrate an exponential expansion in formula size, showing that RMMs are less compact than their equivalent BLPs with respect to this translation. the authors are unaware of any more compact translation between BLPs and RMMs. A full implementation has already been realized, consisting of meta-interpreters for both BLPs and RMMs and a translation engine. the equality of BLPs' and corresponding RMMs' probability distributions has been proven on practical examples.
Answer-set programming (ASP) is a logicprogramming paradigm for declarative problem solving which gained increasing importance during the last decade. However, so far hardly any tools exist supporting software engine...
详细信息
Answer-set programming (ASP) is a logicprogramming paradigm for declarative problem solving which gained increasing importance during the last decade. However, so far hardly any tools exist supporting software engineers in developing answer-set programs, and there are no standard methodologies for handling unexpected outcomes of a program. thus, writing answer-set programs is sometimes quite intricate, especially when large programs for real-world applications are required. In order to increase the usability of ASP, the development of appropriate debugging strategies is therefore vital. In this paper, we describe the system spock, a debugging support tool for answer-set programs making use of ASP itself. the implemented techniques maintain the declarative nature of ASP within the debugging process and are independent from the actual computation of answer sets.
the authors propose an automated neuro-fuzzy system approach (with neural network subsystem) to power quality assessment incorporating equipment susceptibility patterns. the system is expected to handle dependencies b...
详细信息
ISBN:
(纸本)9780889866898
the authors propose an automated neuro-fuzzy system approach (with neural network subsystem) to power quality assessment incorporating equipment susceptibility patterns. the system is expected to handle dependencies between super-position of different disturbances and specific devices' susceptibility to disturbances. Two neural network architectures were applied: a well known radial-basis neural networks for automatic rules' generation and a neuro-fuzzy system for overlaid disturbances influence modeling. Proposed approach can help to predict damages or abnormal functioning of devices and implement adequate countermeasures.
A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifically in the ProB model checking tool. At the impl...
详细信息
ISBN:
(纸本)9783540687603
A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifically in the ProB model checking tool. At the implementation end of the development, concurrent programming in Java remains a demanding and error-prone activity, because of the need to verify critical properties of safety and liveness as well as functional correctness. this work contributes to the automated development of concurrent Java programs from such integrated specifications. the JCSP package was originally designed as a proven clean Java concurrency vehicle for the implementation of certain CSP specifications. In the context of best current Java concurrent programming practice, we extend the original JCSP package to support the integrated B and CSP specification by implementing new channel classes. We propose rules for the automated translation of the integrated specification to multi-threaded Java using the extended JCSP channel classes. We briefly present a prototype translation tool which extends ProB, with a worked example, and conclude with a strategy for formally verifying the translation.
the proceedings contain 41 papers. the topics discussed include: an online EHW pattern recognition system applied to sonar spectrum classification;design of electronic circuits using a divide-and-conquer approach;impl...
详细信息
ISBN:
(纸本)9783540746256
the proceedings contain 41 papers. the topics discussed include: an online EHW pattern recognition system applied to sonar spectrum classification;design of electronic circuits using a divide-and-conquer approach;implementing multi-VRC cores to evolve combinational logic circuits in parallel;an intrinsic evolvable hardware based on multiplexer module array;estimating array connectivity and applying multi-output node structure in evolutionary design of digital circuits;research on the online evaluation approach for the digital evolvable hardware;research on multi-objective on-line evolution technology of digital circuit based on FPGA model;evolutionary design of generic combinational multipliers using development;and automatic synthesis of practical passive filters using clonal selection principle-based gene expression programming.
Withthe size and complexity of many software systems increasing, they need to give a greater emphasis to capture and maintain requirement knowledge within the software development process. this knowledge can be captu...
详细信息
Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized networks of heterogeneous devices with severe re...
详细信息
ISBN:
(纸本)9783540725831
Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized networks of heterogeneous devices with severe resource constraints. As a consequence, developers must explicitly deal with low-level details, making programming time-consuming and error-prone. To reduce this burden, current sensor network programming languages espouse a model that relies on packaged reusable components to implement relevant pieces of a distributed communication infrastructure. Unfortunately, programmers are often forced to understand the mechanisms used by these implementations in order to optimize resource utilization and performance, and to ensure application requirements are met. To address these issues, we propose a novel and high-level programming model that directly exposes control over sensor network behavior using temporal logic specifications, in conjunction with a set of system state abstractions to specify, generate, and automatically validate resource and communication behavior for sensor network applications. TLA+ (the temporal logic of actions) is used as the underlying specification language to express global state abstractions as well as user invariants. We develop a synthesis engine that utilizes TLC (a temporal logic model-checker) to generate detailed actions so that user-provided behavioral properties can be satisfied, guaranteeing program correctness. the synthesis engine generates specifications in TLA+, which are compiled down to sensor node primitive actions. We illustrate our model using a detailed experimental evaluation on our structural sensing and control testbed. the proposed framework is integrated into the COSMOS macroprogramming environment, which is extensively used to develop sensing and control applications at the Bowen Lab for Structural Engineering at Purdue.
暂无评论