Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
KI - Künstliche Intelligenz
Published in: KI - Künstliche Intelligenz 1/2017

28-10-2016 | Research Project

The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation

Author: Matthias Thimm

Published in: KI - Künstliche Intelligenz | Issue 1/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Tweety is a collection of Java libraries that provides a general interface layer for doing research in and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and computational argumentation. It is designed in such a way that tasks like representing and reasoning with knowledge bases inside the programming environment are realizable in a common manner. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e. g. mathematical optimization complement the collection.
previous article DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems
next article Quo vadis, AI?

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Show more products
Footnotes
10
The source code of Tweety is hosted at http://​sourceforge.​net/​p/​tweety/​code/​.
 
Literature
1.
Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, New YorkMATH
2.
Baroni P, Caminada M, Giacomin M (2011) An introduction to argumentation semantics. Knowl Eng Rev 26(4):365–410CrossRef
3.
4.
Besnard P, Hunter A (2006) Knowledgebase compilation for efficient logical argumentation. In: Proceedings of the 10th International Conference on Knowledge Representation (KR’06), AAAI Press, pp 123–133
5.
Brachman RJ, Levesque HJ (2004) Knowledge representation and reasoning. The Morgan Kaufmann series in artificial intelligence. Morgan Kaufmann Publishers, San Francisco
6.
Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77(2):321–358MathSciNetCrossRefMATH
7.
Fagin R, Halpern J, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, CambridgeMATH
8.
9.
10.
Gelfond M, Lifschitz V (1998) Action languages. Electron Trans AI 2:193–210
11.
Grant J, Hunter A (2006) Measuring inconsistency in knowledgebases. J Intell Inf Syst 27:159–184CrossRef
12.
Hansson SO (2001) A textbook of belief dynamics. Kluwer Academic Publishers, Norwell
13.
Hunter A, Konieczny S (2006) Shapley inconsistency values. In: Proceedings of the 10th International Conference on Knowledge Representation (KR’06), AAAI Press, pp 249–259
14.
Kern-Isberner G (2001) Conditionals in nonmonotonic reasoning and belief revision. No. 2087 in lecture notes in computer science. Springer, BerlinMATH
15.
Kern-Isberner G, Thimm M (2010) Novel semantical approaches to relational probabilistic conditionals. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR’10), AAAI Press, pp 382–392
16.
Kern-Isberner G, Thimm M (2012) A ranking semantics for first-order conditionals. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI’12)
17.
Krümpelmann P, Kern-Isberner G (2012) Belief base change operations for answer set programming. In: Proceedings of the 13th European conference on Logics in Artificial Intelligence (JELIA’12), Springer, pp 294–306
18.
Krümpelmann P, Thimm M, Falappa MA, Garcia AJ, Kern-Isberner G, Simari GR (2011) Selective revision by deductive argumentation. In: Theory and applications of formal argumentation, Proceedings of the First International Workshop (TAFA’11, revised selected papers). Lecture notes in artificial intelligence, vol 7132, Springer, pp 147–162
19.
20.
21.
Modgil S, Prakken H (2014) The ASPIC+ framework for structured argumentation: a tutorial. Argum Comput 5(1):31–62CrossRef
22.
Pearl J (1990) System Z: a natural ordering of defaults with tractable applications to default reasoning. In: Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge (TARK’90), Morgan Kaufmann Publishers, pp 121–135
23.
Potyka N (2014) Linear programs for measuring inconsistency in probabilistic logics. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR’14)
24.
25.
Richardson M, Domingos P (2006) Markov logic networks. Mach Learn 62(1–2):107–136CrossRef
26.
Rienstra T, Thimm M, Oren N (2013) Opponent models with uncertainty for strategic argumentation. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI’13)
27.
28.
Schweimeier R, Schroeder M (2003) A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics. Theory Pract Logic Program 5(1–2):207–242MathSciNetMATH
29.
Stolzenburg F, Garcia A, Chesnevar CI, Simari GR (2003) Computing generalized specificity. J Non-Class Log 13(1):87–113CrossRefMATH
30.
Thimm M (2012) A probabilistic semantics for abstract argumentation. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI’12)
31.
Thimm M (2013) Dynamic preference aggregation under preference changes. In: Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB’13)
32.
33.
Thimm M (2014) Coherence and compatibility of markov logic networks. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI’14), pp 891–896
34.
Thimm M (2014) Tweety—a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR’14), pp 528–537
35.
Thimm M, Garcia AJ (2010) Classification and strategical issues of argumentation games on structured argumentation frameworks. In: van der Hoek W, Kaminka GA, Lespérance Y, Luck M, Sen S (eds) Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS’10)
36.
Walsh T (2007) Representing and reasoning with preferences. AI Mag 28(4):59–70
37.
Weiss G (ed) (2013) Multiagent systems: a modern approach to distributed artificial intelligence, 2nd edn. MIT Press, Cambridge
Metadata
Title
The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation
Author
Matthias Thimm
Publication date
28-10-2016
Publisher
Springer Berlin Heidelberg
Published in
KI - Künstliche Intelligenz / Issue 1/2017
Print ISSN: 0933-1875
Electronic ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-016-0458-4

Other articles of this Issue 1/2017

KI - Künstliche Intelligenz 1/2017 Go to the issue

Community

News

Technical Contribution

Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair

Technical Contribution

BDI Logics for BDI Architectures: Old Problems, New Perspectives

Research Project

DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems

Doctoral and Postdoctoral Dissertations

Quantitative Methods for Similarity in Description Logics

Editorial

Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences

Premium Partner

    Image Credits