Results 71 to 80 of about 271,070 (187)
Henkin semantics for reasoning with natural language
Journal of Language Modelling, 2016 The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj +1 more source
Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code [PDF]
, 1997 In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous.
Lapets, Andrei
core
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
, 2012 The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an area where computational tools can enhance, in a significant way, the ...
Deepak Kapur +23 more
core +2 more sources
Automated Reasoning for Robot Ethics
CoRR, 2015 Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems ...
Ulrich Furbach +2 more
openaire +2 more sources
Integrating phenotype ontologies with PhenomeNET
Journal of Biomedical Semantics, 2017 Background Integration and analysis of phenotype data from humans and model organisms is a key challenge in building our understanding of normal biology and pathophysiology.
Miguel Ángel Rodríguez-García +3 more
doaj +1 more source
A comparison of chain-of-thought reasoning strategies across datasets and models [PDF]
PeerJ Computer ScienceEmergent chain-of-thought (CoT) reasoning capabilities promise to improve the performance and explainability of large language models (LLMs). However, uncertainties remain about how reasoning strategies formulated for previous model generations ...
Konstantin Hebenstreit +3 more
doaj +2 more sources
Combined reasoning by automated cooperation
Journal of Applied Logic, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christoph Benzmüller +3 more
openaire +1 more source
Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 [PDF]
, 2014 Preface For many years the British and the German automated reasoning communities have successfully run independent series of workshops for anybody working in the area of automated reasoning. Although open to the general public they addressed in the past
core
Automation of Diagrammatic Reasoning.
, 1997 Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is a subset of problems which humans can prove in a different way by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is more clearly perceived in these than in the corresponding algebraic proofs: they capture an ...
Jamnik, Mateja, Bundy, Alan, Green, Ian
openaire +2 more sources
Toward Automated Knowledge Discovery in Case-Based Reasoning
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceAutomated Case Elicitation (ACE) enables case-based reasoning (CBR) systems to automatically acquire knowledge through real-time exploration and interaction with environments.
Sherri Weitl-Harms +2 more
doaj +1 more source