Results 11 to 20 of about 24,289 (266)
The Hybrid Ethical Reasoning Agent IMMANUEL [PDF]
Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, 2017 We introduce a novel software library that supports the implementation of hybrid ethical reasoning agents (HERA). The objective is to make moral principles available to robot programming. At its current stage, HERA can assess the moral permissibility of actions according to the principle of double effect, utilitarianism, and the do-no-harm principle ...
Felix Lindner 0001, Martin Mose Bentzen
openaire +1 more source
A Bibliography on Hybrid Reasoning.
AI Mag., 1990 This bibliography was originally compliled for and distributed at the 1988 Workshop on Principles of Hybrid Reasoning.
Frisch, Alan M., Scherl, Richard B.
openaire +2 more sources
Computer-assisted hybrid reasoning in simulation and analysis of physical systems
Computer Assisted Methods in Engineering and Science, 2023 The aim of the paper is to advocate the use of hybrid reasoning systems for computer-assisted analysis of physical systems. The paper starts from a critical assessment of classic numerical techniques, with the problem of sensitivity analysis of fuel rod
Michał Kleiber, Zenon Kulpa
doaj
Hybrid cache-graph retrieval-augmented generation (RAG): enhancing network threat analysis through structural reasoning and memory optimization [PDF]
PeerJ Computer ScienceThe increasing complexity of network threats demands smarter and faster analytical tools. Existing models often struggle with zero-day attacks or high-volume traffic. Retrieval-augmented generation (RAG) offers a promising approach by combining retrieval
Muhammad Mahmoud +3 more
doaj +2 more sources
An Improved Implementation and Abstract Interface for Hybrid [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS).
Alan J. Martin, Amy P. Felty
doaj +1 more source
An Overview of Hybrid Possibilistic Reasoning [PDF]
, 2007 The objective of this paper is to introduce the hybrid logic methodology into possibilistic reasoning. It has been well-known that possibilistic logic has some strong modal logic flavor. However, modal logic lacks the capability of referring to states or possible worlds though states are crucial to its semantics. Hybrid logic circumvents the problem by
openaire +1 more source
Conceptual design system of three machines matching of fully mechanized coal mining equipment
Gong-kuang zidonghua, 2018 In view of problems that most of existing intelligent design methods of fully mechanized coal mining equipment are not considered complex coupling relationship among design parameters of three machines matching, which leading to poor applicability of the
DUAN Qi +3 more
doaj +1 more source
Hybrid Reasoning with Rules and Ontologies
, 2009 The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of nonmonotonic rules in logic programming.
DRABENT W +5 more
openaire +1 more source
Applied SciencesThe Draw-a-Person (DAP) test has been a widely used practical instrument in psychological and developmental assessments to measure children’s cognitive development via human-figure drawings. Unfortunately, its traditional scoring process relies on manual
Asma Abdullah Alwadai, Emad Sami Jaha
doaj +1 more source
Intelligent design method of hull form based on knowledge-driven approach
Zhongguo Jianchuan YanjiuObjectiveIn the realm of ship design, the hull form plays a crucial role in determining a ship's hydrodynamic performance. However, existing hull form design methods have significant drawbacks, such as lengthy design cycles and poor reusability of design
Baiwei FENG +6 more
doaj +1 more source