Дефолтна логіка як інструмент моделювання міркувань за умов неповної інформації

Abstract

У юридичній практиці адвокат, прокурор, слідчий і суддя нерідко змушені ухвалювати проміжні рішення або формулювати версії за умов неповної, фрагментарної чи суперечливої інформації. Традиційна (класична) логіка оперує поняттями істини і хибності, що робить її мало гнучкою в ситуаціях, коли повні дані відсутні. Сучасні некласичні логіки, зокрема дефолтна логіка, покликані моделювати дедуктивно-індуктивне та дефейзибельне (тобто таке, що допускає відкликання) мислення, яке притаманне реальній судовій практиці. Метою цих тез є пояснити сутність дефолтної логіки, показати її відповідність процесу правового міркування і продемонструвати приклади застосування у праві [1; 2].