Achieved Targets: Published Releases and Features of psiKeds

(C* = Complexity | R* = Responsible | P* = Priority / success)


gold release :- prefinal psiKeds release 0.90.1


silver release :- enhanced psikeds release 0.9.8


techneticum release :- refactoring release 0.9.7


brass release :- first really usable psiKeds release 0.9.6

PBL-c12Logging the list of decisions as base for a reset / undo to solve conflicts and erroneous decisions The deduction protocol shall not only allow to prescribe a partial solution (aktueller Wissenstand) which the next deduction step has to respect as ist context, but also a set of decisions, which must be respected during the deduction.MMJ
PBL-c11Enhanced complex knowledge baseThe XSD, the xtext editor, and the knowledge machine is prepared to contain even complex knowledge bases using the recently achieved expressive powerLKR
PBL-c10Simple number of PS / componentsThe knowledge base shall be able to express that a PV has n * constituting PS as 'components'. Thee simple interpretation is, that the one selected fulfilling PV is added n times.SMJ
PBL-c09Xtext based knowledge base editor (for xml psiKeds knowledge bases)Instead developing psiKeds knowledge bases directly by using an xml Editor the psiKeds knowledge base language shall be taken as domain specific language and defined by Xtext. (Ironically, the specific domain is then the domain of domain independent psiKeds knowledge representations)XLKR
PBL-c08simple psiKeds knowledge base formatNew knowledge base format, which does not use xml as meta format, is definedXLKR
PBL-c07Functions on feature eventsFunction rules are operating on feature class events which use values of type number. Function rules take n prefix arguments (events) and compute the value of one conclusio feature class event. Reverse Computing ('Modus Tollens') is also possible.XLMJ
PBL-c06Logical rules on concept events and concept NOT eventsEvents and NOT events on concepts shall be usable as parts of logical rules.MMJ
PBL-c05Events and NOT events on conceptsFollowing the idea of the variant and feature events, events shall also be able denote specific concepts.MMJ
PBL-c04Feature sets as conceptsA set of features which sub-specifies a variant is taken as a concept and integrated into a variant specific  is-a concept taxonomy.LMJ
PBL-c03Relations on features (= feature values [strings | numbers])The use of the (reversable) relations <, >, =, <> shall be enabled. Relational expressions refer to [ <, >, =, <> ([context sensitive prefix + Fclass],([context sensitive prefix + Fclass])]. Reverse triggering ('Modus Tollens')LMJ
PBL-c02Logical rules on NOT events (on variants and features) A NOT Event shall become true, if inside of a happened context sensitive prefix a purpose variant or a feature value has not been selected.MMJ
PBL-c01Logical rules on feature events (= feature values [strings | numbers] for sub-specifying variants)Events shall denote specific feature values. PVs contain lists of allowed FVals. Each FVals of such a list belongs to the same feature class.  An event id: [context sensitive prefix + PV + FClass + FValue]. Logical rules work just as those of PV-Events.MMJ

copper release :- first published stable psiKeds release 0.4.0

PBL-b09BImplementing a basic demo reference databaseBased only on variant events, the 'web-server-environment' is written as psiKeds xml database and can be evaluated by the resolution engine for inferring valid knowledge entity descriptions. The results are successfully demonstrated.MMJ
PBL-b09ASpecifying some basic reference databaseThe 'eimer'-domain and the 'web-server-environment' are defined as basic reference domainsMKR
PBL-b08BImplementing the initial version of the resolution / inference processThe inference machine of the resolution engine evaluates logical rules based on variant events and derives knowledge entity descriptions by using the Modus Ponens and the Modus Tollens as conclusion pattern XLMJ
PBL-b08ASpecifying the initial version of the resolution / inference processOperating on variant events and (simple) logical if-then-rules, the resolution engine takes a decision and computes the next state of the knowledge entity description: (A) The selected variant [decision] is added to the description. (B) The logical conclusions are computed: (a) If the decision makes the context of an event happened, its detail is marked as relevant. (b) If the decision makes the context of an event unhappened, the event is marked as irrelevant. (c) Irrelevant events let the rules become fulfilled. (d) If the decision makes the premise of a rule true, the variant of the conclusion is automatically added as component. [Modus Ponens] (e) If the decision makes the conclusion of a rule false, the variant of the corresponding premise is automatically excluded from the set of possible decisions [Modus Tollens]. (f) Conclusions of the automatically computed conclusions are computed too. (g) If there can still only be selected one variant, it is automatically selected and evaluated like a manual (external) decision. LKR
PBL-b07BImplementing the resolution protocol into the client:server componentThe query agent can deal with the protocol definition, especially it is enabled to store the already known part of the knowledge entity description and to add it into the resolution dialogue automatically, if the resolution engine requests for such a description.LMJ
PBL-b07AImplementing the resolution protocol into the server:server componentThe resolution engine can deal with the protocol definition. Additionally, it manages a set of indicators triggering the destroy of an in-memory-deduction. To manage these indicators includes to respect a configurable strategy to destroy the oldest / largest / rarely used in-memory-deduction. XLMJ
PBL-b06Specifying the resolution dialogue (protocol) as a set of stateless re-entrant communication pointsThe resolution / deduction dialogue is defined as a set of independent resolution steps. Besides the decision, which shall be respected by the resolution engine, each single request contains either a session id or a (partially deduced) description of a knowledge entity (object) as a reference to the 'already known part of the entity'. If the resolution engine gets a session id, it tries to map the session number to the corresponding in-memory-deduction. If this (still) does not exist (any longer) the resolution engine requests for the corresponding entity description. If the resolution engine gets an entity description, it re-initializes the in-memory-deduction. Based on the found / re-initialized in-memory-deduction and the prescribed decision, the resolution engine computes and delivers the next state of the knowledge entity description. The protocol must allow the resolution engine to destroy any in-memory-deduction whenever the it wants to free memory.MKR
nickel release :- initial subsequently published psiKeds release 0.1
PBL-b05bMaking the flat test domain requestableThe query agent can request for a knowledge entity description, the resolution engine can deliver a syntactically valid description without logically inferring its internal elements, and the query agent can present the result.LMJ
PBL-b05aMaking the flat test domain loadableThe resolution engine can read, understand, and load the reference domainsMMJ
PBL-b04Setting up the psikeds environment as a java based frameworkThe resolution engine is set up as a java server:server application being executable by tomcat and different java runtime engines (java 7, java 8, and open-jdk-7). The query agent is implemented as a java based client:server engine: (a) As client it sends queries to the resolution engine and gets json based answers using the http protocol. (b) As server, the client:server gets requests by an html interface running in a browser and delivers new (elements of the) html pages. These applications are developed by using the maven development process; the source code is developed by using the eclipse environment.XLM
PBL-b03Specifying a flat test databaseThe 'chocolate'-domain is defined as simple reference domain.MMJ + KR
PBL-b02Implementing the XSD for psiKeds XML databasesThe psiKeds resolution engine is enabled to verify databases by an XSD and to accept only valid databases.SMJ
PBL-b01Specifying the psiKeds XML database formatAn xml psiKeds knowledge bases first defines the basic elements (variants, purposes, features) as members of lists. Each member can be referred by a specific identifier. Based on these identifiers, it defines the and-or-purpose-variant-graph, the events, and the event based (logical) rules. LKR