Towards context-sensitive dialogue with robot companion

Novel principles of implementing human-robot dialog using logic programming framework are outlined. Our inference mechanism makes use of semantic knowledge base and context sensitive clausal reasoning. Proposed normal forms and weak unification relation support efficient back- and forward chaining for dialog interpretation/control. Context driven dialog implementation is shown on autistic children training example.