Natural Deduction System in the TIL-Script Language

被引：1

作者：

Duzi, Marie ^{[1
]}

Mensik, Marek ^{[1
]}

Pajr, Miroslav ^{[2
]}

Patschka, Vojtech ^{[1
]}

机构：

[1] VSB Tech Univ Ostrava, Dept Comp Sci FEI, 17 Listopadu 15, Ostrava 70833, Czech Republic

[2] Silesian Univ Opava, Inst Comp Sci, Bezrucovo Nam 13, Opava 74601, Czech Republic

来源：

INFORMATION MODELLING AND KNOWLEDGE BASES XXX | 2019年 / 312卷

关键词：

Beta-conversion; TIL; TIL-Script; three kinds of context; functional application; natural deduction; hyperintensionality; BETA-CONVERSION; LOGIC;

D O I：

10.3233/978-1-61499-933-1-237

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper we deal with the extension of the functionalities of the TIL-Script language, namely the proof system based on natural deduction. The system processes a subset of the set of TIL-Script constructions that are typed to v-construct a truth-value. Since TIL-Script is a functional programming language based on a hyperintensional lambda calculus with procedural semantics, we also describe the way how to validly apply beta conversion and how to operate in a hyperintensional context where the very procedure is an object of predication.

引用

页码：237 / 255

页数：19

共 27 条

[1]

Benzmuller Ch., 2015, ALL PROOFS PROOF ALL, P171

[2]

Chang S, 2012, LECT NOTES COMPUT SC, V7211, P128, DOI 10.1007/978-3-642-28869-2_7

[3] Agents' reasoning using TIL-Script and Prolog [J].

Cihalova, Martina ;

Ciprich, Nikola ;

Duzi, Marie ;

Mensik, Marek .

INFORMATION MODELLING AND KNOWLEDGE BASES XXI, 2010, 206 :135-154

[4]

Ciprich N., 2009, FRONTIERS ARTIFICIAL, V190, P166

[5]

Cresswell M.J., 1975, STUD LOGICA, V34, P25, DOI [10.1007/bf02314421, DOI 10.1007/BF02314421]

[6]

DUZ M, 2018, FRONTIERS ARTIFICIAL, V301, P263, DOI [10.3233/978-1-61499-834-1-263, DOI 10.3233/978-1-61499-834-1-263]

[7]

Duzf Marie, 2012, Conceptual Modelling and Its Theoretical Foundations. Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday, P268, DOI 10.1007/978-3-642-28279-9_19

[8]

Duzi M, 2010, LOGIC EPISTEMOL UNIT, V17, P1, DOI 10.1007/978-90-481-8812-3

[9]

Duzi M., 2018, THESE P

[10]

Duzi M., 2003, MISCELLANEA LOGICA, P45

← 1 2 3 →