TweetyProject

A comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation

Brought to you by

Supported by

Implementing KR Approaches with Tweety

A Tutorial at the 24th International Joint Conference on Artificial Intelligence (IJCAI'15)

The TweetyProject Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation are a comprehensive and ever-growing collection of Java libraries for implementing a diverse range of formalisms for knowledge representation and other neighboring fields. In this tutorial, a practical account is given on the capabilities of TweetyProject, its most important concepts, and how to use TweetyProject for own works.

The tutorial will be held at the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), which takes place on July 25th to July 31st in Buenos Aires, Argentina.

• Date: July 26 afternoon
• Place: IJCAI'15, Room 4 in the New Building of Facultad de Ciencias Economicas.

1. Introduction
   1. Purpose and Overview of Tweety
   2. Related Works
2. Installation and Usage
   1. Installation
   2. Package overview
   3. The implementation methodology behind Tweety
3. Basics: Important classes and concepts
4. Basics: Propositional Logic
   1. Using and reasoning with propositional logic
   2. Using SAT solvers
   3. Exercises
5. Basics: Mathematics and Graphs
   1. Mathematical tools in Tweety
   2. Constraint Satisfaction and Optimization problems
   3. Using general graph structures
   4. Exercises
6. Advanced topics: Computational Argumentation
   1. Introduction to Computational Argumentation
   2. Computational Argumentation in Tweety
   3. Case Study: Strategic Argumentation
   4. Exercises
7. Advanced topics: Inconsistency Measurement
   1. Introduction to Inconsistency Measurement
   2. Inconsistency Measures in Tweety
   3. Exercises
8. Summary and Conclusion

Disclaimer: Source code works for TweetyProject v1.4

• Slides: pdf
• Solutions to exercises:
  • Exercise 1
  • Exercise 2
  • Exercise 3
  • Exercise 4
  • Exercise 5
  • Exercise 6
  • Exercise 7
  • Exercise 8
  • Exercise 9
  • Exercise 10
  • Exercise 11
  • Exercise 12
  • Exercise 13
  • Exercise 14

Last updated 07.08.2018, Matthias Thimm | Terms