Propositional Logic
material
ID: propositionallogic
Related Papers
Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning
AbstractSemantic parsing converts natural language utterances into structured logical expressions. We consider two such formal representations: Propositional Logic (PL) and First-order Logic (FOL). The paucity of labeled data is a …...
Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation
AbstractSome applications of artificial intelligence make it desirable that logical formulae be converted computationally to comprehensible natural language sentences. As there are many logical equivalents to a given formula, finding …...