Editing Computational semiotics (section)

== Semiotics of computation ==
A common theme of this work is the adoption of a [[sign (semiotics)|sign-theoretic]] perspective on issues of [[artificial intelligence]] and [[knowledge representation]].  Many of its applications lie in the field of [[human-computer interaction]] (HCI) and fundamental devices of recognition.

One part of this field, known as [[algebraic semiotics]], combines aspects of [[algebra]]ic specification and social semiotics, and has been applied to [[user interface]] design and to the representation of [[mathematical proof]]s.