Smart Decision and Legal Inferencing

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

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