File tree Expand file tree Collapse file tree
org-tweetyproject-arg-bipolar/src/main/java/org/tweetyproject/arg/bipolar/analysis
org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/examples
org-tweetyproject-logics-pl/src/main/java/org/tweetyproject/logics/pl/examples Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ /*
2+ * This file is part of "TweetyProject", a collection of Java libraries for
3+ * logical aspects of artificial intelligence and knowledge representation.
4+ *
5+ * TweetyProject is free software: you can redistribute it and/or modify
6+ * it under the terms of the GNU Lesser General Public License version 3 as
7+ * published by the Free Software Foundation.
8+ *
9+ * This program is distributed in the hope that it will be useful,
10+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
11+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12+ * GNU Lesser General Public License for more details.
13+ *
14+ * You should have received a copy of the GNU Lesser General Public License
15+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
16+ *
17+ * Copyright 2022 The TweetyProject Team <http://tweetyproject.org/contact/>
18+ */
119package org .tweetyproject .arg .bipolar .analysis ;
220
21+ /**
22+ * probablisitic justification analysis
23+ * @author Matthias Thimm
24+ *
25+ */
326public interface ProbabilisticJustificationAnalysis {
427}
Original file line number Diff line number Diff line change 3333 * @author Lars Bengel
3434 */
3535public class AFLearnerExample {
36+ /**
37+ * main method
38+ * @param args command line arguments
39+ */
3640 public static void main (String [] args ) {
3741
3842 // create a hidden argumentation framework that we will try to learn
Original file line number Diff line number Diff line change 1+ package org .tweetyproject .logics .pl .examples ;
2+
3+ import java .io .FileNotFoundException ;
4+ import java .io .IOException ;
5+ import org .tweetyproject .commons .ParserException ;
6+ import org .tweetyproject .logics .pl .parser .PlParser ;
7+ import org .tweetyproject .logics .pl .syntax .PlBeliefSet ;
8+ import org .tweetyproject .logics .pl .syntax .PlFormula ;
9+ import org .tweetyproject .logics .pl .syntax .Proposition ;
10+
11+ public class A_sebi {
12+ public static void main (String [] args ) throws FileNotFoundException , ParserException , IOException {
13+ PlParser parser = new PlParser ();
14+ PlBeliefSet p = parser .parseBeliefBaseFromFile ("C:\\ Users\\ Sebastian\\ Desktop\\ a.txt" );
15+ PlFormula f = p .getCanonicalOrdering ().get (0 );
16+ Proposition a = f .getAtoms ().iterator ().next ();
17+ Proposition a1 = new Proposition ("a" );
18+ System .out .println ("formula: " + f .toString ());
19+ System .out .println ("chosen from formula: " + a .toString ());
20+ System .out .println ("occurence of " + a + "(chosen from formula): " + f .numberOfOccurrences (a ));
21+ System .out .println ("occurence of " + a1 + "(newly created): " + f .numberOfOccurrences (a1 ));
22+ }
23+ }
Original file line number Diff line number Diff line change 7777 <artifactId >delp</artifactId >
7878 <version >1.23-SNAPSHOT</version >
7979 </dependency >
80+ <dependency >
81+ <groupId >org.json</groupId >
82+ <artifactId >json</artifactId >
83+ <version >20220924</version >
84+ </dependency >
8085 </dependencies >
8186
8287
Original file line number Diff line number Diff line change 1+ package org .tweetyproject .util ;
2+
3+ public class JSONObject {
4+
5+ }
Original file line number Diff line number Diff line change 2525import javax .ws .rs .Path ;
2626import javax .ws .rs .Produces ;
2727import javax .ws .rs .core .MediaType ;
28+ import org .json .*;
2829
2930import org .tweetyproject .arg .delp .parser .DelpParser ;
3031import org .tweetyproject .arg .delp .reasoner .DelpReasoner ;
4041import org .tweetyproject .logics .fol .syntax .Negation ;
4142import org .tweetyproject .web .TweetyServer ;
4243
43- import org .codehaus .jettison .json .JSONException ;
44- import org .codehaus .jettison .json .JSONObject ;
44+
45+
46+ import org .json .JSONObject ;
47+ import org .json .JSONException ;
4548
4649/**
4750 * Web service for defeasible logic programming.
You can’t perform that action at this time.
0 commit comments