Formal Humor Logic Beyond Second-Most Plausible Reasoning.
Christian F. HempelmannPublished in: AAAI Fall Symposium: Artificial Intelligence of Humor (2012)
Keyphrases
- plausible reasoning
- probability theory
- formal language
- belief revision
- modal logic
- ctl model update
- logical framework
- mathematical theory
- formal model
- predicate logic
- classical logic
- formal semantics
- highly expressive
- belief change
- conditional independence
- logic programming
- multi valued
- cognitive processes
- proof theory
- formal methods
- data sets
- defeasible logic
- operational semantics
- belief functions
- inference rules
- temporal logic
- computational logic
- knowledge representation