Sökning: "Description Logic Reasoning"

Visar resultat 1 - 5 av 13 avhandlingar innehållade orden Description Logic Reasoning.

  1. 1. Reasoning with Bounded Cognitive Resources

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

    Sammanfattning : 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. LÄS MER

  3. 2. Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security

    Författare :Claudia Cauli; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal Methods; Automated Reasoning; Cloud; Security; Description Logic;

    Sammanfattning : Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. LÄS MER

  4. 3. A System of Systems View in Early Product Development : An Ontology-Based Approach

    Författare :Ludvig Knöös Franzén; Petter Krus; Christopher Jouannet; Ingo Staack; Kristian Amadori; Daniel DeLaurentis; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; System-of-Systems; Systems Engineering; Ontology; Description Logic Reasoning; Design Space Exploration; Aircraft Design; Search and Rescue; Early Product Development;

    Sammanfattning : The concept of system-of-systems is becoming increasingly common and relevant in many engineering applications. Today’s highly interconnected world entails that more and more systems have dependencies on other systems. LÄS MER

  5. 4. Decontextualized language, logic, and algebra : the relationship between Mozambican students’ achievement in school mathematics and their language and social background

    Författare :Ribas Salatiel Madaucane Guambe; Núria Planas; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Mathematics Education; Matematik och lärande;

    Sammanfattning : Researchers in mathematics education have always stressed the relevance of algebra in school mathematics and have produced a wide range of empirical and theoretical outcomes in relation to this field. In addition, the importance of language proficiency for success in school mathematics has been explored in a variety of different contexts, as has been the relation between students’ social class and achievement in mathematics. LÄS MER

  7. 5. An Ontological and Reasoning Approach to System of Systems

    Författare :Ludvig Knöös Franzén; Petter Krus; Ingo Staack; Christopher Jouannet; Kristian Amadori; Gerrit Muller; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : System-of-Systems (SoS) are all around us and are becoming more common in today’s highly interconnected world. Systems are connected with other systems and have strong dependencies with their operational environments. This leads to an increased level of complexity and risk during product development. LÄS MER