Search academic texts

Information × Registration Number 0405U004993, Candidate dissertation Status к.ф.-м.н. Date 15-12-2005 popup.evolution o Title Methods of formalisation of mathematical knowledge and reasoning: theoretical and practical aspects. Author Paskevich Andrej, popup.head Donchenko Vladimir. popup.opponent Провотар Олександр Іванович popup.opponent Гороховський Семен Самійлович Description Дисертацiю присвячено вивченню та розробцi засобiв подання математичного знання та схем математичного мiркування. Метою роботи є побудова системи автоматичної обробки формалiзованих математичних текстiв, зокрема, перевiрки їхньої коректностi. Мова подання цих текстiв наближена до природної мови математичних публiкацiй; пошук доведення ведеться системою на двох рiвнях: верхнiй рiвень виконує великi кроки доведення, застосовуючи традицiйнi прийоми математичного мiркування, а нижнiй рiвень "закриває" породженi пiдцiлi за допомогою комбiнаторної процедури пошуку виведення в деякiй дедуктивнiй системi. В дисертацiї описана формальна мова ForTheL, що iмiтує синтаксис англiйскої мови; сформульовано поняття коректностi ForTheL-тексту; розроблено "iнструментарiй" перевiрки коректностi: набiр евристичних методiв верхнього рiвня, а також ефективну комбiнаторну процедуру на базi цiлекерованого табличного числення. Результати роботи втiленi в програмному комплексi i апробованi у серiї експериментiв з нетривiальнимиматематичними текстами. Registration Date 2005-12-15 popup.nrat_date 2020-04-04 Close