Course Code Logic and Language Structure Course Type LT

HUM1012 Credits 3
Course Objectives:
 Equip the students with symbolic language, which would further help them in coding sentential
information.
 Assist the students to reduce Natural Language into a structured mathematical representation.
 Enable the students to be capable to describe the applications based on Natural Language
Processing and to show the points of syntactic, semantic and pragmatic processing.
Course Outcomes:
 Understanding approaches to syntax and semantics in NLP.
 Understanding the basics of mathematical logic and its application to natural language
semantics.
 Understanding and knowledge acquired form the course will enable students to take up further
courses based on natural language processing in term of machine.

Module Module Description Hours SO

No.
1 Introduction to Natural Language Processing: 3 a, k
Human language, models, ambiguity, processing paradigms, phases in
natural language processing, need for NLP and NLU, relevance of NLP
and NLU, understanding of language (natural language, symbolic
language, computer language), application of natural language in
programming, expert system in AI, recommendation system in AI and
cognitive system in AI.
2 Syntax and Semantics Interface in Natural Language:
Context free grammar, POS tagging, constituency, trees, sentence,
utterance, proposition, sense, reference, referring expressions,
predicates, universe of discourse, deixis and definiteness, lexical
semantics.
3 Set theory, Ordered pairs and Relations, Function: membership, 6 k, e
subset, superset, intersection, union, binary relation, ternary relation,
quaternary relation, domain, co-domain, symmetry, transitivity,
reflexive, characteristic function, function and relation differentiation in
Natural Language.
4 Logic in Natural Language and understanding Natural Language 5 a, h
semantics:
Propositional logic (truth value, truth table, negation, conjunction,
disjunction, conditional, bi-conditional), formulas (atomic and complex)
and propositional letters, equivalence, contradiction, tautology,
entailment, implicature, and presupposition in relation to set theory,
 relation, function, and logic.
5 Typed Lambda Calculus and Function Application in Natural 6 a, e
Language:
Type semantics, lambda abstraction, syntax and semantics of lambda
abstraction, lambda calculus, and linguistic application, equality,
negation, binary connectives, quantification, Beta-reduction. Function
application with grammatical categories (content and functional),
determiners and quantifiers, conditions and quantifiers, and predicate
modification (type semantics and type shifting).
5 Guest Lecture 4
Text Book(s):
1. Coppock, E., & Champollion. L. (2019). Invitation to Formal Semantics. Semantics Boot Camp.
2. Partee, H. B. (1990). Mathematical methods in Linguistics.
3. Carnie, A. (2002). Syntax: A Generative Introduction. Malden, M A: Blackwell.
4. Hurford, R. J., Heasley. B., & Smith B. M. (2007). Semantics: A Coursebook. Cambridge
University Press, New York.
5 Jacobson. P. (2014). Compositional semantics:An interoduction to the Syntax and Semantics
Interface. Oxford University Press:NY
6 Comorobski. I. (1996). Interrogative Pharases: Syntax and Semantics Interface. Sringer:USA

Recommendation by the Board of Studies on 17th January 2020

Approval by Academic council on: 20-01-2020
Compiled by: Dr. Ambalika Guha and Rajiv Saxena