Skip to content

This software can generate defeasible theories in propositional logic following the work from Maher et al.

Notifications You must be signed in to change notification settings

brunoyun/Defeasible-Theory

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Acknowledgements

  • This generator is inspired from the Haskell defeasible generator of Maher et al. (Efficient Defeasible Reasoning Systems)

Content

This repository contains:

  • An executable JAR containing the generator tool.

  • A set of generated examples.

Description

In order to launch the def-generator.jar, you can proceed by launching the terminal, moving to directory and use:

* java -jar def-generator.jar [parameters]

Tools parameters

The generator tool can generate different types of defeasible theories. The several parameters are:

  • [-p] [length] [T/F]: Creates a chain of size [length]. If the third parameter is [T], the chain is composed of strict rules. If it is [F], the chain is composed of defeasible rules.

  • [-c] [length] [T/F]: Creates a cycle of size [length]. If the third parameter is [T], the chain is composed of strict rules. If it is [F], the cycle is composed of defeasible rules.

  • [-l] [size] [T/F]: Creates a cascade of [size] disputed conclusions. If the third parameter is [T], some rules have superior priorities. If it is [F], all the rules have equal priorities.

  • [-t] [branching] [depth] [T/F]: Creates a [branching]-branching tree of depth [depth]. If the fourth parameter is [T], the tree is composed of strict rules. If it is [F], the tree is composed of defeasible rules.

  • [-m] [size]: Creates a defeasible theory where every literal is disputed.

Tools parameters

To generate a chain of size 3 composed of defeasible rules, use:

* java -jar def-generator.jar -p 3 F

Contacts

In order to contact me, send me an email at: yun@lirmm.fr

About

This software can generate defeasible theories in propositional logic following the work from Maher et al.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published