some mechanical rules

Edit this Page -- Back to the Top
Run this page's rulebase in WYSH -- Check Fact Translations -- Check Fact Cross-References

This is a demonstration of rule-based inferencing using the ysh inferencing engine and the wysh interface, written for the Computerisation of Law course at the University of New South Wales Faculty of Law. This material must not be relied upon or used for the purposes of legal advice.

Some Mechanical Rules


DAEMON Works to Type PROVIDES
ASSERT the work is a literary work IS the type of work EQUALS "literary"
ASSERT the work is an artistic work IS the type of work EQUALS "artistic"
ASSERT the work is a musical work IS the type of work EQUALS "musical"
ASSERT the work is a dramatic work IS the type of work EQUALS "dramatic"
ASSERT the work is a broadcast IS the type of work EQUALS "a broadcast"
ASSERT the work is a cinematographic film IS the type of work EQUALS "a film"
ASSERT the work is a published edition IS the type of work EQUALS "an edition"
ASSERT the work is a sound recording IS the type of work EQUALS "a record"
ASSERT the work is a portrait IS the class of work EQUALS "a portrait"
ASSERT the work is a building IS the class of work EQUALS "a building"
ASSERT the work is a model of a building IS the class of work EQUALS "a model of a building"
ASSERT the work is a photograph IS the class of work EQUALS "a photograph"
ASSERT the work is an engraving IS the class of work EQUALS "an engraving"
ASSERT the work is a sculpture IS the class of work EQUALS "a sculpture"

DAEMON Type to Works PROVIDES
IF the work is a literary work THEN the type of work IS "literary"
IF the work is an artistic work THEN the type of work IS "artistic"
IF the work is a musical work THEN the type of work IS "musical"
IF the work is a dramatic work THEN the type of work IS "dramatic"
IF the work is a sound recording THEN the type of work IS "a record"
IF the work is a cinematographic film THEN the type of work IS "a film"
IF the work is a published edition THEN the type of work IS "an edition"
IF the work is a broadcast THEN the type of work IS "a broadcast"
IF the work is a portrait THEN the type of work IS "artistic"
IF the work is a portrait THEN the class of work IS "a portrait"
IF the work is a photograph THEN the type of work IS "artistic"
IF the work is a photograph THEN the class of work IS "a photograph"
IF the work is an engraving THEN the type of work IS "artistic"
IF the work is an engraving THEN the class of work IS "an engraving"
IF the work is a building THEN the type of work IS "artistic"
IF the work is a building THEN the class of work IS "a building"
IF the work is a model of a building THEN the type of work IS "artistic"
IF the work is a model of a building THEN the class of work IS "a model of a building"
IF the work is a sculpture THEN the type of work IS "artistic"
IF the work is a sculpture THEN the class of work IS "a sculpture"

DAEMON Works to Classes PROVIDES
IF the work is not an artistic work THEN the work is not an engraving
IF the work is not an artistic work THEN the work is not a sculpture
IF the work is not an artistic work THEN the work is not a model of a building
IF the work is not an artistic work THEN the work is not a photograph
IF the work is not an artistic work THEN the work is not a portrait
IF the work is not an artistic work THEN the work is not a building
IF the work is a computer program or a compilation of computer programs
THEN the work is not an article
IF the work is a computer program or a compilation of computer programs
THEN the copying in question is not of a published edition

DAEMON Mutual exclusivity of types of works PROVIDES
IF the work is a literary work THEN BEGIN the work is not a dramatic work AND 
the work is not a musical work AND the work is not an artistic work END
 IF the work is a dramatic work THEN BEGIN the work is not a literary work AND 
 the work is not a musical work AND the work is not an artistic work END
 IF the work is a musical work THEN BEGIN the work is not a dramatic work AND 
 the work is not a literary work AND the work is not an artistic work END
 IF the work is an artistic work THEN BEGIN the work is not a dramatic work AND 
 the work is not a musical work AND the work is not a literary work END

Andrew Mowbray wrote the ysh inference engine (1991-94). Geoffrey King wrote the wysh web interface to ysh (1996 - ), and Simon Cant is developed it further (1997) (further details on the wysh pages). AustLIIs resetStats on legal inferencing via the web is funded by the Australian Research Council.

Edit this Page -- Search for References to this Page -- Display this Page and all its References
Run this page's rulebase in WYSH -- Check Fact Translations -- Check Fact Cross-References
Search for text in all pages: