Results 21 to 30 of about 1,452,650 (193)
A case study in the meta-reasoning procedure ND [PDF]
Journal of Experimental & Theoretical Artificial Intelligence, 2003 A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, ND, is parameterised by a search procedure and a real number for controlling the way in which is applied to the given problem. Experiments using SATO on the domain of Crossword Puzzle Construction (CPC) illustrate the potential ...
James J. Lu +2 more
openaire +2 more sources
Learning When to Quit: Meta-Reasoning for Motion Planning [PDF]
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021 8 pages, 5 figures, Published in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS ...
Sung, Yoonchang +2 more
openaire +4 more sources
Meta Reasoning over Knowledge Graphs
CoRR, 2019 The ability to reason over learned knowledge is an innate ability for humans and humans can easily master new reasoning rules with only a few demonstrations. While most existing studies on knowledge graph (KG) reasoning assume enough training examples, we study the challenging and practical problem of few-shot knowledge graph reasoning under the ...
Hong Wang 0023 +5 more
openaire +3 more sources
Psychometric properties of a clinical reasoning assessment rubric for nursing education
BMC Nursing, 2021 Background Clinical reasoning is a vital competency for healthcare providers. In 2014, a clinical reasoning assessment rubric (CRAR) composed of analysis, heuristics, inference, information processing, logic, cognition and meta-cognition subdomains was ...
JuHee Lee +3 more
doaj +1 more source
Implementasi Sistem Pakar Menggunakan Metode Case Based Reasoning dan Nearest Neighbor Untuk Identifikasi Kerusakan Mesin Sepeda Motor Yamaha RX King [PDF]
, 2019 Sepeda motor merupakan alat transportasi yang banyak digunakan oleh masyarakat Indonesia pada umumnya, Yamaha RX King adalah salah satunya. Yamaha RX King telah resmi berhenti diproduksi sejak tahun 2009 sehingga kerusakan-kerusakan pada mesin sepeda ...
Hidayat, Arief Nur, Butsianto, Sufajar
core +1 more source
, 2023 Se desarrollan las actividades formativas realizadas en la Dirección departamental para la gestión del riesgo de desastres de la Gobernación del Meta durante el periodo 2023-1, donde se aplicaron los conocimientos obtenidos en el proceso formativo de la ...
Castillo Borbón, Marialicia
core +1 more source
Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Data in Brief, 2019 The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj +1 more source
Two-Level Meta-reasoning in Coq [PDF]
, 2002 The use of higher-order abstract syntax is central to the direct, concise, and modular specification of languages and deductive systems in a logical framework. Developing a framework in which it is also possible to reason about such deductive systems is particularly challenging. One difficulty is that the use of higher-order abstract syntax complicates
openaire +1 more source
Performance and Metacognition in Scientific Reasoning: The Covariation Detection Task
Psychological Topics, 2019 The aim of this study was to introduce a modified version of the covariation detection task to the meta-reasoning framework. This task has been used to assess scientific reasoning through the evaluation of fictitious experiment outcomes and hypothesis ...
Pavle Valerjev, Marin Dujmović
doaj +2 more sources
EVALUASI PENGEMBALIAN (RETUR) OBAT PADA SISTEM UNIT DOSE DISPENSING (UDD) DI INSTALASI FARMASI RAWAT INAP RS X [PDF]
Sistem distribusi Unit Dose Dispensing (UDD) dapat menurunkan kesalahan pemberian obat hingga kurang dari 5%, dibandingkan dengan floor stock atau resep individu yang mencapai 18%. RS X merupakan rumah sakit yang telah menerapkan sistem UDD.
Amalia, Tisa +3 more
core +2 more sources