Computational semiotics is an interdisciplinary field that applies, conducts, and draws on research in logic, mathematics, the theory and practice of computation, formal 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). Semiotics, or semiology, is the study of signs, both individually and grouped in sign systems. ... Biosemiotics (bios=life & semion=sign) is a growing field that studies the production, action and interpretation of signs in the physical and biologic realm, in an attempt to integrate the findings of scientific biology and semiotics to form a new view of life and meaning as immanent features of the... In semiotics, the concept of a code is of fundamental importance. ... This word has distinct meanings in logic, philosophy, and common usage. ... In semiotics, the process of interpreting a message sent by the addresser to the addressee is called decoding. ... In semiotics, denotation is the surface or literal meaning encoded to a signifier, and the definition most likely to appear in a dictionary. ... In semiotics, the process of creating a message for transmission by the addresser to the addressee is called encoding. ... In the lexicon of a language, lexical words or nouns refer to things. ... In semiotics, modality refers to the particular way in which the information is to be encoded for presentation to humans, i. ... Because too much data can cause “cognitive clutter”, individuals need a system to enable them to rank available data in terms of its immediate importance. ... In semiotics, a sign is generally defined as, ...something that stands for something else, to someone in some capacity. ... A sign relation is the basic construct in the theory of signs, or semiotic theory, as developed by Charles Sanders Peirce (1839-1914). ... Semiosis is a term introduced by Charles Peirce. ... Semiosphere is the sphere of semiosis in which the sign processes operate in the set of all interconnected Umwelts. ... Semiotic literary criticism, also called literary semiotics, is the approach to literary criticism informed by the theory of signs or semiotics. ... In logic, mathematics, and semiotics, a triadic relation or a ternary relation is an important special case of a polyadic or finitary relation, one in which the number of places in the relation is three. ... Umwelt (from the German umwelt, environment) according to Jakob von Uexküll and Thomas A. Sebeok is the biological foundations that lie at the very epicenter of the study of both communication and signification in the human [and non-human] animal. ... In semiotics, the value of a sign depends on its position and relations in the system of signification and upon the particular codes being used. ... In semiotics, the commutation test is used to identify the value or signficance of any of the signifiers used in the material to be analysed. ... In semiotics paradigmatic analysis is analysis of paradigms rather than surface structure (syntax) as in syntagmatic analysis, often made through commutation tests, comparisons of words chosen with absent words, words of the same type or class but not chosen. ... In semiotics syntagmatic analysis is analysis of syntax or surface structure (Syntagmatic structure), rather than paradigms as in paradigmatic analysis. ... Roland Barthes Roland Barthes (November 12, 1915 – March 25, 1980) was a French literary critic, literary and social theorist, philosopher and semiotician. ... Marcel Danesi is known for his work in language, communications, and semiotics, being Professor of Semiotics and Communication Theory at the University of Toronto, Canada. ... Saussure Ferdinand de Saussure (November 26, 1857 - February 22, 1913) was a Swiss linguist, considered by many to be the father of structuralism. ... Photo of Umberto Eco by Robert Birnbaum Umberto Eco (born January 5, 1932) is an Italian freemason, medievalist, philosopher and novelist, best known for his novel The Name of the Rose and his many essays. ... Louis Hjelmslev (October 3, 1899 - May 30, 1965) was a Danish linguist whose ideas formed the basis of the Danish School in linguistics. ... Roman Osipovich Jakobson (October 11, 1896 - July 18, 1982) was a Russian thinker who became one of the most influential linguists of the 20th century by pioneering the development of structural analysis of language, poetry, and art. ... Roberta Kevelson was the #1 authority on the pragmatism theories of Charles Sanders Peirce, and an authority on Semiotics in general. ... Charles Sanders Peirce Charles Sanders Santiago Peirce (pronounced purse), (September 10, 1839, Cambridge, Massachusetts – April 19, 1914, Milford, Pennsylvania) was an American polymath. ... Thomas Albert Sebeok (born in Budapest, Hungary, on November 9, 1920, died December 21, 2001 in Bloomington, Indiana) was one of the most prolific and wide-ranging of US semioticians. ... Aesthetics is the branch of philosophy that studies the nature of beauty and the moral value of art, so aestheticization as propaganda is the process of presenting violence as an acceptable means of promoting a political aim even though it involves the injury or death of people. ... Aesthetics is the branch of philosophy that studies the nature of beauty and the moral value of art, so the aestheticization of violence is the process of making the act and the product of violence appear attractive. ... The Semiotics of Ideal Beauty asks whether there can ever be a single yardstick of beauty or whether what is recognised as beauty will be in continuous flux as each culture evolves and establishes new measures of social acceptability. ... Logic, from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, (but coming to mean thought or reason) is most often said to be the study of criteria for the evaluation of arguments, although the exact definition of logic is a matter of controversy among philosophers. ... Mathematics is often defined as the study of topics such as quantity, structure, space, and change. ... Computation can be defined as finding a solution to a problem from given inputs by means of an algorithm. ... Computer code (HTML with JavaScript) in a tool that uses colors to help the developer see the function of each piece of code. ... Computer science is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. ... In mathematics, logic and computer science, a formal language is a set of finite-length words (i. ... The term natural language is used to distinguish languages spoken and signed (by hand signals and facial expressions) by humans for general-purpose communication from constructs such as writing, computer-programming languages or the languages used in the study of formal logic, especially mathematical logic. ... Linguistics is the scientific study of human language, and someone who engages in this study is called a linguist or linguistician. ... Rendering of human brain based on MRI data Cognitive science is usually defined as the scientific study either of mind or of intelligence (e. ... Semiotics, or semiology, is the study of signs, both individually and grouped in sign systems. ... In semiotics, a sign is generally defined as, ...something that stands for something else, to someone in some capacity. ... Hondas intelligent humanoid robot Artificial intelligence (AI) is defined as intelligence exhibited by an artificial entity. ... Knowledge representation is needed for library classification and for processing concepts in an information system. ... Human-computer interaction (HCI) is the study of interaction between people (users) and computers. ...

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. Algebra is the current mathematics collaboration of the week! Please help improve it to featured article standard. ... The user interface is the part of a system exposed to users. ... In mathematics, a proof is a demonstration that, assuming certain axioms, some statement is necessarily true. ...

