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 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).