1,038,383 Hits in 3.1 sec

Automated reasoning

D.P. Murphy, C.J. Merz
1992 IEEE potentials  
utomated reasoning A valuable tool in validating our work Automated reasoning is the attempt to prove statements with a computer in a law-like way.  ...  Automated reasoning requires a very precise representation for the expressions being reasoned over. One such representation is the first-order predicate calculus.  ... 
doi:10.1109/45.207134 fatcat:263mynkay5h4jfsv6nuzh2my3u

Automated Reasoning Building Blocks [chapter]

Christoph Weidenbach
2015 Lecture Notes in Computer Science  
Combination x > 0 ¬P 2 (n, x, y ) ∨ P 3 (n, x, y ) x ≤ 0 ¬P 2 (n, x, y ) ∨ P 6 (n, x, y ) z = n + y ¬P 3 (n, x, y ) ∨ P 4 (z, x, y ) z = x − 1 ¬P 4 (n, x, y ) ∨ P 5 (n, z, y ) Expressive Logic & Difficult Automation  ...  September 21, 2015 50/54 Motivation Propositional Reasoning Be Small Implementing CDCL September 21, 2015 51/54 Motivation Propositional Reasoning Summary Propositional Superposition  ... 
doi:10.1007/978-3-319-23506-6_12 fatcat:p25hkbcxhvhgtfyylhdq44544i

Automated Reasoning in Geometry [chapter]

Shang-Ching Chou, Xiao-Shan Gao
2001 Handbook of Automated Reasoning  
In our point of view, this is not an automated process.  ...  In particular, we give an automated derivation of Newton's square inverse gravitational law from Kepler's laws in the sense that the formula representing Newton's law occurs as the first element of the  ... 
doi:10.1016/b978-044450813-3/50013-8 fatcat:5w3am3jahbbe3ovoiygaj5ircq

Automated reasoning-alternative methods

Aleksandar Perovic, Nedeljko Stefanovic, Milos Milosevic, Dejan Ilic
2004 Serbian Journal of Electrical Engineering  
We are particularly interested in applications of this method in automated theorem proving.  ...  For the application of the method of quantifier elimination in decidability and automated theorem proving, see for example [2] , [3] and [4] .  ... 
doi:10.2298/sjee0403015p fatcat:7epgwh6bajgjndqhovi24ddlje

Theory-Specific Automated Reasoning [chapter]

Andrea Formisano, Eugenio G. Omodeo
2010 Lecture Notes in Computer Science  
been partially funded by PRIN 2006 project 'Large-scale development of certified mathematical proofs', by PRIN 2008 project 'Innovative and multi-disciplinary approaches for constraint and preference reasoning  ...  of the field of automated deductive reasoning.  ...  Proof-Engineering and Automated Reasoning in Logic Leibniz's classic bipartition of logic, into a calculus for reasoning and an ideography of concepts, still today retains some influence on the organization  ... 
doi:10.1007/978-3-642-14309-0_3 fatcat:4yubeyj6nzevtn7orc24x5cpyi

POLITICS: Automated Ideological Reasoning*

Jaime G. Carbonell
1978 Cognitive Science  
doi:10.1207/s15516709cog0201_3 fatcat:qxstw2rqjfd6phzvkerju63ohu

Consciousness and Automated Reasoning [article]

Ulrike Barthelmeß and Ulrich Furbach and Claudia Schon
2020 arXiv   pre-print
These will be applied to the reasoning system Hyper with ConceptNet as a knowledge base within a scenario of commonsense and cognitive reasoning.  ...  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.  ...  Automated Reasoning and GWT In the CoRg project, we tackle commonsense reasoning benchmarks like the Choice of Plausible Alternatives (COPA) Challenge [25] with the help of automated reasoning.  ... 
arXiv:2001.09442v3 fatcat:oh3633nrknf6nkrmdi7ocvvrki

Automated reasoning about machines

Andrew Gelsey
1995 Artificial Intelligence  
I describe algorithms which automate the kinematic and dynamical analysis needed to create behavioral models and which automate the intelligent control of computational simulations needed to understand  ...  Automating this process requires basic artificial intelligence research in both spatial reasoning and reasoning about physical systems.  ...  Both outputs are shown in [ 151. ) My automated modeling algorithms are presented in Section 2.  ... 
doi:10.1016/0004-3702(94)00003-j fatcat:o4gvji2jmza3pb5yyxctumqq7q

