PoK

Authors: Kenneth C. Cox, Gruia-Catalin Roman

Description:
Declarative visualization is a paradigm in which the process of visualization is treated as a mapping from some domain (typically a program) to an image. One means of declaring such mappings is through the use of rules which specify the relationship between the domain and the image. This paper examines the computational power of such rule-based mappings. Computational power is measured using three separate criteria. The first of these uses the Chomsky hierarchy, in which computational power is treated as string-acceptance; with this criterion we are able to show that certain rule-based models are equivalent in power to Turing machines. The second criterion is the evaluation of recursive functions, while the third is a more informal consideration of the abstractive capabilities of the mapping.

Authors: Gruia-Catalin Roman, Rose F. Gamble, William E. Ball

Description:
This paper describes a formal approach for developing concurrent rule-based programs. Specification refinement is used to generate an initial version of the program. Program refinement is then applied to produce a highly concurrent and efficient version of the same program. Techniques for deriving concurrent programs through either specification or program refinement have been described in previous literature. The main contribution of this paper consists of extending the applicability of these techniques to a broad class of rule-based programs. To the best of our knowledge, this is the first time formal derivation is employed in the context of rule-based programming.

Authors: Sanja Petrovic, Gareth Beddoe, Greet Vanden Berghe

Description:
The inherent diffculties in eliciting domain knowledge from experts are often encountered when applying artificial intelligence techniques to real-world problems characterised by multiple conflicting constraints. Definitions of optimal solutions are often subjective and highly dependent on the opinions and work practices of individual experts. We developed a case-based reasoning approach to capture concepts of optimality through the storage, reuse, and adaptation of previous repairs of constraint violations. The technique is applied to the problem of rostering nurses at the Queens Medical Centre, Nottingham. An iterative roster repair system is presented that learns repair techniques from nurses with rostering experience.

Authors: process.com

Description:
While other filtering methods may be as effective for now, Bayesian filtering includes an element of changeability that makes it very difficult for spammers to circumvent. Savvy spammers with a lot of resources try to buy every anti-spam filtering product they can get their hands on, and test their spam messages against it so they can be sure the spam will get through to the recipient. Since every site with a Bayesian filter installed has a different set of tokens in their database, it makes it impossible for the spammer to deliberately craft a message that will bypass a site’s Bayesian filter. Because the Bayesian filter is constantly being updated, every sneaky change in message wording made by spammers will be quickly identified and rendered ineffective. This makes Bayesian filtering the bane of every spammer, and something every site serious about stopping spam should have.

Authors: Syed Sibte Raza Abidi

Description:
We present a Personalized Health Information Generation and Delivery System that leverages case based reasoning techniques to dynamically author a Personalized Health Information Package based on an individual’s current health profile. The work features a compositional adaptation approach, whereby relevant health information elements from the solution component of multiple similar past cases are carefully selected and systematically combined to yield a new personalized health information package. We have implemented a generic Java-based case based reasoning engine that applies a novel compositional adaptation algorithm to author a HTML-based personalized health information package that can be emailed to users.