Computational semiotics

Computational semiotics is the application of semiotics to computing machinery. It is the attempt to expand the realm of useful, computationally tractable logical operations, extending computer science past data processing into full semiosis. It may be understood as a kind of inquiry into artificial intelligence and knowledge representation but rooted in sign theory.

One part of this field, known as algebraic semiotics, combines aspects of algebraic specification and social semiotics, and has been applied to user interface design and to the representation of mathematical proofs.