Essays about: "First-order logic"

Showing result 1 - 5 of 9 essays containing the words First-order logic.

  1. 1. Mahan in a New Millennium

    University essay from Försvarshögskolan

    Author : Peter Thomsson; [2020]
    Keywords : Seapower; naval strategy; maritime strategy; Mahan; event study;

    Abstract : In 1890, the American naval officer and scholar Alfred Thayer Mahan formulated as a theory that seapower brings prosperity. This thesis in War Science tests whether Mahan’s theory remains valid in the modern day. A multi-disciplinary approach is taken, wherein a financial event study method is employed for hypothesis testing. READ MORE

  2. 2. Combining Inlining and Contracting for Human Efficient Deductive Verification

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

    Author : Erik Söderberg; [2019]
    Keywords : ;

    Abstract : A function is functionally correct when it behaves according to a specification that describes its input-output behaviour. With deductive verification, it is possible to prove whether a function conforms to its specification or not. READ MORE

  3. 3. Deep Learning Black Box Problem

    University essay from Uppsala universitet/Institutionen för informatik och media

    Author : Jabbar Hussain; [2019]
    Keywords : Deep Learning; Artificial Neural Network; Black Box; Inductive Logic Programming; Knowledge Discovery; First-Order Logic; and Machine Learning;

    Abstract : Application of neural networks in deep learning is rapidly growing due to their ability to outperform other machine learning algorithms in different kinds of problems. But one big disadvantage of deep neural networks is its internal logic to achieve the desired output or result that is un-understandable and unexplainable. READ MORE

  4. 4. Proof Editor for Natural Deduction in First-order Logic

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

    Author : Jesper JanOlsson Fredrik Liu ElinJohansson HenryBjörnsson Ly; Andreas Widbom; [2017-08-10]
    Keywords : Proof editor; First-order logic; Predicate logic; Natural deduction;

    Abstract : The subject of this thesis is the presentation and evaluation of Conan, an editor forwriting natural deduction proofs in first-order logic. The intent is for the editor toserve as a supplementary tool alongside a course in logic. READ MORE

  5. 5. Enhancing Object RecognitionBased on Contextual InformationUsing Markov Logic Networks

    University essay from KTH/Datorseende och robotik, CVAP

    Author : Jesper Karlsson; [2016]
    Keywords : ;

    Abstract : Perception is a crucial part of an autonomous robotic system, as it processes sensory input and extracts useful information for action planning and execution such as recognizing objects in the environment where the robot is to act. Although object recognition has been studied extensively and a lot of progress has been made, current systems often face difficulties in dealing with ambiguities and uncertainties in the raw sensory data. READ MORE