Results 91 to 100 of about 26,020 (289)
Advanced Robotics Research, EarlyView.An enhanced universal gripper combining rigid mechanics with self‐adaptable fingers is presented for industrial automation. The novel six‐bar linkage with integrated compliant pad eliminates mechanical interference while enabling passive shape adaptation.
Muhammad Usman Khalid +7 more
wiley +1 more source
Default Reasoning in a Terminological Logic
, 2012 Terminological Logics (TLs) are knowledge representation formalisms of considerable applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex ...
Straccia, U., Sebastiani, F.
core
Default reasoning using classical logic
, 1996 In this paper we show how propositional default theories can be characterized by classical propositional theories: for each nite default theory, we show a classical propositional theory such that there is a one-to-one correspondence between models for ...
Dechter, Rina +3 more
core +1 more source
Belief revision and default reasoning : syntax-based approaches [PDF]
, 1991 Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonically with time. Default reasoning leads to logical nonmonotonicity, i.e., the set of consequences does not grow monotonically with the set of premises. The
Bernhard Nebel, Nebel, Bernhard
core +1 more source
Bond Law Review, 2017 This article examines the implications of the High Court ruling in The Queen v Baden-Clay(‘Baden-Clay’)1 for future murder accused with strong motives for killing their spouses who deny all knowledge of their deaths.
David Field
doaj +1 more source
الاستدلال بعدم الدليل عند ابن عصفور في شرح جمل الزجاجي دراسة تحليلية “Reasoning from the Absence of Evidence according to Ibn ʿUṣfūr in Sharḥ al-Jumal al-Zajjājī: An Analytical Study” [PDF]
Maǧallaẗ Kulliyyaẗ al-Luġaẗ al-'arabiyyaẗ bi-Assiutعدّ بعض النحويين الاستدلال بعدم الدليل في الشيء على نفيه من أدلة النحو غير الغالبة، وقد استعان النحويون بهذا الدليل كثيرًا، ومعنى الاستدلال بـ "بعدم الدليل" عند النحويين: أن ينفي المستدل حكمًا، أو يقول: لا يصح هذا الحكم؛ لأنه لم يرد دليل على صحته، ويكتفي
حمادة محمد حسين أحمد بودي +1 more
doaj +1 more source
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
Advanced Robotics Research, EarlyView.A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki +2 more
wiley +1 more source
Evaluating an Algorithm for Default Reasoning
, 1995 In this paper performance of a lately proposed decision procedure for Reiter's default logic is evaluated. Recent complexity results indicate that there are two orthogonal sources of complexity in default reasoning: classical (first-order) reasoning
Patrik Simons, Ilkka Niemelä
core
Judgment and Decision MakingSustainable financial investments play a role in mitigating climate change. With this research, we explored how decision-makers use three investment strategies illustrating different primary motives: (1) money maximization (economic self-interest), (2 ...
Hulda Karlsson-Larsson +3 more
doaj +1 more source
Data‐Driven Bulldozer Blade Control for Autonomous Terrain Leveling
Advanced Robotics Research, EarlyView.A simulation‐driven framework for autonomous bulldozer leveling is presented, combining high‐fidelity terramechanics simulation with a neural‐network‐based reduced‐order model. Gradient‐based optimization enables efficient, low‐level blade control that balances leveling quality and operation time.
Harry Zhang +5 more
wiley +1 more source