Planasia - Rule Based Systems

Plexpert

Planasia - Italy - Sestri Levante (GE) - e-mail planasia@planasia.it - Tel +39-335-6454.491

Plexpert is a tool for building rule based Reasoning Systems (Decision Support Systems).
It allows a quick development of efficient, flexible and reliable Knowledge Bases.

Plexpert is suitable for applications about:

sales support

optimization

diagnostic

configuration

planning

risk evaluation

intellignet user interface

entertainment

more... (it is an horizontal tool)

Its scalable features allow the development of Enterprise (Server), Consumer (Client), Wireless (Mobile Phones) or Embedded (Web Services) applications.

Plexpert is a Java technology product: portable, compact, safe, distributed.
It is an effective and inexpensive tool. The typical Plexpert user is a Java-programmer who wants to develop an application having a complex and articulated logic.

Try Plexpert with the below demos:

italian version

Expert System for Sales Support (in touristic filed)	Expert System for Equipment Diagnosis (wireless edition)
Rules of the above application: IF where IS sea AND how IS sport AND sport IS sail AND haveChildren AND ageChildren IS under8 THEN proposal IS sailFamily IF where IS sea AND how IS sport AND sport IS sail AND haveChildren AND ageChildren IS over8 THEN proposal IS pinkMoon IF where IS sea AND how IS sport AND sport IS sail AND haveChildren IS_FALSE THEN proposal IS ultraSkipper IF where IS sea AND how IS sport AND sport IS windsurf AND haveChildren AND ageChildren IS under8 THEN proposal IS kidSurf IF where IS sea AND how IS sport AND sport IS windsurf AND haveChildren AND ageChildren IS over8 THEN proposal IS kidSurf IF where IS sea AND how IS sport AND sport IS windsurf AND haveChildren IS_FALSE THEN proposal IS windScream IF where IS sea AND how IS sport AND sport IS sub AND equipment IS own THEN proposal IS deepScuba IF where IS sea AND how IS sport AND sport IS sub AND equipment IS rental THEN proposal IS abyssTerror IF where IS sea AND how IS relax AND position IS panoramic THEN proposal IS splendor IF where IS sea AND how IS relax AND position IS bathing THEN proposal IS megaBeach IF where IS mountain AND how IS sport AND sport IS summerSki AND haveChildren AND ageChildren IS under8 THEN proposal IS SunSnow IF where IS mountain AND how IS sport AND sport IS summerSki AND haveChildren AND ageChildren IS over8 THEN proposal IS SunSnow IF where IS mountain AND how IS sport AND sport IS summerSki AND haveChildren IS_FALSE THEN proposal IS schwarz IF where IS mountain AND how IS sport AND sport IS mtb AND equipment IS own THEN proposal IS hardCycle IF where IS mountain AND how IS sport AND sport IS mtb AND equipment IS rental THEN proposal IS wildPedal IF where IS mountain AND how IS sport AND sport IS climbing THEN proposal IS extremPlus IF where IS mountain AND how IS relax THEN proposal IS totalQuietness IF where IS travel AND travelType IS ownCar AND haveChildren THEN proposal IS funTrip IF where IS travel AND travelType IS ownCar AND haveChildren IS_FALSE THEN proposal IS driveBreakfast IF where IS travel AND travelType IS flyDrive THEN proposal IS exhoAdventure IF where IS travel AND travelType IS trainBike THEN proposal IS flatBike

Expert System
for Sales Support
(in touristic filed)

Expert System
for Equipment Diagnosis
(wireless edition)

Rules of the above application:

IF where IS sea
   AND how IS sport
   AND sport IS sail
   AND haveChildren
   AND ageChildren IS under8
THEN proposal IS sailFamily

IF where IS sea
   AND how IS sport
   AND sport IS sail
   AND haveChildren
   AND ageChildren IS over8
THEN proposal IS pinkMoon

IF where IS sea
   AND how IS sport
   AND sport IS sail
   AND haveChildren IS_FALSE
THEN proposal IS ultraSkipper

IF where IS sea
   AND how IS sport
   AND sport IS windsurf
   AND haveChildren
   AND ageChildren IS under8
THEN proposal IS kidSurf

IF where IS sea
   AND how IS sport
   AND sport IS windsurf
   AND haveChildren
   AND ageChildren IS over8
THEN proposal IS kidSurf

IF where IS sea
   AND how IS sport
   AND sport IS windsurf
   AND haveChildren IS_FALSE
THEN proposal IS windScream

IF where IS sea
   AND how IS sport
   AND sport IS sub
   AND equipment IS own
THEN proposal IS deepScuba 

IF where IS sea
   AND how IS sport
   AND sport IS sub
   AND equipment IS rental
THEN proposal IS abyssTerror

IF where IS sea
   AND how IS relax
   AND position IS panoramic
THEN proposal IS splendor

