Filters
TIL and Logic Programming
The paper introduces a method of transition from TIL into Prolog system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encodedin Prolog language, and introduce the method of transla...
IN - Informatika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Functional programming Based on Transparent Intensional Logic
In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL system. Thework on the TIL-Script project is being pursued by ...
IN - Informatika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Agents' resoning using TIL-Script and Prolog
(TIL) into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. Agents communicate in the TIL-Script language, a computational variant of the expressive TIL sy...
IN - Informatika
- 2010 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Question Answering System in the TIL-Script language
of natural language texts. These texts are formalized automatically into the form of TIL constructions encoded in the TIL-Script language. TIL-Script is a computational variant of Pavel Tichý's Transparent Intensional...
Computer and information sciences
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation
This paper deals with the processing of TIL-Script constructions. TIL-Script constructions are a computational variant of the Transparent Intensional Logic (TIL of TIL-Script in supervised machine learning with a s...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
TIL in Knowledge-Based Multi-Agent Systems
Transparent Intensional Logic (TIL) is a highly expressive logic system. Its potential applications in artificial intelligence and multi-agent systems are broad. We introduce the TIL-Script language, which is a computational variant...
IN - Informatika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Deduction in TIL: From simple to ramified hierarchy of types
Tichý?s Transparent Intensional Logic (TIL) is an overarching logical framework. Such procedures are rigorously defined as TIL constructions. Though TIL analytical potential is very large, deduction in TIL has been...
BA - Obecná matematika
- 2013 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Substitution rules with respect to a context
, and describe how the rule can be applied in the TIL-Script lan- guage. The main goal kinds of context that we distinguish in the TIL-Script language. The language is a computational variant of TIL, which is a hyperintensi...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Natural deduction system in the TIL-script language
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...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Delta-TIL and Problems of Deontic Logic
The article contains a critical assessment of Delta-TIL – a theory aiming at extending the apparatus of Transparent Intensional Logic (TIL) so that it addresses associated with the conception of Delta-TIL and suggest that i...
AA - Filosofie a náboženství
- 2016 •
- O
Rok uplatnění
O - Ostatní výsledky
- 1 - 10 out of 282