Essays about: "Higher-order logic"

Found 5 essays containing the words Higher-order logic.

  1. 1. Control System Simulator for MIMO Tank Level using Self-tuning PID-Fuzzy Adaptive Controller

    University essay from Högskolan i Gävle/Avdelningen för elektroteknik, matematik och naturvetenskap

    Author : Sinan Ibrahim; [2022]
    Keywords : ;

    Abstract : According to Oxford dictionary, the word intelligence is derived fromintellect, which is the ability of knowing, reasoning and understanding.Intelligent behaviour is thus the ability to reason, plan and learn, which in turnrequires access to knowledge. READ MORE

  3. 2. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Didrik Lundberg; [2018]
    Keywords : HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

    Abstract : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. READ MORE

  4. 3. Control of temperature using fuzzy system tehnique

    University essay from Institutionen för datavetenskap, fysik och matematik, DFM

    Author : Elif Ceylan Kolbasi; [2013]
    Keywords : ;

    Abstract : Fuzzy control is based on fuzzy logic. A logical system that is much closer in spirit to human thinking and natural language than traditional crisp logical systems. The fuzzy logic variables are not described as true or false values. Instead values range in degree between 0-1,true-false or yes-no. READ MORE

  5. 4. Visual Compositional-Relational Programming

    University essay from Data- och systemvetenskap

    Author : Andreas Zetterström; [2010]
    Keywords : visual programming; compositional-relational programming; logic programming; declarative programming;

    Abstract : In an ever faster changing environment, software developers not only need agile methods, but also agile programming paradigms and tools. A paradigm shift towards declarative programming has begun; a clear indication of this is Microsoft's substantial investment in functional programming. READ MORE

  6. 5. Methods of Modelling Corrugators

    University essay from Lunds universitet/Förpackningslogistik

    Author : Gunilla Nordström; [2001]
    Keywords : Corrugated board; Corrugator; ; Modelling; Parametric models; ; Non-parametric models; ; possibilities of studying loss of fibre strength; Technological sciences; Teknik; Technology and Engineering;

    Abstract : Problem: The process of manufacturing corrugated board is a quite complicated process, when it comes to exactly understand what happens in the process. ln order to gain a better understanding and a tool for control of the corrugating process, the machine making the corrugated board, a method that possibly can describe the process is desirable. READ MORE