Concepts inLinguistically motivated large-scale NLP with C&C and boxer

Theoretical linguistics

Theoretical linguistics is the branch of linguistics that is most concerned with developing models of linguistic knowledge. The fields that are generally considered the core of theoretical linguistics are syntax, phonology, morphology, and semantics. Although phonetics often informs phonology, it is often excluded from the purview of theoretical linguistics, along with psycholinguistics and sociolinguistics.  more from Wikipedia

Natural language processing

Natural language processing (NLP) is a field of computer science, artificial intelligence, and linguistics concerned with the interactions between computers and human (natural) languages. Specifically, it is the process of a computer extracting meaningful information from natural language input and/or producing natural language output. In theory, natural language processing is a very attractive method of human–computer interaction.  more from Wikipedia

Grammar

In linguistics, grammar is the set of structural rules that govern the composition of clauses, phrases, and words in any given natural language. The term refers also to the study of such rules, and this field includes morphology, syntax, and phonology, often complemented by phonetics, semantics, and pragmatics. Linguists do not normally use the term to refer to orthographical rules, although usage books and style guides that call themselves grammars may also refer to spelling and punctuation.  more from Wikipedia

Formal system

A formal system is loosely speaking, any well defined system of abstract thought, on the model of mathematics. Technically, Euclid's elements, with a model consisting of 23 definitions and 10 postulates/axioms followed by 13 books of theorems with proof, is often held to be the first formal system and displays the characteristic of a formal system.  more from Wikipedia

Text corpus

In linguistics, a corpus (plural corpora) or text corpus is a large and structured set of texts (now usually electronically stored and processed). They are used to do statistical analysis and hypothesis testing, checking occurrences or validating linguistic rules on a specific universe. A corpus may contain texts in a single language (monolingual corpus) or text data in multiple languages (multilingual corpus).  more from Wikipedia

Semantics

Semantics (from Greek: sēmantiká, neuter plural of sēmantikós) is the study of meaning. It focuses on the relation between signifiers, such as words, phrases, signs and symbols, and what they stand for, their denotata. Linguistic semantics is the study of meaning that is used to understand human expression through language. Other forms of semantics include the semantics of programming languages, formal logics, and semiotics.  more from Wikipedia