A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision.
Douglas E. AppeltKurt KonoligePublished in: NMR (1988)
Keyphrases
- belief revision
- speech acts
- default reasoning
- propositional logic
- rational agents
- belief change
- nonmonotonic reasoning
- belief update
- formal theory
- mental states
- formal semantics
- minimal change
- plausible inference
- logical properties
- conditional logic
- language processing
- plausible reasoning
- possibilistic logic
- knowledge base
- temporal logic
- cooperative
- spatial reasoning
- belief merging
- cost based abduction
- operational semantics
- belief state
- dynamic environments
- natural language
- artificial intelligence