Humans can at least apparently conduct deductive reasoning. Various logical inference systems have been developed in order to characterize such human reasoning. The strength of such a properly logical analysis of human reasoning lies in its productivity and predictive power; it enables the theorist to define precisely which data-space the theory covers and then mathematically prove that the the...

Developing ambient intelligence for a smart home is a complex task. We present how to define intelligent system behavior through processes on an adequate level of abstraction with the SHIP-tool. Based on the representation of the environment in a formal logical description, communication with the environment is realized via updates of the logical description. Processes are built from basic acti...

In this paper we present a new interpretation of failure, a concept to which a lot of attention is being paid in the field of artificial intelligence research, especially due to the rise of the programming language PROLOG that treats negation as procedural failure. Our interpretation of failure, however, does not originate from research in the foundations of PROLOG. We present it here as an out...

One of the current challenges in artificial intelligence is modeling dynamic environments that change due to the actions or activities undertaken by people or agents. The task of inferring hidden states, e.g. the activities or intentions of people, based on observations is called filtering. Standard probabilistic models such as Dynamic Bayesian Networks are able to solve this task efficiently u...

Here are some problems to help you understand the material in Computational Intelligence: A Logical Approach. They are designed to help students understand the material and practice for exams. This file is available in html, or in pdf format, either without solutions or with solutions. (The pdf can be read using the free acrobat reader or with recent versions of Ghostscript). Given the knowledg...

following the widespread acceptance of multiple intelligences theory, thomas armstrong (1984), in the initiative action, integrated it with bloom's taxonomy and enriched the theory. actually, armstrong helped remarkable by this integration to classify each of multiple intelligences in each of the six levels of cognitive domain, as well as better planning and targeting and designing curricu...

This paper characterizes the powerdomain constructions which have been used in the semantics of programming languages in terms of formulas of first order logic under a pre-ordering of provable implication. The goal is to reveal the basic logical significance of the powerdomains by casting them in the right setting. Such a treatment may contribute to a better understanding of their potential use...

throughout his long life, man has always imagined creating a creature with the same capabilities of his own or much higher than that; a creature in his service. at the end of the 20th century, gaining the logical and mathematical model for man’s actions and reactions has caused man to be the creator of a virtual intelligence himself; the intelligence by which a machine can think like a man, hav...

This paper presents a survey of some results which have been obtained in ISDCT in the field of development of some new methods for logical control of dynamical systems. Some fundamental difficulties of deduction problem were a barrier to the wide development and application of automated deduction in the loop of control. The main point of this paper is to show that automatic theorem proving tech...

The paper presents a software tool for analysis and interactive engagement in various logical reasoning tasks. A first feature of the program consists in providing an interface for working with logic-specific repositories of formal knowledge. A second feature provides the means to intuitively visualize and interactively generate the underlying logical structure that propels customary logical re...