IF where IS sea
   AND how IS relax
   AND position IS bathing
THEN proposal IS megaBeach


IF where IS mountain
   AND how IS sport
   AND sport IS summerSki
   AND haveChildren
   AND ageChildren IS under8
THEN proposal IS SunSnow

IF where IS mountain
   AND how IS sport
   AND sport IS summerSki
   AND haveChildren
   AND ageChildren IS over8
THEN proposal IS SunSnow

IF where IS mountain
   AND how IS sport
   AND sport IS summerSki
   AND haveChildren IS_FALSE
THEN proposal IS schwarz

IF where IS mountain
   AND how IS sport
   AND sport IS mtb
   AND equipment IS own
THEN proposal IS hardCycle 

IF where IS mountain
   AND how IS sport
   AND sport IS mtb
   AND equipment IS rental
THEN proposal IS wildPedal

IF where IS mountain
   AND how IS sport
   AND sport IS climbing
THEN proposal IS extremPlus

IF where IS mountain
   AND how IS relax
THEN proposal IS totalQuietness


IF where IS travel
   AND travelType IS ownCar
   AND haveChildren
THEN proposal IS funTrip

IF where IS travel
   AND travelType IS ownCar
   AND haveChildren IS_FALSE
THEN proposal IS driveBreakfast

IF where IS travel
   AND travelType IS flyDrive
THEN proposal IS exhoAdventure

IF where IS travel
   AND travelType IS trainBike
THEN proposal IS flatBike

if you don't see the above demos, download Java now

Technical features:

Rules in pseudo natural syntax
(e.g.: "if exists a car whose color is red, then buy it")

Rules with no limits in number, size, complexity
(try the benchmark with 10000 rules)

Forward and backward reasoning
(from data to consequences + from hypotheses to conditions)

Mixed reasoning strategy
(rules, procedures, database access, user questions)

Evocative reasoning
(partially verified rules are evaluated at low priority)

Heuristic reasoning
(missing data are searched only when necessary)

Non-monotonic reasoning
(e.g.: if X then recompute Y)

Explanation and justification of reasoning and results
(several detail levels)

Propositional logic
(if-then, and, or, not)

Predicate logic
(e.g.: for each X whose value is Y the corresponding Z equals K)

Existential Quantifiers
(e.g.: if exists at least one X then Y)

Universal quantifiers
(e.g.: if all X satisfy Y then Z)

Single instance management
(e.g.: if instance N of X is Y then instance K of Z equals W)

Rules with multiple consequents
(e.g.: if X then Y and then Z and then K)

Specific mathematical management
(e.g.: if X then compute Y)

Full integration rules --> Java-methods
(e.g.: if X is function_Y then Z equals method_K with parameter P)

Full integration Java-methods --> rules
(e.g.: void X() {exec_rule(Y);} )

Reasoning personalization
(e.g.: if almost three quatres of X equals Y then Z)

Typed variables with severe consistency check
(integer, real, boolean and symbolic)

Complex data structures, with classes hierarchy
(e.g.: if X.Y.Z then considers class K)

Applicative features:

Modular and scalable architecture
(inferential engine, knowledge base, user interface, host application)

Remote data access via HTTP
(data loaded only when necessary, only selected records)

XML / SOAP compliant

Availability of centralized reasoning on server or distributed on client

Configuration as Applet, Servlet, Application (Console), Midlet (mobile phone) or Web Service

Code size extremely small
(the above demo size is 23 Kb: 12 inferential engine, 5 knowledge base, 6 GUI)

High performances
(about 15000 rules per second)

Portable user interface (AWT 1.0) and customizable

Severe error and incosistency check

Debugger with several inspecting degrees

Integration with ASP, JSP, JWSDP

Compiled and encrypted knowledge bases

No Runtime library, no deployment license

Standard hardware configuration
(available for whichever platform having Java-VM 1.0.x)

Tested on main browser
(Netscape/Mozilla 4.03, 4.07, 5.0; Microsoft Internet Explorer 4.0, 5.5, 6.0)

Tested on main platforms
(Windows 9x/NT/XP; Unix Solaris/Aix, Linux)

Tested on main application servers
(Tomcat, Resin, Bea Weblogic)

Tested on main mobile phones
(Nokia, Siemens, Sony-Ericsson)

Future features:

Fuzzy reasoning

Unknown data management

References and documentation

Agronomy: fertilization planning

Agronomy: visual leaf diagnosis (documentation)

Finance: offer generation for Energy Stock Exchange

Energy: diagnosis of high voltage power network (documentation)

Wireless: user interface for mobile devices (documentation)

Demonstrative prototypes

Equipment diagnostic

Aptitudinal test for recruiting

Touristic adviser

Entertainment as purchase prelude

Sales support on mobile phone

[Home Page] [Who we are] [What do we offer] [Skills] [Applications] [References] [Demo] [Mail]