Commonsense computing (episode 6): logic is harder than pie.
Tammy VanDeGriftDennis J. BouvierTzu-Yi ChenGary LewandowskiRobert McCartneyBeth SimonPublished in: Koli Calling (2010)
Keyphrases
- commonsense reasoning
- np complete
- computational properties
- classical logic
- automated reasoning
- commonsense knowledge
- proof theory
- logical framework
- multi valued
- modal logic
- logic programming
- np hard
- artificial intelligence
- real time
- data streams
- social networks
- predicate logic
- epistemic logic
- real world
- deontic logic
- neural network
- data sets