Results 71 to 80 of about 1,501,850 (327)

Automated reasoning in normative detachment structures with ideal conditions [PDF]

International Conference on Artificial Intelligence and Law, 2018
In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way.
Tomer Libal, Matteo Pascucci
semanticscholar   +1 more source

Automated reasoning with uncertainties [PDF]

, 1994
In this work we assume that uncertainty is a multifaceted concept and present a system for automated reasoning with multiple representations of uncertainty.
David Robertson, Jane Hesketh, Flávio Soares Corrêa da Silva   +2 more
openaire   +2 more sources

Constraint Solving for Finite Model Finding in SMT Solvers

, 2017
SMT solvers have been used successfully as reasoning engines for automated verification and other applications based on automated reasoning. Current techniques for dealing with quantified formulas in SMT are generally incomplete, forcing SMT solvers to ...
Barrett, Clark, Reynolds, Andrew, Tinelli, Cesare   +2 more
core   +1 more source

Automating Leibniz’s Theory of Concepts [PDF]

, 2015
Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’).
Alama, Jesse, Oppenheimer, Paul Edward, Zalta, Edward N.   +2 more
core   +2 more sources

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

IEEE Access, 2019
This paper offers a new practical approach toward automated commonsense reasoning with first-order logic (FOL) SUMO-based ontologies. We propose a new black-box evaluation framework for SUMO-based ontologies, which exploits the world knowledge encoded in
Javier Alvez, Paqui Lucio, German Rigau
doaj   +1 more source

The "never-proved" triangle inequality: A GeoGebra & CAS approach

AIMS Mathematics, 2023
We use a quite simple, yet challenging, elementary geometry statement, the so-called "never proved" (by a mathematician) theorem, introduced by Prof.
Zoltán Kovács, Tomás Recio , Carlos Ueno , Róbert Vajda   +3 more
doaj   +1 more source

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

, 2010
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics.
C. Weidenbach, G. Bancerek, G. Bancerek, G. Gonthier, G. Klein, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, J. Kotowicz, J. Urban, J. Urban, J. Urban, J. Urban, J. Urban, J. Urban, K. Raczkowski, L. Paulson, M. Suda, P. Corbineau, S. Conchon, S. Schulz, T. Hales, V. D’Silva, W.W. McCune, Y. Puzis   +27 more
core   +1 more source

Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies

BMC Medical Informatics and Decision Making, 2020
Background Ontologies are widely used throughout the biomedical domain. These ontologies formally represent the classes and relations assumed to exist within a domain. As scientific domains are deeply interlinked, so too are their representations.
Luke T. Slater, Georgios V. Gkoutos, Robert Hoehndorf   +2 more
doaj   +1 more source

Consciousness and Automated Reasoning

, 2020
This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory.
Barthelmeß, Ulrike, Furbach, Ulrich, Schon, Claudia   +2 more
openaire   +2 more sources

Multikey Fully Homomorphic Encryption: Removing Noise Flooding in Distributed Decryption via the Smudging Lemma on Discrete Gaussian Distribution

IET Information Security
The current multikey fully homomorphic encryption (MKFHE) needs to add exponential noise in the distributed decryption phase to ensure the simulatability of partial decryption.
Xiaokang Dai, Wenyuan Wu, Yong Feng
doaj   +1 more source