Search for dissertations about: "symbolic ai"

Found 4 swedish dissertations containing the words symbolic ai.

  2. 1. Reasoning with Bounded Cognitive Resources

    Author : Abdul Rahim Nizamani; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling;

    Abstract : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. READ MORE

  4. 2. A Constraint-Based Approach for Hybrid Reasoning in Robotics

    Author : Masoumeh Mansouri; Federico Pecora; Alessandro Saffiotti; Nick Hawes; Örebro universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : The quest of AI and Robotics researchers to realize fully AI-driven integrated robotic systems has not yet led to such realizations, in spite of great attainments in both research areas. This thesis claims that one of the major hindrances to these realizations is the lack of attention to what we call “the hybrid reasoning problem”. READ MORE

  5. 3. Safe Robotic Manipulation to Extract Objects from Piles : From 3D Perception to Object Selection

    Author : Rasoul Mojtahedzadeh; Achim J. Lilienthal; Todor Stoyanov; Abdelbaki Bouguerra; Erik Schaffernicht; Patric Jensfelt; Örebro universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Object Selection; Object Pose Refinement; Gravitational Support Relation; Inter-penetration Resolving; 3D Ranging Sensor Evaluation; Computer Science; Datavetenskap;

    Abstract : This thesis is concerned with the task of autonomous selection of objects to remove (unload) them from a pile in robotic manipulation systems. Applications such as the automation of logistics processes and service robots require an ability to autonomously manipulate objects in the environment. READ MORE

  6. 4. Tools for Knowledge-Based Signal Processing with Applications to System Identification

    Author : Peter A. J. Nagy; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis contains three parts: firstly there is an introduction to the field of knowledge-based signal processing - which denotes a combination of symbolic and numeric software capable of implementing algorithms of both algorithmic and heuristic character. Secondly suitable tools for knowledge-based signal processing are discussed - this includes the tools developed in our research. READ MORE