DataLex - AustLII Inferencing

Smart Decision and Legal Inferencing

AustLII's rule-based legal inferencing platform

Get Started

Knowledgebase Examples

Copyright consultation

Inferencing examples using wysh on sections of the Copyright Act 1968 (Cth)

See Knowledgebase

Privacy consultation

Inferencing examples using wysh on sections of the Privacy Act 1988 (Cth)

See Knowledgebase

FOI, s11 consultation

A small wysh example showing (i) 3 small 'co-operative' knowledgebases; (ii) automatic hypertext links to AustLII; and (iii) 'manual' links to pages and stored searches.

See Knowledgebase

File Icons

Inferencing technology

  • Forward and backward chaining inferences
  • Supports propositional logic
  • Cooperative development of knowledgebases
  • Distributed knowledgebase consultations

Rich set of keywords supported by Wysh

Rule types

  • RULE
  • GOAL
  • PROCEDURE
  • BACKWARD
  • FORWARD
  • DAEMON
  • DOCUMENT
  • EXAMPLE
  • LISTED

Attribute types

  • BOOLEAN
  • INTEGER
  • REAL
  • DOLLAR
  • SEX
  • STRING
  • DATE

Document types

(For documents only)

  • PARAGRAPH
  • LINE
  • TEXT

Name subject types

  • PERSON
  • PERSONTHING
  • THING

Translation operators

  • TRANSLATE - AS
  • PROMPT

Statement operators

  • ASSERT
  • DETERMINE
  • IF - THEN - ELSE
  • ONLY IF
  • IS
  • WHILE - DO
  • REPEAT - UNTIL
  • CALL
  • BEGIN - END

Expression operators

(Pre) Unary operators

  • NOT
  • MINUS
  • PLUS
  • DAY
  • MONTH
  • YEAR

Expression operators

(Post) Unary operators

  • DAYS
  • WEEKS
  • MONTHS
  • YEARS

Expression operators

Binary operators (1)

  • DIVIDED BY
  • TIMES
  • PLUS
  • MINUS

Expression operators

Binary operators (2)

  • IN
  • EQUALS
  • NOT EQUALS
  • IS GREATER THAN
  • IS LESS THAN
  • IS GREATEREQUAL THAN
  • IS LESSEQUAL THAN

Expression operators

Binary operators (3)

  • AND/OR
  • AND/OR/WITH
  • AND
  • AND/WITH
  • OR
  • OR/WITH

Layout operators

(For documents only)

  • NUMBERED
  • LEVEL

Misc operators

  • RANGE - TO
  • VERBS
  • PROVIDES
  • ORDER