Computational semiotics is an interdisciplinary field that applies, conducts, and draws on research in logic

Logic

In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...

, mathematics

Mathematics

Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

, the theory

Theory of computation

In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm...

 and practice

Computer programming

Computer programming is the process of designing, writing, testing, debugging, and maintaining the source code of computer programs. This source code is written in one or more programming languages. The purpose of programming is to create a program that performs specific operations or exhibits a...

 of computation

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

, formal

Formal language

A formal language is a set of words—that is, finite strings of letters, symbols, or tokens that are defined in the language. The set from which these letters are taken is the alphabet over which the language is defined. A formal language is often defined by means of a formal grammar...

 and natural

Natural language

In the philosophy of language, a natural language is any language which arises in an unpremeditated fashion as the result of the innate facility for language possessed by the human intellect. A natural language is typically used for communication, and may be spoken, signed, or written...

 language studies

Linguistics

Linguistics is the scientific study of human language. Linguistics can be broadly broken into three categories or subfields of study: language form, language meaning, and language in context....

, the cognitive science

Cognitive science

Cognitive science is the interdisciplinary scientific study of mind and its processes. It examines what cognition is, what it does and how it works. It includes research on how information is processed , represented, and transformed in behaviour, nervous system or machine...

s generally, and semiotics

Semiotics

Semiotics, also called semiotic studies or semiology, is the study of signs and sign processes , indication, designation, likeness, analogy, metaphor, symbolism, signification, and communication...

 proper. A common theme of this work is the adoption of a sign-theoretic

Sign (semiotics)

A sign is understood as a discrete unit of meaning in semiotics. It is defined as "something that stands for something, to someone in some capacity" It includes words, images, gestures, scents, tastes, textures, sounds – essentially all of the ways in which information can be...

 perspective on issues of artificial intelligence

Artificial intelligence

Artificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...

 and knowledge representation

Knowledge representation

Knowledge representation is an area of artificial intelligence research aimed at representing knowledge in symbols to facilitate inferencing from those knowledge elements, creating new elements of knowledge...

. Many of its applications lie in the field of computer-human interaction (CHI) and the fundamental devices of recognition (work at the Institute for Advanced Science & Engineering in California).

Computational semiotics is that branch of one, which deals with the study and application of logic, computation to formal, natural language in terms of cognition and signs.

One part of this field, known as algebraic semiotics, combines aspects of algebra

Algebra

Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from them, including terms, polynomials, equations and algebraic structures...

ic specification and social semiotics, and has been applied to user interface

User interface

The user interface, in the industrial design field of human–machine interaction, is the space where interaction between humans and machines occurs. The goal of interaction between a human and a machine at the user interface is effective operation and control of the machine, and feedback from the...

 design and to the representation of mathematical proof

Mathematical proof

In mathematics, a proof is a convincing demonstration that some mathematical statement is necessarily true. Proofs are obtained from deductive reasoning, rather than from inductive or empirical arguments. That is, a proof must demonstrate that a statement is true in all cases, without a single...

s.

See also

External links

• Goguen, J.
  Joseph Goguen
  Joseph Amadee Goguen was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who helped develop the OBJ family of programming languages. He was author of A Categorical Manifesto and founder and Editor-in-Chief of the...
  
  , Algebraic Semiotics
• Gudwin, R.R., Computational Semiotics
• Gudwin, R.R., List of Publications in Computational Semiotics and other fields
• International Computational Semiotics Group
• UNICAMP Computational Semiotics Group