Results 231 to 240 of about 369,917 (259)
Some of the next articles are maybe not open access.
A decision-theoretic formalism for belief-optimal reasoning
Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems, 2009Intelligent systems must often reason with partial or corrupted information, due to noisy sensors, limited representation capabilities, and inherent problem complexity. Gathering new information and reasoning with existing information comes at a computational or physical cost.
openaire +1 more source
A Set-Theoretic Framework for Assume-Guarantee Reasoning
2001We present a circular assume-guarantee rule in an abstract setting (of sets over a partially-ordered domain). The rule has a mathematically concise side condition. Now, in order to prove an assume-guarantee rule in a concrete setting, all we need to do is to is to instantiate the abstract setting and check the side condition; i.e., we need not redo the
openaire +2 more sources
The Reflection Theorem: A Study in Meta-theoretic Reasoning
2002The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegant proof that reduces the meta-level reasoning to a single induction over formulas. Each case of the induction has been proved with Isabelle/ZF, whose built-in tools can prove
openaire +1 more source
Rational Norms for Degreed Intention (and the Discrepancy between Theoretical and Practical Reason)
Australasian Journal of Philosophy, 2023Jay Jian
exaly
Kant’s Account of Nature’s Systematicity and the Unity of Theoretical and Practical Reason
2023Lara Oštarić
exaly