Sökning: "automated reasoning"
Visar resultat 1 - 5 av 22 uppsatser innehållade orden automated reasoning.
1. Approximating Reasoning with Transformer Language Models
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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
2. Influence of Bold Text on Decision-Making within Formal Argumentation
Magister-uppsats, Umeå universitet/Institutionen för psykologiSammanfattning : 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
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)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
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 rymdteknikSammanfattning : 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
5. Context-aware Data Plausibility Check Using Machine Learning
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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