65,128 Hits in 6.4 sec

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance [chapter]

Andrew Ireland, Gudmund Grov, Michael Butler
2010 Lecture Notes in Computer Science  
Here we propose reasoned modelling critics -a technique which aims to abstract away from the complexities of low-level proof obligations, and provide high-level modelling guidance to designers when proofs  ...  fail.  ...  To address this need, we have proposed a technique of proof management that attempts to turn proof-failure analysis into modelling guidance via reasoned modelling critics.  ... 
doi:10.1007/978-3-642-11811-1_15 fatcat:bcraqx4kfvafnkkmpfwix6i3oq

Reasoned modelling critics: Turning failed proofs into modelling guidance

Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael Butler
2013 Science of Computer Programming  
Here we propose reasoned modelling critics -a technique which aims to abstract away from the complexities of low-level proof obligations, and provide high-level modelling guidance to designers when proofs  ...  fail.  ...  To address this need, we have proposed a technique of proof management that attempts to turn proof-failure analysis into modelling guidance via reasoned modelling critics.  ... 
doi:10.1016/j.scico.2011.03.006 fatcat:xyq4kbbaerdphardgqcub5btai

The Computer Modelling of Mathematical Reasoning

John Jaworski, Alan Bundy
1984 Mathematical Gazette  
over again. • The need to have knowledge about the domain • The need to reason with that knowledge. • The need for knowledge about how to direct or guide that reasoning.  ...  the possible ones, how interesting conjectures are made, how a mathematical model is made.  ...  All sorts of new techniques were attempted: domain specific guidance, the use of models and counterexamples, rewrite rules, analogical reasoning.  ... 
doi:10.2307/3616175 fatcat:tzzqnfxepfafda2bcgeavzr2sa

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model [article]

Carl Hewitt
2015 arXiv   pre-print
by splitting for disjunctive cases * Soundness * Inconsistency-robust Proof by Contradiction Since the global state model of computation (first formalized by Turing) is inadequate to the needs of modern  ...  Because contemporary large software systems are pervasively inconsistent, it is not safe to reason about them using classical logic.  ...  Richard Waldinger provided guidance on classical automatic theorem provers.  ... 
arXiv:0812.4852v103 fatcat:ffzxv7qrgzd4db6fpcexpupdgy

The Interrogative Model of Inquiry and Inquiry Learning [chapter]

Emmanuel J. Genot, Agneta Gulz
2016 Logic, Argumentation & Reasoning  
Hakkarainen and Sintonen (2002) praise the descriptive adequacy of Hintikka's Interrogative Model of Inquiry (imi) to describe children's practices in an inquiry-based learning context.  ...  Proof rules that open cases and introduce names in deductive reasoning, are the same as inferential rules that open questions in interrogative reasoning.  ...  We first introduce the formal model of the imi (sec. 2), explain how it relates strategic questioning to deduction (sec. 3), and then turn to abduction in information-seeking strategies, and its relation  ... 
doi:10.1007/978-3-319-20762-9_2 fatcat:6vago6kgg5aatg23jqk7o7z3yu

Modelling and solving temporal reasoning as propositional satisfiability

Duc Nghia Pham, John Thornton, Abdul Sattar
2008 Artificial Intelligence  
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence.  ...  There are two basic approaches to modelling an IA network: one represents the relations between intervals as variables and the other represents the end-points of each interval as variables.  ...  These endpoint relations are the CSP variables in the new model, which are in turn instantiated with PA atomic relations.  ... 
doi:10.1016/j.artint.2008.06.003 fatcat:a6wxu4ma3nenrpvctjyyj6weze

A Rule of Reason Decision Model after Sylvania

Eugene F. Zelek, Louis W. Stern, Thomas W. Dunfee
1980 California Law Review  
Sylvania failed, however, to provide details on how to apply the rule of reason.  ...  Further, this model expresses those criteria in general terms that will allow the judiciary adequate decision- making flexibility. 65 II THE RULE OF REASON DECISION MODEL A.  ...  This method of dealing with the free-rider problem has been criticized in the commentary.  ... 
doi:10.2307/3479998 fatcat:u3emtbvppzcohbzxq5trlvqwyy

Health technology appraisal and the courts: accountability for reasonableness and the judicial model of procedural justice

Keith Syrett
2010 Health Economics, Policy and Law  
jurisdictions of the fairness of decision-making by such agencies and evaluates the judicial reading of procedural justice developed in this particular context against the conditions of 'accountability for reasonableness  ...  It operates purely to enable reasoned argumentation, evidence and proofs to be presented to the agency by the parties and does not function as a means of ''modelling a wider deliberation [or] educating  ...  , 'accountability for reasonableness' (Daniels and Sabin, 2008) , thereby facilitating a critical reading of the latter.  ... 
doi:10.1017/s1744133110000228 pmid:20701830 fatcat:apkngy7iv5d6bcniltzs2rownm

