Cooperative Replies to Unbelievable Assertions - A Dialogue Protocol based on Logical Interpolation.
Matti NykänenSatu ElorantaOlli NiinivaaraRaul HakliPublished in: ICAART (2) (2011)
Keyphrases
- cooperative
- negotiation protocol
- multi agent systems
- knowledge base
- lightweight
- distributed problem solving
- cryptographic protocols
- interaction protocols
- mixed initiative
- man machine
- network protocols
- image interpolation
- formal analysis
- dialogue system
- natural language
- multi agent
- tcp ip
- human machine
- interpolation methods
- spoken dialogue systems
- conversational agent
- communication protocol
- authentication protocol
- logical representation
- key distribution
- ip address
- dialogue management
- cooperating agents
- interpolation method
- cooperative learning
- file transfer
- coloured petri nets