Zobrazeno 1 - 10
of 69
pro vyhledávání: '"Steen, Alexander"'
This paper describes the new TPTP format for representing interpretations. It provides a background survey that helped us ensure that the representation format is adequate for different types of interpretations: Tarskian, Herbrand, and Kripke interpr
Externí odkaz:
http://arxiv.org/abs/2406.06108
Autor:
Martina, Antoine, Steen, Alexander
An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are formally encoded and proven using the proof assistant Isabelle/HOL. This
Externí odkaz:
http://arxiv.org/abs/2312.08375
This article describes an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems. Principally, the problems are translated to both typed first-order and higher-order logic in
Externí odkaz:
http://arxiv.org/abs/2212.09570
Autor:
Steen, Alexander, Fuenmayor, David
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-purpose standards for the interaction with automated reasoning systems. I
Externí odkaz:
http://arxiv.org/abs/2209.05090
This paper reports on an exploration of Boolos' Curious Inference, using higher-order automated theorem provers (ATPs). Surprisingly, only suitable shorthand notations had to be provided by hand for ATPs to find a short proof. The higher-order lemmas
Externí odkaz:
http://arxiv.org/abs/2208.06879
Autor:
Steen, Alexander
The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing number of different non-classical logics as reasoning targets. When used as
Externí odkaz:
http://arxiv.org/abs/2203.12352
Autor:
Steen, Alexander, Fuenmayor, David, Gleißner, Tobias, Sutcliffe, Geoff, Benzmüller, Christoph
Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastructure for automated theorem proving, the TPTP World, currently supports
Externí odkaz:
http://arxiv.org/abs/2202.09836
Autor:
Steen, Alexander, Fuenmayor, David
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactiv
Externí odkaz:
http://arxiv.org/abs/2110.09174
Steen's (2018) Hintikka set properties for Church's type theory based on primitive equality are reduced to the Hintikka set properties of Brown (2007). Using this reduction, a model existence theorem for Steen's properties is derived.
Comment: 1
Comment: 1
Externí odkaz:
http://arxiv.org/abs/2004.07506
Autor:
Libal, Tomer, Steen, Alexander
A prototype for automated reasoning over legal texts, called NAI, is presented. As an input, NAI accepts formalized logical representations of such legal texts that can be created and curated using an integrated annotation interface. The prototype su
Externí odkaz:
http://arxiv.org/abs/1910.07004