Multiple Levels of Heuristic Reasoning Processes in Scientific Model Construction

John J. Clement
2022 Frontiers in Psychology  
The books focus on qualitative reasoning strategies (processes) involved in creative model construction, scientific breakthroughs, and conceptual change.  ...  Modeling Modes, such as Model Evolution and Model Competition; the former mode utilizes: (L3) Modeling Cycle Phases of Model Generation, Evaluation, and Modification under Constraints; which can utilize  ...  A major advantage for science is having multiple processes to try, important since heuristics can fail to work.  ... 
doi:10.3389/fpsyg.2022.750713 pmid:35619778 pmcid:PMC9127582 fatcat:pweg6ts7sjakbjihzhsbyxp35e

A Reasoning-Process Review Model for Federal Habeas Corpus

Steven Semeraro
2004 Journal of criminal law & criminology  
[Vol. 94 REASONING-PROCESS REVIEW MODEL C.  ...  "By exposing their reasoning, judges ...are subjected to others' critical analyses, which in turn can lead to better understanding for the future. P. AREEDA, ANTITRUST LAW, 1507 , 402 (1986 .  ... 
doi:10.2307/3491413 fatcat:uhfivrkos5ej7jxlewhilqtrsi

Bayesian selection of graphical regulatory models

Silvia Liverani, Jim Q. Smith
2016 International Journal of Approximate Reasoning  
They admit an embellishment into classes of probabilistic statistical models and so standard Bayesian methods of model selection can be used to choose promising candidate explanations of regulation.  ...  We define a new class of coloured graphical models, called regulatory graphs.  ...  Proof.  ... 
doi:10.1016/j.ijar.2016.05.007 fatcat:fcjyn2r3bja3zbeofpgprnqtmm

Critical Cardinals [article]

Yair Hayut, Asaf Karagila
2019 arXiv   pre-print
We introduce the notion of a critical cardinal as the critical point of sufficiently strong elementary embedding between transitive sets.  ...  We prove a technical criterion for lifting elementary embeddings to symmetric extensions, and we use this to show that it is consistent relative to a supercompact cardinal that there is a critical cardinal  ...  If κ is critical, then κ is carries a normal measure on κ which concentrates on the set of weakly critical cardinals. Again the proof is quite similar to the proof in ZFC. Proof.  ... 
arXiv:1805.02533v2 fatcat:vddaevrtojhejckiqqzkc44mtq

A rationale-based architecture model for design traceability and reasoning

Antony Tang, Yan Jin, Jun Han
2007 Journal of Systems and Software  
Research into design rationale in the past has focused on argumentation-based design deliberations. Argumentation-based design rationale models provide an explicit representation of design rationale.  ...  Design rationale is the reasoning behind a design and it provides an explanation of the design. However, the reasoning is often undocumented or unstructured in practice.  ...  They are in turn grouped into different design and argumentation spaces. DRL is implemented by a system called SIBYL [91] .  ... 
doi:10.1016/j.jss.2006.08.040 fatcat:4wpryjke6fdj7lts3opfwwhohm

A framework for the extraction and modeling of fact-finding reasoning from legal decisions: lessons from the Vaccine/Injury Project Corpus

Vern R. Walker, Nathaniel Carie, Courtney C. DeWitt, Eric Lesh
2011 Artificial Intelligence and Law  
logical structure of the reasoning of the factfinders in those cases.  ...  It identifies sub-tasks in the extraction process, discusses challenges to automation, and provides insights into possible solutions for automation.  ...  Thus, the statistical aspects of the models in the Corpus supply some guidance on the optimal depth of modeling.  ... 
doi:10.1007/s10506-011-9115-2 fatcat:jhqods7ylrgr5ningfpizg5ceq

The Burden of Criticism: Consequences of Taking a Critical Stance

Jan Albert van Laar, Erik C. W. Krabbe
2012 Argumentation: an international journal on reasoning  
Other critical reactions convey some or even all of the considerations that make the critic critical of the arguer's position and direct the arguer to defuse or to at least contend with them.  ...  First, an explication of the notion of a critical reaction will be provided, zooming in on the degree of "directiveness" that a critical reaction displays.  ...  In these latter cases, the difference of opinion turns into a mixed one.  ... 
doi:10.1007/s10503-012-9272-9 fatcat:ogzvwovdozaulc6rrkzhqgjlri
« Previous Showing results 1 — 15 out of 65,128 results