Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic.
Teresita de Jesús Mijangos MartínezPublished in: LA-NMR (2011)
Keyphrases
- formal theory
- proof theory
- quantifier free
- deductive reasoning
- computer algebra
- multi valued
- logic programming
- rewrite systems
- modal logic
- logical framework
- set theory
- boolean algebra
- commonsense reasoning
- probability theory
- computational properties
- asynchronous circuits
- proof theoretic
- knowledge base
- nonmonotonic logics
- causal reasoning
- constrained optimization
- inference rules
- language learning
- theoretical framework
- propositional theories
- natural language