agentlab / net.sf.tweety Goto Github PK

This project forked from matthiasthimm/tweety-mirror

License: GNU General Public License v3.0

TeX 0.29% Java 98.91% PHP 0.01% HTML 0.45% JavaScript 0.29% CSS 0.05%

net.sf.tweety's Introduction

tweety-mirror

Tweety is a comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation, see http://tweetyproject.org/index.html for details.

This repository is a mirror of http://sourceforge.net/p/tweety/code/HEAD/tree/

net.sf.tweety's People

Contributors

Watchers

net.sf.tweety's Issues

Refactor net.sf.tweety.logics.rcl

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.plugin

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.preferences

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.action

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.logics.fol

Create separated project for tests and extract them;
Create separated project for examples and extract them;

Refactor net.sf.tweety.logics.el

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Tweety CLI

Refactor net.sf.tweety.arg.lp

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.logics.translators

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.arg.social

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.graphs

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.logics.commons

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Parser hierarchy

Parser should be interface and generic <? extends Formula>

Refactor net.sf.tweety.logics.ml

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.commons

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.agents

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Convert to OSGI projects

Convert all projects to Eclipse project with java and osgi nature

Dot separator in project names

Change project names separator to '.'
For example, project net-sf-tweety-agents-dialogues should be named net.sf.tweety.agents.dialogues

Refactor net.sf.tweety.arg.dung

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.logics.cl

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Reasoner hierarchy

Reasoner should be interface.
Fix FolTheoremProver hierarchy - it should implements Reasoner interface.
Reasoner should be generic

Refactor net.sf.tweety.logics.rdl

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.lp.nlp

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.lp.asp

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.arg.prob

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Reorganize root folders

The folder structure should be:

plugins - contains all plug-in projects;
features - contains all feature projects;
releng - contains projects related to the release engineering, like
- the project containing the parent POM;
- the aggregator project that contains the aggregator POM which defines the modules of a build and is also the starting point of a Tycho build;
- the target definition project that contains the target definition for the Tycho build;
tests - contains all test plug-in/fragment projects;

Refactor net.sf.tweety.arg.aba

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.web

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.arg.aspic

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.logics.rpcl

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Remove Jama dependency and use ojAlgo

http://ojalgo.org/performance.html
JAMA is now an abandoned project

ojAlgo contains org.ojalgo.matrix.jama package with jama implementation.

Projects net.sf.tweety.math and net.sf.tweety.graphs should not be dependent on jama.

Refactor net.sf.tweety.machinelearning

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.agents.dialogues

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.arg.adf

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Configure Maven Tycho POM-less build

http://blog.vogella.com/2015/12/15/pom-less-tycho-builds-for-structured-environments/

Refactor net.sf.tweety.arg.saf

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.logics.dl

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.logics.pl

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.arg.deductive

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Refactor net.sf.tweety.math

Create separated projects for implementations;
Create separated project for tests and extract them;
Create separated project for examples and extract them;
Create feature project;

Configure target platform

Add target platform definition with required 3d party plugins

Quantitative Interpretation

What I think TODO:

• Make Interpretation generic <T extends Formula, S extends Object>, where T - type of function, S - type of return values;
• Make Interpretation implements Map<T, S>, e.g. PossibleWorld should implelent Map<PropositionalFormula, Boolean>;

Matthias:

I think is sufficient. Every interpretation needs to have the “satisfies” operations as they are. There are some types of interpretations which also return quantitative values, that is right. Maybe we can add another interface “QuantitativeInterpretation” that inherits from “Interpretation” with the above generics.