Decision Problems for Propositional Non-associative Linear Logic and Extensions.
Hiromi TanakaPublished in: CoRR (2020)
Keyphrases
- decision problems
- linear logic
- default logic
- logic programming
- fixed point
- influence diagrams
- computational complexity
- decision model
- logical framework
- optimal policy
- propositional logic
- utility function
- sequent calculus
- np hard
- cut elimination
- argumentation frameworks
- desirable properties
- first order logic
- multiple criteria
- argumentation semantics
- nonmonotonic reasoning
- pspace complete
- proof search
- inference rules
- knowledge representation
- bandit problems
- sensitivity analysis
- logic programs
- state space
- classical logic
- artificial intelligence
- machine learning