com.articulate.sigma.semRewrite.QAOutputGenerator Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of sigma-component Show documentation
Show all versions of sigma-component Show documentation
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first
order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged
Ontology (SUMO) www.ontologyportal.org.
The newest version!
package com.articulate.sigma.semRewrite;/*
Copyright 2014-2015 IPsoft
Author: Peigen You [email protected]
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program ; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston,
MA 02111-1307 USA
*/
import com.articulate.sigma.Document;
import com.articulate.sigma.Formula;
import com.articulate.sigma.KBmanager;
import com.google.common.collect.Lists;
import org.json.simple.JSONArray;
import org.json.simple.JSONObject;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.io.PrintWriter;
import java.lang.reflect.Field;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.ArrayList;
import java.util.List;
import java.util.Scanner;
/************************************************************
* A class for testing the performance of sigma-based system
* It will generate CNF and KIF for given sentences and sent them to inference
* and can also save the output to json file.
*
* To use:
* run class's main under stanford parser directory with argument -h to see detailed guidence
*
*
*/
public class QAOutputGenerator {
/************************************************************
*/
public static ArrayList getAllFilenamesInDir(String dir) throws IOException {
ArrayList res = new ArrayList();
Files.walk(Paths.get(dir)).forEach(filePath -> {
if (Files.isRegularFile(filePath)) {
System.out.println(filePath);
res.add(filePath.getFileName().toString());
}
});
return res;
}
/************************************************************
*/
public static ArrayList> extractFile(Path p) {
ArrayList querys = new ArrayList();
ArrayList anses = new ArrayList();
ArrayList> res = new ArrayList>();
try (Scanner in = new Scanner(p)) {
while (in.hasNextLine()) {
String input = in.nextLine();
input = input.replaceAll("[\"]", "\\\"");
//passage
if (input.startsWith("&&")) {
try (PrintWriter out = new PrintWriter(p.toString() + ".passage")) {
input = in.nextLine();
while (input != null && !input.startsWith("&&")) {
out.append(input);
input = in.nextLine();
}
out.flush();
}
while (in.hasNext()) {
input = in.nextLine();
input = input.replaceAll("\"", "\\\"");
if (input.startsWith("@@")) {
input = input.substring(2);
querys.add(input);
}
if (input.startsWith("!!")) {
input = input.substring(2);
anses.add(input);
}
if (input.startsWith("??")) {
input = "not correct";
anses.add(input);
}
}
}
}
}
catch (IOException e) {
e.printStackTrace();
return null;
}
res.add(querys);
res.add(anses);
return res;
}
/************************************************************
* Generate output from an array of strings
*/
public static List getRecordFromStringSet(String[] strs, Interpreter inter) {
ArrayList res = new ArrayList();
Field questionfield = null;
try {
questionfield = inter.getClass().getDeclaredField("question");
questionfield.setAccessible(true);
Field userInputsfield = inter.getClass().getDeclaredField("userInputs");
userInputsfield.setAccessible(true);
Document userInputs = (Document) userInputsfield.get(inter);
int i = 0;
for (String s : strs) {
Record r = new Record(i++, s);
s = s.trim();
if (s.endsWith("?"))
questionfield.setBoolean(inter, true);
else
questionfield.setBoolean(inter, false);
if (!questionfield.getBoolean(inter)) {
inter.tfidf.addInput(s);
}
ArrayList kifClauses;
try {
ArrayList inputs = Lists.newArrayList(inter.interpretGenCNF(s));
r.CNF = inputs.get(0);
kifClauses = inter.interpretCNF(inputs);
}
catch (Exception e) {
System.out.println("Paring error in sentence :" + s);
r.CNF = new CNF();
r.result = "Parsing error";
res.add(r);
continue;
}
String s1 = inter.toFOL(kifClauses);
String s2 = inter.postProcess(s1);
String s3 = inter.addQuantification(s2);
r.KIF = new Formula(s3).toString();
String result = inter.fromKIFClauses(kifClauses);
System.out.println("INFO in Interpreter.interpretSingle(): Theorem proving result: '" + result + "'");
if (questionfield.getBoolean(inter)) {
if (("I don't know.".equals(result) && inter.autoir) || inter.ir) {
if (inter.autoir) {
System.out.println("Interpreter had no response so trying TFIDF");
}
result = inter.tfidf.matchInput(s).toString();
}
}
else {
// Store processed sentence
userInputs.add(s);
}
//System.out.println("INFO in Interpreter.interpretSingle(): combined result: " + result);
r.result = result;
res.add(r);
}
}
catch (IllegalAccessException e) {
e.printStackTrace();
}
catch (NoSuchFieldException e) {
System.out.println("IO error");
return null;
}
return res;
}
/************************************************************
* save the record to a json file
*/
public static void saveRecord(List list, String path) throws FileNotFoundException {
if (list == null) {
System.out.println("INFO in RewriteRuleUtil.saveRecord(): list is null");
return;
}
try (PrintWriter pw = new PrintWriter(path)) {
JSONArray arr = new JSONArray();
for (Record k : list) {
JSONObject obj = new JSONObject();
obj.put("index", k.index + "");
obj.put("sentence", k.sen);
obj.put("CNF", k.CNF.toString());
obj.put("KIF", k.KIF);
obj.put("result", k.result);
arr.add(obj);
}
pw.println(arr.toJSONString());
pw.flush();
}
}
/************************************************************
* class to store output
*/
public static class Record {
public int index;
public String sen;
public CNF CNF;
public String KIF;
public String result;
public Record(int index, String sen) {
this.index = index;
this.sen = sen;
}
@Override
public String toString() {
StringBuilder sb = new StringBuilder();
sb.append("{\n");
sb.append(" \"index\":\"" + index + "\",\n");
sb.append(" \"sentence\":\"" + sen + "\",\n");
sb.append(" \"CNF\":\"" + CNF + "\",\n");
sb.append(" \"KIF\":\"" + KIF + "\",\n");
sb.append(" \"result\":\"" + result + "\"\n");
sb.append("}\n");
return sb.toString();
}
}
/************************************************************
* generate output with filename and output to jasonfilename
* both should with path
*/
public static void generate(String inputPath, String outputPath, Interpreter inter) throws IOException {
KBmanager.getMgr().initializeOnce();
if (inter == null) {
inter = new Interpreter();
inter.initialize();
}
String[] strs = CommonCNFUtil.loadSentencesFromTxt(inputPath);
System.out.println("Strins are: " + strs);
List res = null;
res = getRecordFromStringSet(strs, inter);
System.out.println(res);
try {
saveRecord(res, outputPath);
}
catch (FileNotFoundException e) {
System.out.println("Can't save file.");
e.printStackTrace();
return;
}
}
/************************************************************
* generate output with filename and output to jasonfilename
* both should with path
*/
public static void generateForDir(String dir, Interpreter inter) throws IOException {
if (!dir.endsWith("/"))
dir = dir + "/";
KBmanager.getMgr().initializeOnce();
if (inter == null) {
inter = new Interpreter();
inter.initialize();
}
ArrayList files;
try {
files = getAllFilenamesInDir(dir);
}
catch (IOException e) {
System.out.println("The directory input is not correct.");
return;
}
for (String file : files) {
if (file.startsWith(".") || !file.endsWith("txt"))
continue;
generateForFile(dir + file, inter);
}
}
/************************************************************
* generate output with filename and output to jasonfilename
* both should with path
*/
public static void generateForFile(String file, Interpreter inter) throws IOException {
KBmanager.getMgr().initializeOnce();
if (inter == null) {
inter = new Interpreter();
inter.initialize();
}
String inputPath = file;
String outputPath = file.substring(0, file.lastIndexOf('/') + 1) + "Output-" + file.substring(file.lastIndexOf('/') + 1, file.lastIndexOf('.') + 1) + "json";
System.out.println("Input file is :" + inputPath);
System.out.println("Output file is :" + outputPath);
generate(inputPath, outputPath, inter);
}
/************************************************************
*/
// public static void testOnOnePassage() {
//
// String path = "/Users/peigenyou/workspace/input.txt";
// String outputPath = "/Users/peigenyou/workspace/output.json";
// generate(path, outputPath);
// }
//
// /************************************************************
// */
// public static void testExtractFile() {
//
// try {
// ArrayList paths = getAllFilenamesInDir();
// StringBuilder sb = new StringBuilder();
// for (Path p : paths) {
// ArrayList> qa = extractFile(p);
// for (int i = 0; i < qa.get(0).size(); ++i) {
// sb.append("{\n");
// sb.append(" \"file\":\"" + p.getFileName() + "\",\n");
// sb.append(" \"query\":\"" + qa.get(0).get(i) + "\",\n");
// sb.append(" \"answer\":\"" + qa.get(1).get(i) + "\"\n");
// sb.append("},\n");
// }
// }
// try (PrintWriter out = new PrintWriter("/Users/peigenyou/Downloads/qa.json")) {
// out.print(sb.toString());
// }
//
// }
// catch (IOException e) {
// e.printStackTrace();
// }
// }
public static void main(String[] args) throws IOException {
System.out.println("INFO in QAOutputGenerator.main()");
KBmanager.getMgr().initializeOnce();
Interpreter inter = new Interpreter();
inter.initialize();
if (args != null && args.length > 1 && (args[0].equals("-f"))) {
generateForFile(args[1], inter);
}
if (args != null && args.length > 1 && args[0].equals("-d")) {
generateForDir(args[1], inter);
}
else if (args != null && args.length > 0 && args[0].equals("-h")) {
System.out.println("Batch test tool of sigma.");
System.out.println(" options:");
System.out.println(" -h - show this help screen");
System.out.println(" -d directory - runs on all the .txt file under directory");
System.out.println(" -f filepath - runs on one file");
System.out.println(" All input file should be in a format of one sentence one line.");
}
else {
try (Scanner in = new Scanner(System.in)) {
String input = "";
while (!input.equals("quit")) {
System.out.println("Please enter the file you want to test on: 'quit' to exit");
input = in.nextLine();
try {
generateForFile(input, inter);
}
catch (Exception e) {
System.out.println("The file input is invalid,please enter the fullpath with filename: eg. /Users/Obama/workspace/test.txt");
continue;
}
}
}
catch (Exception e) {
e.printStackTrace();
}
}
}
}