Wykrywanie błędów logicznych i / lub Identyfikacja z przetwarzaniem języka naturalnego
Czy istnieje pakiet lub metodologia do wykrywania błędnych argumentów logicznych w tekście?
Liczyłem na coś, co zadziała w przypadku tekstu, który nie jest napisany w środowisku akademickim (np. Klasa logiczna). To może być rozciągnięcie, ale chciałbym coś, co może zidentyfikować, gdzie logika próbuje być używany i zidentyfikować błąd logiczny. Ewentualnym zastosowaniem byłoby oznaczanie błędów w artykułach redakcyjnych.
Nie potrzebuję niczego, co jest dopracowane. I nie miałbym nic przeciwko pracy nad czymś, więc naprawdę szukam tego, co jest teraz na wolności.
3 answers
To trudny problem, ponieważ będziesz musiał mapować język naturalny do jakiejś logicznej reprezentacji i radzić sobie z niejednoznacznością w procesie.
Projekt Attempto może być dla Ciebie interesujący. Posiada kilka narzędzi , które możesz wypróbować online. W szczególności, RACE może robić coś, co chciałeś zrobić. Sprawdza zgodność z podanymi twierdzeniami. Ale większy problem polega na przekształceniu ich w formy logiczne.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2012-04-07 03:09:25
Dla onologii aksjomatów logicznych, OpenCyc i komercyjna pełna ontologia Cyc może być również warta zbadania. CycML jest używany jako język do modelowania twierdzeń logicznych, a silnik Cyc jest zdolny do wnioskowania logicznego. Źródło dla OpenCycmożna znaleźć w opencyc SourceForge project. Strona Cyc Wikipedia również ma świetne informacje.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2014-05-07 01:30:54
Tak, to bardzo paskudny problem. Sugerowałbym, abyś spróbował skupić się na wąskiej domenie. Na przykład, jeśli szukasz błędów logicznych w określaniu raka, musisz skupić się na tym, jaki rodzaj raka, a także co próbujesz rozwiązać, np.: prawidłowe plany leczenia, prawidłowe obserwacje, prawidłowe procedury, prawidłowe określenie etapu itp. Następnie musisz znaleźć taksonomię lub ontologię dla tego konkretnego raka, np: Medline. Więc na przykład, prawdopodobnie będziesz musiał się skupić in on ONLY lung cancer and then only a subset of lung cancer types and only observations indicating lung cancer. Następnie będziesz musiał zidentyfikować swoje ciało, drzewa wiedzy, relacje z bytami, a następnie martwić się o wykrywanie negacji, hipotezy i wykrywanie przedmiotów. Jeśli Opieka zdrowotna nie jest twoją łodzią, to słyszałem, że kolejną trudną domeną dla błędów logicznych jest Branża prawnicza.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2017-07-11 04:10:09