Computational Semantics

This project explored the foundations of computational semantics by applying set theory, propositional logic, and sentential logic to Marathi phonology and everyday reasoning tasks.

---

🔹 Key Components

1. Set Theory with Marathi Phonemes

• Defined universal, vowel, consonant, nasal, and voiced consonant sets.
• Applied operations: commutative, associative, distributive, complement, and identity properties.

2. Phonetic Feature Classification

• Grouped sounds by place of articulation: labial, dental, retroflex, palatal, velar, glottal.
• Grouped sounds by manner of articulation: plosives, affricates, fricatives, approximants, nasals.

3. Sentential Logic in Marathi

• Modeled logical relations using:
  • Conditional (जर…तर)
  • Conjunction (आणि)
  • Disjunction (किंवा)
  • Negation (नाही)
  • Biconditional (if and only if)
• Demonstrated modus ponens and modus tollens with Marathi sentences.

4. Propositional Logic Applications

• Solved puzzles with truth-tellers (knights) and liars (knaves).
• Evaluated consistency of system specifications.

5. Tautology, Contradiction, and Contingency

• Classified logical statements such as:
  • It is raining
  • Either it is raining or it is not
  • It is both raining and not raining

6. Applied Case Study – Travel Agency FAQ System

• Modeled travel rules using propositional logic (IF-THEN conditions).
• Built rules for pricing, discounts, refunds, visa requirements, and activities.
• Tested on two sample travelers (Sarah and Michael).

---

🔹 Skills Demonstrated

• Application of set theory and logic in linguistics.
• Formalization of natural language semantics into computational rules.
• Creation of a rule-based FAQ system using logical operators.