Mechanised assessment of complex natural-language arguments using expressive logic combinations

DOI10.1007/978-3-030-29007-8_7zbMATH Open1435.68315OpenAlexW2969254288MaRDI QIDQ2180221FDOQ2180221

Authors: David Fuenmayor, Christoph Benzmüller 

Publication date: 13 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29007-8_7

Recommendations

• scientific article; zbMATH DE number 7594144
• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
• Representing and reasoning about arguments mined from texts and dialogues
• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• Combining and automating classical and non-classical logics in classical higher-order logics

zbMATH Keywords

argumentationdeontic logichigher-order logichigher-order theorem provingIsabellelogic combinations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Natural language processing (68T50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (2)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments

Uses Software

• Isabelle
• Nitpick

This page was built for publication: Mechanised assessment of complex natural-language arguments using expressive logic combinations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180221)