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

DOI10.1007/978-3-030-29007-8_7MaRDI QIDQ2180221zbMATH OpenOpenAlexFDO

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

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)

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

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

Describes a project that uses

Uses Software

• Nitpick
• Isabelle

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)