Bibliography

• 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

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

See also

Hondas intelligent humanoid robot Artificial intelligence (AI) is defined as intelligence exhibited by an artificial entity. ... Computational linguistics is an interdisciplinary field dealing with the statistical and logical modeling of natural language from a computational perspective. ... Human-computer interaction (HCI) is the study of interaction between people (users) and computers. ... In mathematics, logic and computer science, a formal language is a set of finite-length words (i. ... Information theory is the mathematical theory of data communication and storage, generally considered to have been founded in 1948 by Claude E. Shannon. ... Knowledge representation is needed for library classification and for processing concepts in an information system. ... The logic of information, or the logical theory of information, considers the information content of logical signs and expressions along the lines initially developed by Charles Sanders Peirce. ... The introduction to this article provides insufficient context for those unfamiliar with the subject matter. ... The term natural language is used to distinguish languages spoken and signed (by hand signals and facial expressions) by humans for general-purpose communication from constructs such as writing, computer-programming languages or the languages used in the study of formal logic, especially mathematical logic. ... In mathematics, an n-ary relation (or n-place relation or often simply relation) is a generalization of binary relations such as = and < which occur in statements such as 5 < 6 or 2 + 2 = 4. It is the fundamental notion in the relational model for databases. ... In logic and mathematics, the composition of relations is the generalization of the composition of functions. ... In logic and mathematics, relation construction and relational constructibility have to do with the ways that one relation is determined by an indexed family or a sequence of other relations, called the relation dataset. ... In logic and mathematics, relation reduction and relational reducibility have to do with the extent to which a given relation is determined by an indexed family or a sequence of other relations, called the relation dataset. ... It has been suggested that this article or section be merged into Relational model. ... Semiotic information theory considers the information content of signs and expressions as it is conceived within the semiotic or sign-relational framework developed by Charles Sanders Peirce. ... The user interface is the part of a system exposed to users. ...

External links

• Goguen, J., Algebraic Semiotics

• Gudwin, R.R., Computational Semiotics

• International Computational Semiotics Group

• UNICAMP Computational Semiotics Group