In artificial intelligence and philosophy, case-based reasoning (CBR), broadly construed, is the process of solving new problems based on the solutions of similar past problems. In everyday life, an auto mechanic who fixes an engine by recalling another car that exhibited similar symptoms is using case-based reasoning. A lawyer who advocates a particular outcome in a trial based on legal precedents or a judge who creates case law is using case-based reasoning. So, too, an engineer copying working elements of nature (practicing biomimicry), is treating nature as a database of solutions to problems. Case-based reasoning is a prominent type of analogy solution making. It has been argued that case-based reasoning is not only a powerful method for computer reasoning, but also a pervasive behavior in everyday human problem solving; or, more radically, that all reasoning is based on past cases personally experienced. This view is related to prototype theory, which is most deeply explored in cognitive science. (Wikipedia).
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Logical Reasoning: Become A Better Thinker
Logical thinking is also known as analytical reasoning, critical thinking or abstract thinking. It is an important trait, especially among developers in the software development industry. Without the logic, they would not understand how the software works, nor would they produce a clean co
From playlist Problem Solving
Geometry - Ch. 2: Reasoning and Proofs (12 of 46) What is Inductive Reasoning?
Visit http://ilectureonline.com for more math and science lectures! In this video I will review inductive reasoning (from previous videos) and its advantages and weaknesses. Inductive reasoning is used by 1) finding a pattern, and 2) perform observations (examples or trends) in order to d
From playlist GEOMETRY CH 2 PROOFS & REASONING
If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.
From playlist Design Thinking
It's not easy to win an argument, but if you follow these step's you will prevail. This information is based off of psychology principle's and law enforcement manuals. The article can be found here http://bit.ly/bi503e
From playlist Psychology Tutorials
Task-based assessment vs competency-based assessment
In this video, I discuss task-based assessment vs competency-based assessment.
From playlist Learn with Experts
SImple proofs and their variations -- Proofs
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs
Why not to be afraid of priors (too much), Paul-Christian Bürkner - Bayes@Lund 2018
More info about Bayes@Lund, including slides: https://bayesat.github.io/lund2018/bayes_at_lund_2018.html
From playlist Bayes@Lund 2018
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Recorded 17 February 2023. Petra Hozzova of Technische Universität Wien, Institute of Logic and Computation, presents "Automation of Induction in Saturation" at IPAM's Machine Assisted Proofs Workshop. Abstract: Induction in saturation-based first-order theorem proving is a new exciting di
From playlist 2023 Machine Assisted Proofs Workshop
Explaining generalisation and individual justice, Reuben Binns
- Links to talks - Reuben Binns: https://youtu.be/VoPSvQYeYpI Alison Reuben: https://youtu.be/btUxLhTPvUQ David Leslie: https://youtu.be/F4G0_01kAN4 Panel discussion: https://youtu.be/WM8BmRkIXX0 In the lecture series 'Driving data futures', the public policy programme of The Alan Turing
From playlist Driving Data Futures: AI explainability with a human face
Knowledge - Lecture 1 - CS50's Introduction to Artificial Intelligence with Python 2020
00:00:00 - Introduction 00:00:15 - Knowledge 00:04:52 - Propositional Logic 00:21:47 - Inference 00:40:06 - Knowledge Engineering 01:04:33 - Inference Rules 01:30:31 - Resolution 01:38:25 - First-Order Logic This course explores the concepts and algorithms at the foundation of modern arti
From playlist CS50's Introduction to Artificial Intelligence with Python 2020
Teach Astronomy - Scientific Reasoning
http://www.teachastronomy.com/ Scientific reasoning is an important part of how science works. You may have your own beliefs or your own faith, and they are your own. They're unchallengeable. But if you make an assertion in a scientific way, you have to be able to back up that assertion
From playlist 01. Fundamentals of Science and Astronomy
Stanford Seminar - Bridging model-based and data-driven reasoning for safe human-centered robotics
Jaime Fisac is an Assistant Professor of Electrical and Computer Engineering at Princeton University. This talk was given on September 27, 2019. Spurred by recent advances in perception and decision-making, robotic technologies are undergoing a historic expansion from factory floors to t
From playlist Stanford AA289 - Robotics and Autonomous Systems Seminar
Peremptory Strikes (s9b) “Peremptory strikes” allow both prosecutors and defense counsel to freely strike a certain number of jurors. Historically, peremptory strikes have been used to exclude racial minorities from jury service. This segment addresses that history and analyzes whether t
From playlist Capital Punishment: Race, Poverty, & Disadvantage with Stephen Bright
When Does Migration Law Discriminate Against Women?
It is possible to identify gendered disadvantage at almost every point in a migrant woman’s journey, physical and legal, from country of origin to country of destination, from admission to naturalization. The presentation by Dr. Catherine Briddick draws on this literature to examine whethe
From playlist Refugee Program Seminars
Second Imaging & Inverse Problems (IMAGINE) OneWorld SIAM-IS Virtual Seminar Series Talk
Date: Wednesday, October 21, 10:00am EDT Speaker: Chang-Ock Lee, Computational Mathematics and Imaging Lab, Department of Mathematical Sciences, KAIST Title: Artifact suppression in X-ray CT images Abstract: X-ray Computed Tomography (CT) is one of the most powerful techniques for visua
From playlist Imaging & Inverse Problems (IMAGINE) OneWorld SIAM-IS Virtual Seminar Series
Contract Law 37 II Dixon v Wells Fargo (unfulfilled mortgage modification)
II. THE BARGAIN RELATIONSHIP G. Indefinite, Incomplete and Deferred Terms Dixon v. Wells Fargo, (unfulfilled mortgage modification) To access case file, copy and paste link into browser - ianayres.com/sites/default/files/files/Dixon%20v_%20Wells%20Fargo.docx These video lectures are ta
From playlist American Contract Law
Spatial reasoning question #shorts
Spatial reasoning is a category of reasoning skills that refers to the capacity to think about objects in three dimensions and to draw conclusions about those objects from limited information. Someone with good spatial abilities might also be good at thinking about how an object will look
From playlist #shorts mathematicsonline
Expected size of measles outbreaks caused by vaccination... by David R Sinclair
DISCUSSION MEETING : MATHEMATICAL AND STATISTICAL EXPLORATIONS IN DISEASE MODELLING AND PUBLIC HEALTH ORGANIZERS : Nagasuma Chandra, Martin Lopez-Garcia, Carmen Molina-Paris and Saumyadipta Pyne DATE & TIME : 01 July 2019 to 11 July 2019 VENUE : Madhava Lecture Hall, ICTS, Bangalore
From playlist Mathematical and statistical explorations in disease modelling and public health