is an interdisciplinary field that applies, conducts, and draws on research in logic
, the theory
and natural language studies
, the cognitive sciences
generally, and semiotics
proper. A common theme of this work is the adoption of a sign-theoretic
perspective on issues of artificial intelligence
and knowledge representation
. Many of its applications lie in the field of computer-human interaction
(CHI) and the fundamental devices of recognition (work at IASE
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.
- Andersen, P.B. (1991). A Theory of Computer Semiotics, Cambridge University Press
- de Souza, C.S., The Semiotic Engineering of Human-Computer Interaction, MIT Press, Cambridge, MA, 2005.
- Hugo, J. (2005), "The Semiotics of Control Room Situation Awareness", Fourth International Cyberspace Conference on Ergonomics, Virtual Conference, 15 Sep – 15 Oct 2005. Eprint
- Gudwin, R.; Queiroz J. (eds) - Semiotics and Intelligents Systems Development - Idea Group Publishing, Hershey PA, USA (2006), ISBN: 1-59904-063-8 (hardcover), 1-59904-064-6 (softcover), 1-59904-065-4 (e-book), 352 ps. Link to publisher
- Gudwin, R.; Queiroz, J. - Towards an Introduction to Computational Semiotics - Proceedings of the 2005 IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems - KIMAS'05, 18-21 April 2005, Waltham, MA, USA, pp. 393-398. IEEExplore
- Mili, A., Desharnais, J., Mili, F., with Frappier, M., Computer Program Construction, Oxford University Press, New York, NY, 1994. — Introduction to Tarskian relation theory and its applications within the relational programming paradigm.