Search for dissertations about: "automatic reasoning"

Showing result 1 - 5 of 36 swedish dissertations containing the words automatic reasoning.

2. 1. Reasoning with Bounded Cognitive Resources

   Author : Abdul Rahim Nizamani; Göteborgs universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling;

   Abstract : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. READ MORE

4. 2. Extending the Automated Reasoning Toolbox

   Author : Ann Lillieström; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; transitivity; integer linear programming; first-order logic; many-sorted logic; automated reasoning; morpheme segmentation;

   Abstract : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by introducing three new tools for analysing problems in first-order logic. Infinox aims to show finite unsatisfiability, i.e. READ MORE

5. 3. Coincidences and Paranormal Belief

   Author : Gergö Hadlaczky; Joakim Westerlund; Henry Montgomery; Peter Brugger; Stockholms universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Coincidences; surprise; paranormal belief; parapsychology; telepathy; associative processing; probabilistic reasoning; Ganzfeld; associative learning; automatic processing; controlled processing; Psychology; psykologi;

   Abstract : In this thesis it is argued that coincidences play an important role in the formation of belief, including belief in the paranormal. Three papers are presented. READ MORE

6. 4. Case-Based Structural Design - Using Weakly Structured Product and Process Information

   Author : Peter Johansson; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; structural design; object orientation; analogical reasoning; design; case-based reasoning; design calculation document; derivational analogy;

   Abstract : Empirical knowledge plays a significant role in the human reasoning process. Previous experiences help in understanding new situations and in finding solutions to new problems. Experience is used when performing different tasks, both those of routine character and those that require specific skill. This is also the case for structural designers. READ MORE

7. 5. A framework for reasoning about Erlang code

   Author : Lars-Åke Fredlund; RISE; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. READ MORE