FOLIO: Natural Language Reasoning with First-Order Logic.
Simeng HanHailey SchoelkopfYilun ZhaoZhenting QiMartin RiddellLuke BensonLucy SunEkaterina ZubovaYujie QiaoMatthew BurtellDavid PengJonathan FanYixin LiuBrian WongMalcolm SailorAnsong NiLinyong NanJungo KasaiTao YuRui ZhangShafiq R. JotyAlexander R. FabbriWojciech KryscinskiXi Victoria LinCaiming XiongDragomir RadevPublished in: CoRR (2022)
Keyphrases
- probabilistic logic
- first order logic
- probabilistic reasoning
- knowledge representation
- natural language
- expressive power
- automated reasoning
- theorem proving
- propositional logic
- inference rules
- logical formulas
- markov networks
- proof procedure
- inductive logic programming
- theorem prover
- natural language processing
- representation language
- markov logic networks
- horn clauses
- relational algebra
- probabilistic graphical models
- predicate calculus
- transitive closure
- formal semantics
- knowledge base
- temporal knowledge
- markov logic
- knowledge representation and reasoning
- machine learning
- expert systems
- logic programming
- closure operator
- logical rules
- reasoning tasks
- higher order
- artificial intelligence