TweetyProject
A comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation
Home Libraries Downloads Documentation Newsletter Web Interfaces Contact


Brought to you by




Supported by

back

Example code and resources

Most libraries have an examples package that contains various example code snippets that show the functionality of the library. In addition, the resources folder contains examplary instance files that can be parsed by the corresponding parser into the classes of the library.

Below is an up-to-date list of available examples and instance files.


General Libraries

Commons (net.sf.tweety.commons)

Example code: Resources: no resources available

Plugin (net.sf.tweety.plugin)

no example code available

Command Line Interface (net.sf.tweety.cli)

no example code available

Math (net.sf.tweety.math)

no example code available

Graphs (net.sf.tweety.graphs)

Example code: Resources: no resources available

Logic Libraries

Logic Commons (net.sf.tweety.logics.commons)

no example code available

Propositional Logic (net.sf.tweety.logics.pl)

Example code: Resources:

First-Order Logic (net.sf.tweety.logics.fol)

Example code: Resources:

Conditional Logic (net.sf.tweety.logics.cl)

Example code: Resources: no resources available

Relational Conditional Logic (net.sf.tweety.logics.rcl)

Example code:
  • examples.RclExample.java: Example code illustrating the use of working with relational conditionals and using c reasoning.
Resources: no resources available

Probabilistic Conditional Logic (net.sf.tweety.logics.pcl)

Example code: Resources: no resources available

Relational Probabilistic Conditional Logic (net.sf.tweety.logics.rpcl)

Example code: Resources:
  • resources.cold.rpcl: A relational probabilistic conditional knowledge base that can be parsed using parser.RpclParser.
  • resources.elephants.rpcl: A relational probabilistic conditional knowledge base that can be parsed using parser.RpclParser.
  • resources.penguins.rpcl: A relational probabilistic conditional knowledge base that can be parsed using parser.RpclParser.

Reiter's Default Logic (net.sf.tweety.logics.rdl)

Example code: Resources:

Modal Logic (net.sf.tweety.logics.ml)

Example code:
  • examples.MlExample.java: Shows how to construct a modal logic knowledge base programmatically and how to query it using the naive reasoner.
  • examples.MlExample2.java: Shows how to construct a modal logic knowledge base programmatically and how to query it using the SPASS reasoner.
Resources:

Markov Logic Networks (net.sf.tweety.logics.mln)

Example code: Resources: no resources available

Description Logic (net.sf.tweety.logics.dl)

no example code available

Logic Translators (net.sf.tweety.logics.translators)

no example code available


Logic Programming Libraries

Answer Set Programming (net.sf.tweety.lp.asp)

Example code: no example code available

Resources:

Dynamics in Answer Set Programming (net.sf.tweety.lp.asp.beliefdynamics)

no example code available

Nested Logic Programs (net.sf.tweety.lp.nlp)

no example code available


Argumentation Libraries

Abstract Argumentation (net.sf.tweety.arg.dung)

Example code: Resources:
  • resources.ex1.apx: Abstract argumentation framework in APX syntax, can be parsed using parser.ApxParser.
  • resources.ex1.tgf: Abstract argumentation framework in TGF syntax, can be parsed using parser.TgfParser.
  • resources.ex2.apx: Abstract argumentation framework in APX syntax, can be parsed using parser.ApxParser.
  • resources.ex2.tgf: Abstract argumentation framework in TGF syntax, can be parsed using parser.TgfParser.
  • resources.ex3.apx: Abstract argumentation framework in APX syntax, can be parsed using parser.ApxParser.
  • resources.ex3.tgf: Abstract argumentation framework in TGF syntax, can be parsed using parser.TgfParser.

ABA (net.sf.tweety.arg.aba)

Example code: Resources:

Abstract Dialectical Frameworks (net.sf.tweety.arg.adf)

no example code available

ASPIC+ (net.sf.tweety.arg.aspic)

Example code: Resources:

Deductive Argumentation (net.sf.tweety.arg.deductive)

Example code: Resources: no resources available

Social Abstract Argumentation (net.sf.tweety.arg.social)

Example code: Resources: no resources available

Structured Argumentation (net.sf.tweety.arg.saf)

no example code available

Defeasible Logic Programming (net.sf.tweety.arg.delp)

Example code: Resources:

Logic Programming Argumentation (net.sf.tweety.arg.lp)

no example code available

Probabilistic Argumentation (net.sf.tweety.arg.prob)

Example code: Resources: no resources available

Agent Libraries

Agents (net.sf.tweety.agents)

no example code available

Dialogues (net.sf.tweety.agents.dialogues)

Example code:
  • examples.GroundedTest.java: Shows how a simulation of a multi-agent system can be set up. It defines a dialogue game between different agents with varying complexity of their opponent models.
  • examples.GroundedTest2.java: Shows how a simulation of a multi-agent system can be set up. It defines a dialogue game between different agents with varying complexity of their opponent models.
  • examples.LotteryDialogueTest.java: Shows how a simulation of a multi-agent system can be set up. It defines a dialogue game between different agents, in particular one based on an action selection strategy using lotteries.
  • examples.LotteryDialogueTest2.java: Shows how a simulation of a multi-agent system can be set up. It defines a dialogue game between different agents, in particular one based on an action selection strategy using lotteries.
Resources: no resources available

Other Libraries

Action and Change (net.sf.tweety.action)

Example code: no example code available

Resources:

Belief Dynamics (net.sf.tweety.beliefdynamics)

Example code: Resources: no resources available

Machine Learning (net.sf.tweety.machinelearning)

Example code: Resources: no resources available

Preferences (net.sf.tweety.preferences)

Example code: no example code available

Resources:

Web (net.sf.tweety.web)

no example code available




back



Last updated 07.08.2018, Matthias Thimm | Terms