Sökning: "Automated reasoning"

Visar resultat 1 - 5 av 22 uppsatser innehållade orden Automated reasoning.

  1. 1. Approximating Reasoning with Transformer Language Models

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Daniel Enström; Viktor Kjellberg; [2023-10-19]
    Nyckelord :natural language processing; nlp; automated reasoning; logic; inference; machine learning; transformers; language models; BERT; BART;

    Sammanfattning : We conduct experiments with BART, a generative language-model architecture, to investigate its capabilities for approximating reasoning by learning from data. For this we use the SimpleLogic dataset, a dataset of satisfiability problems in propositional logic originally created by Zhang et al. (2022). LÄS MER

  3. 2. Influence of Bold Text on Decision-Making within Formal Argumentation

    Magister-uppsats, Umeå universitet/Institutionen för psykologi

    Författare :Leo Evijärvi; [2023]
    Nyckelord :formal argumentation; nudging; choice architecture; bold text;

    Sammanfattning : Formal argumentation aims to provide a structured framework for cognitively compatible automated reasoning in the context of artificial intelligence; however, due to its roots in mathematical logic, formal argumentation research is typically focused on formal, ‘object-level’ aspects. It has yet to be studied how environmental, ‘meta-level’ structures, can affect human intuitions regarding the formalized model. LÄS MER

  4. 3. Auditing the Moral Bounds of Al Systems : An Implementation of the Glass-box's Observation Stage

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Mauricio Byrd Victorica; [2022]
    Nyckelord :Artificial intelligence; Ethics; Auditing; Artificiell intelligens; Etik; Revision;

    Sammanfattning : Automated and assisted decision-making has become prevalent across a myriad of domains, often including sensitive and critical tasks where guarantees regarding the operation of artificially intelligent systems from an ethical standpoint become essential. Different parties have made efforts to develop guidelines to establish general ethical requirements these systems should comply with. LÄS MER

  5. 4. DeepMACSS : Deep Modular Analyzer for Creating Semantics and generate code from Sketch

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :David Eriksson; [2022]
    Nyckelord :Artificial Intelligence; Deep learning; Machine learning; Code generation; Automation;

    Sammanfattning : Scientific areas such as artificial intelligence have exploded in popularity and more advanced techniques such as deep learning has been applied in various areas in order to automate tasks. As many software developers know creating prototypes can both be daunting and very time consuming. LÄS MER

  7. 5. Context-aware Data Plausibility Check Using Machine Learning

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Mohaddeseh Basiri; [2021]
    Nyckelord :Artificial intelligence; Machine learning; Plausibility check; Anomaly detection; Konstgjord intelligens; Maskininlärning; Rimlighetskontroll; Avvikelse upptäckt;

    Sammanfattning : In the last two decades, computing and storage technologies have experienced enormous advances. Leveraging these recent advances, AI is making the leap from traditional classification use cases to automation of complex systems through advanced machine learning and reasoning algorithms. LÄS MER