نتایج جستجو برای: reasoning managing difficult situations
تعداد نتایج: 478658 فیلتر نتایج به سال:
We develop an algorithm for reducing universally quantified situation calculus queries to a form more amenable to automated reasoning. Universal quantification in the situation calculus requires a second-order induction axiom, making automated reasoning difficult for such queries. We show how to reduce queries about property persistence, a common family of universally-quantified query, to an eq...
Although computers excel at certain bounded tasks that are difficult for humans, such as solving integrals, they have difficulty performing commonsense tasks that are easy for humans, such as understanding stories. In this Technical Forum contribution, we discuss commonsense reasoning and what makes it difficult for computers. We contend that commonsense reasoning is too hard a problem to solve...
Introduction: For years, the importance of medical ethics education in medical schools has been emphasized but there is no consensus over learning goals yet. This study aimed to investigate the learning outcomes of medical ethics education based on models of moral reasoning. Methods: This study is a review using proper keywords in databases such as Medline, Web of Science, Scoupus, and Eric li...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید