Essays about: "Automated reasoning"

Showing result 1 - 5 of 18 essays containing the words Automated reasoning.

  1. 1. Approximating Reasoning with Transformer Language Models

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

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

    Abstract : 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). READ MORE

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

    University essay from Umeå universitet/Institutionen för psykologi

    Author : Leo Evijärvi; [2023]
    Keywords : formal argumentation; nudging; choice architecture; bold text;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Mauricio Byrd Victorica; [2022]
    Keywords : Artificial intelligence; Ethics; Auditing; Artificiell intelligens; Etik; Revision;

    Abstract : 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. READ MORE

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

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : David Eriksson; [2022]
    Keywords : Artificial Intelligence; Deep learning; Machine learning; Code generation; Automation;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Abstract : 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. READ MORE