Automated Reasoning and Learning for Automated Payroll Management

Sebastijan Dumancic, Wannes Meert, Stijn Goethals, Tim Stuyckens, Jelle Huygen, Koen Denies
2021 AAAI Conference on Artificial Intelligence  
In the rest of this section, we will briefly outline the reasons why it is so. The first reason concerns search procedures.  ...  The second reason concerns the support for decimal numbers.  ... 
dblp:conf/aaai/DumancicMGSHD21 fatcat:gjwm3fifvvezxeai6yuyqpjsfm

Automated reasoning about cubic curves

R. Padmanabhan, W. McCune
1995 Computers and Mathematics with Applications  
It is well known that the n-ary morphisms defined on projective algebraic curves satisfy some strong local-to-global equational rules of derivation not satisfied in general by universal algebras. For example, every rationally defined group law on a cubic curve must be commutative. Here, we extract from the geometry of curves a first-order property (gL) satisfied by all morphisms defined on these curves such that the equational consequences known for projective curves can be derived
more » ... from a set of six rules (stated within the first-order logic with equality). First, the rule (gL) is implemented in the theorem-proving program OTTER. Then, we use OTTER to automatically prove some incidence theorems on projective curves without any further reference to the underlying geometry or topology of the curves.
doi:10.1016/0898-1221(94)00214-6 fatcat:x7lw7eqtpjcwfoign2rqg6eqli

Automated Reasoning in Deontic Logic [chapter]

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014 Lecture Notes in Computer Science  
Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems.  ...  This paper concentrates on automated reasoning in standard deontic logic (SDL). Instead of implementing a reasoning system for this logic directly, we rather rely on existing methods and systems.  ...  Automated Reasoning for Deontic Logic Deontic logic is the logic of choice when formalizing knowledge about norms like the representation of legal knowledge.  ... 
doi:10.1007/978-3-319-13365-2_6 fatcat:wxaeehpamfbblabkewprqwg5j4

The Flowering of Automated Reasoning [chapter]

Larry Wos
2005 Lecture Notes in Computer Science  
This article celebrates with obvious joy the role automated reasoning now plays for mathematics and logic.  ...  Indeed, today (in the year 2001) a researcher can enlist the aid of an automated reasoning program often with the reward of a new proof or a better proof in some signi cant aspect.  ...  He had become interested in automated reasoning, so he informed me, because of reading my book entitled The Automation of Reasoning: An Experimenter's Notebook and OTTER Tutorial.  ... 
doi:10.1007/978-3-540-32254-2_13 fatcat:p5hhow7whnevtfjmw4imhoakm4

Can We Automate Diagrammatic Reasoning?

Arif Ahmed Sekh, Debi Prosad Dogra, Samarjit Kar, Partha Pratim Roy, Dilip K. Prasad
2020 Pattern Recognition  
Diagrammatic reasoning (DR) problems are well known.  ...  These methods aim to model the rules to automate the solving process. Such methods are not learning-based methods.  ...  Introduction Abstract reasoning or diagrammatic reasoning requires visual representations of objects or diagrams.  ... 
doi:10.1016/j.patcog.2020.107412 fatcat:thuk3hnvarfp7ama2u55oeanay

Automated Reasoning for Robot Ethics [article]

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2015 arXiv   pre-print
Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems.  ...  This paper applies automated reasoning in standard deontic logic (SDL) to a problem in multi-agent systems. For this, we follow the example from [5] where reasoning with ethical codes is presented.  ...  These concepts can be checked automatically by automated theorem provers.  ... 
arXiv:1502.05838v1 fatcat:rdfymvzsbbf55e6mf6xs73yjpm

Automated Reasoning on Feature Models [chapter]

David Benavides, Pablo Trinidad, Antonio Ruiz-Cortés
2013 Seminal Contributions to Information Systems Engineering  
In this paper we introduce a proposal to model and reason on an SPL using constraint programming.  ...  Most of the current proposals for automatic reasoning on SPL are not devised to cope with extrafunctional features.  ...  Automated reasoning is an ever challenging field in SPL engineering [18, 23] .  ... 
doi:10.1007/978-3-642-36926-1_29 fatcat:gz3kgcuyvrgezexe5flwoc344q
« Previous Showing results 1 — 15 out of 1,038,383 results