Essays about: "matematisk logik"

Showing result 1 - 5 of 6 essays containing the words matematisk logik.

1. 1. Abstract Logics and Lindström's Theorem

   University essay from Uppsala universitet/Algebra, logik och representationsteori

   Author : Niclas Bengtsson; [2023]
   Keywords : model theory; abstract model theory; logic; mathematical logic; abstract logic; Lindström s Theorem; infinitary logics; strength of logics; cardinality quantifiers; modellteori; abstrakt modellteori; logik; matematisk logik; abstrakt logik; Lindströms sats;

   Abstract : A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. READ MORE

3. 2. Peeking Through the Leaves : Improving Default Estimation with Machine Learning : A transparent approach using tree-based models

   University essay from Umeå universitet/Institutionen för matematik och matematisk statistik

   Author : Elias Hadad; Angus Wigton; [2023]
   Keywords : Machine learning; Expected credit loss; Probability of default; ECL; PD; Risk Management; Credit Risk Management; Default Estimation; AI; Artificial intelligence; Fintech; Supervised learning; Decision tree; Random forest; XG boost; Transparency; Machine learning transparency;

   Abstract : In recent years the development and implementation of AI and machine learning models has increased dramatically. The availability of quality data paving the way for sophisticated AI models. Financial institutions uses many models in their daily operations. READ MORE

4. 3. Minimizing the expected opportunity loss by optimizing the ordering of shipping methods in e-Commerce using Machine Learning

   University essay from KTH/Matematik (Avd.)

   Author : Jonatan Ay; Jamil Azrak; [2022]
   Keywords : statistics; machine learning; applied mathematics; e-commerce; statistik; maskininlärning; tillämpad matematisk statistik; e-handel;

   Abstract : The shopping industry is rapidly changing as the technology is advancing. This is especially true for the online industry where consumers are nowadays able to to shop much of what the need over the internet. READ MORE

5. 4. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction

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

   Author : Carl Åkerman Rydbeck; [2021]
   Keywords : ;

   Abstract : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. READ MORE

6. 5. Automated Annotation of Simulink Generated C Code Based on the Simulink Model

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

   Author : Sreeya Basu Roy; [2020]
   Keywords : ;

   Abstract : There has been a wave of transformation in the automotive industry in recent years, with most vehicular functions being controlled electron- ically instead of mechanically. This has led to an exponential increase in the complexity of software functions in vehicles, making it essential for manufactures to guarantee their correctness. READ MORE