TIL in Knowledge-Based Multi-Agent Systems
Tomáš Frydrych, Ondřej Kohut, Michal Košinár · 2008
Abstract. 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 of the language of TIL constructions. TIL-Script can be used as an alternative to FIPA SL language, whenever communication in a natural language is in need (e. g. human / computer interaction) and/or another systems are insufficient in their expressive power (for example in the area of knowledge representation for resource bounded knowledge based agents).