Ого, да тут у нас подмножества логик в которых может не выполняться закон исключенного третьего - весьма интересно, понял в каком направлении искать, еще раз благодарю.
Мне просто интересно есть ли какие-либо наработки в этой области и понять не является ли поставленная задача чем-то вроде P vs NP. Иными словами - обо что споткнулись все кто пытался ее решить до этого?
Практический ответ я представляю в виде "да, такой язык существует, вот ссылка" или "нет задача не может быть решена языком программирования из-за таких свойств естественного языка как А, B и C". Мой вопрос все еще может считаться корректным?
386DX: Возможно мне следует уточнить формулировку? А именно: меня интересует какие именно свойства естественного языка препятствуют переносу юридических задач в область формальных языков программирования.
Да, предметная база большая - но нас не просят сразу же охватывать ее всю. Для начала надо определить каркас/ядро понятий применяющихся везде + раздел право с маленькой предметной областью.
К тому же с высокоуровневыми понятиями работает и программирование и работает вполне успешно. В Java например вообще все наследуется от весьма абстрактного класса Object и никто не жалуется.
У вас очень хороший пример с понятиями. Думаю что понятия определяются в зависимости от контекста.
"Лицо" вполне себе напоминает объект "пользователь"
"Действие" у нас обычно содержится в контроллере и является методом класса.
"Предумышленно" я вижу вообще как функцию возвращающую true/false в зависимости от аргументов.
И да - законы, действующие в соответствие с формальной логикой, – это действительно круто, они по идее для этого и задумались. Ну то есть это вроде же у них "by design" они же для этого создавались, разве нет?
И тут крайне интересный вопрос - а тогда в соответствии с какой логикой они получается у нас работают сейчас? :))
"90% текста в каждом юр. документе - вода, которая необходима по закону" - и как у любого нормального программиста у вас наверняка возникает желание взять и вынести это все в отдельный класс или метод - так? :) Вопрос в том почему этого еще никто не сделал?
Да, более того генерация документов по шаблонам - вполне себе обкатанный процесс, большое количество сервисов его предлагают. Вопрос в том - что мешает решению задачи генерации любых юридических документов, что называется, "в общем виде"?
Вопрос именно этом: почему юриспруденции еще очень далеко до любой автоматизации? Например, банковская сфера переехала в нашу формальную область и отлично себя чувствует там, хотя банковские работники тоже ни разу не спецы в программировании.
По поводу суда - нет не был. Но если вы посмотрите на любой договор то там в начале почти всегда есть "Иван Иванович, именуемый в дальнейшем Исполнитель...." это разве не define?
В приведенном примере анализ файла выполнен с параметром --log=4. Вы имеете в виду его или логи PHP?
Судя по документации 4 — это самый подробный уровень лога.
Или я неправильно вас понял и нужно прислать не содержимое консоли после выполнения команды а данные лог-файлов, которые находятся где-то внутри hip hop?
Отображение ошибок в PHP.ini включено максимальное — если вы это имеете в виду. Хотя мне не совсем понятно как это должно влиять на анализ кода при помощи hip hop. В принципе поставить в самом начале скрипта принудительное обращение к ini_set кажется мне хорошей идеей, сейчас попробую.
Еще раз: никто не предлагает вам тут вводить иероглифы. Их будут вводить те, кто может их ввести, а вы будете вводить капчу на родном языке — вот о чем речь. Вы увидите иероглифы в капче только в том случае, если принудительно переключите свой браузер на китайский — но тут уж извините.
Судя по комментарию — квест пройден? :)
Вообще интересно — они же должны это как-то отслеживать. Скорее всего вам мог случайно встретиться иностранный фрагмент из какой-нибудь цитаты в тексте. Скорее всего он попадется нескольким людям, и система его отбракует как нераспознаваемый.
Хотя да, подумав над вашим комментарием я прихожу к выводу что возможна достаточно редкая ситуация: пользователь находится не в России, русской клавиатуры у него нет, но браузер на русском. В этом случае вы правы: с введением капчи возникнут проблемы.
Однако, в этом случае следует учесть два фактора:
1) вероятность возникновения такой ситуации очень мала
2) В капче можно предусмотреть возможность выбрать язык, или по умолчанию при клике на кнопку «перезагрузить» всегда показывать английские буквы
Это то, что сразу приходит в голову. Возможно существуют и другие, более оптимальные решения.
Тем не менее я пока не получил ответа на свой вопрос: что по вашему мнению можно сделать, чтобы русские книги тоже стали оцифровываться при помощи этого сервиса?