ACL RD-TEC 1.0 Summarization of P84-1044
Paper Title:
REPRESENTING KNOWLEDGE ABOUT KNOWLEDGE AND MUTUAL KNOWLEDGE
REPRESENTING KNOWLEDGE ABOUT KNOWLEDGE AND MUTUAL KNOWLEDGE
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- binary relations
- case
- comprehension
- concept
- concepts
- decidability
- deduction
- derivation
- derivation tree
- derivations
- formalism
- knowledge
- knowledge base
- likelihood
- logic
- meaning
- modal logic
- nouns
- predicates
- procedure
- proposition
- propositional logic
- propositions
- semantic
- semantic network
- semantic networks
- sentence
- sentences
- speech act
- speech acts
- symbols
- term
- theorem
- theory
- tree
- utterance
