Type Theory and Semantic Ontology

• How to scale down Dialogue to Monologue and up to Multilogue? —Dialogue: querier/responder —Monologue: self answering —Multilogue: multiple discussants • Basic idea: compositionally break down interaction protocols using conversational rules. 4 • Use Type Theory with Records (TTR) (Cooper, 2005) to formulate conversational rules. • Type Theory with Records: a framework that allows —Rich ontologies a ̀ la Situation Semantics —Dynamic semantic techniques a ̀ la DRT —Constraint-based Grammar a ̀ la HPSG —Dialogue Analysis a ̀ la KOS • TTR notationally similar to Type Feature Structures, but substantively different —TTR has token type distinction: crucial for dealing with grounding/clarification potential —TTR contains λ-calculus: crucial for doing semantic