We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems. We also show that our algorithm unifies several previous results.

Deduction, induction, and abduction [Pei55] are the three basic reasoning mechanisms. Deduction allows drawing conclusions from known facts using some piece of knowledge, so that "battery is down" allows concluding "car will notstart"thanks totheknowledge oftherule"if thebatteryisdown, the car will not start". Induction derives rules from the facts: from the fact that the battery is down and that the car is not starting up, we may conclude the rule relating these two facts. Abduction is the inverse of deduction (to some extent [MF96]): from the fact that the car is not starting up, we conclude that the battery is down. Clearly, this is not the only possible explanation 2 of a car not starting up.

As a result, they knowledge of an agent (that is, its epistemic coarse-grained level of abstraction, KBwould argue, it is not possible to discuss state) can be characterized as the Ss can be characterized in terms of two the knowledge of a system independently collection of all possible worlds that components: (1) a knowledge base, encoding of the task context in which are consistent with the knowledge the knowledge embodied by the system is meant to operate. I won't held by the agent. If the knowledge of the system, and (2) a reasoning engine, go into too many details here because the agent is complete, then the epistemic which is able to query the knowledge a detailed discussion of the declarative state contains only one world. A base, infer or acquire knowledge from versus the procedural argument is well nice feature of Levesque and Lakemeyer's external sources, and add new knowledge beyond the scope of this review. The treatment of epistemic logic is that to the knowledge base. Levesque important point to make is that in contrast to many other treatments and Lakemeyer's The Logic of Knowledge Levesque and Lakemeyer's approach is of modalities, the discussion is reasonably Bases deals with the "internal logic" of situated in a precise AI research easy to follow for people who are a KBS: It provides a formal account of paradigm, which considers knowledge not experts in the field. This is the result the interaction between a reasoning bases as declaratively specified, task-independent of two main features of this analysis: engine and a knowledge base.

The Mind Doesn't Work That Way: Fodor dubs the synthesis of computationalism, we've got; indeed, the only one like the wrong paradigm for studying However, doesn't work for abductive inferences" types is innate), massive modularity we will have to add something radically (p. Fodor doesn't that the frame problem is why the part in a knowledge base antecedently think we were created, of course; instead of the human mind responsible for deemed to be irrelevant to the inference. Fodor defines irrelevant information, globality rather than by gradual, small transitions, the frame problem as the problem of (pp. Consider just one case the latter being the hallmark of "[h]ow to make abductive inferences from research on analogy: Who would classical adaptationism). This of the atom, but it was relevant.

At a workshop held in Toulouse, France, in 1977, Gallaire, Minker, and Nicolas stated that logic and databases was a field in its own right. This was the first time that this designation was made. The impetus for it started approximately 20 years ago in 1976 when I visited Gallaire and Nicolas in Toulouse, France. In this article, I provide an assessment about what has been achieved in the 20 years since the field started as a distinct discipline. I review developments in the field, assess contributions, consider the status of implementations of deductive databases, and discuss future work needed in deductive databases.

The human orientation system is a complex system in which the brain merges information from a variety of sensors to help maintain a coherent interpretation of body position and movement. I designed a model of this system based on the observer theory model (OTM), which was developed by Merfeld (1990) for the orientation system of the squirrel monkey. Under this scheme, the central nervous system has an internal representation of the sensor organs and tries to minimize the error between its estimate of the sensory afferent signals and the actual afferent signals. It works iteratively until the results of the proposed experiment can be modeled.

Abduction is inference to the best explanation.

The work described in my Ph.D. dissertation (Fischer 1991)1 merges computational and cognitive investigations of abductive reasoning. It is the outcome of seven years of research focusing on abductive explanation generation and involving the departments of computer and information science, industrial and systems engineering, pathology, and allied medical professions at The Ohio State University.

The work described in my Ph.D. dissertation (Fischer 1991)1 merges computational and cognitive investigations of abductive reasoning. It is the outcome of seven years of research focusing on abductive explanation generation and involving the departments of computer and information science, industrial and systems engineering, pathology, and allied medical professions at The Ohio State University.

AI research is conducted at a number of academic and research units at the Georgia Institute of Technology. Some of this research is basic in nature, and some has an applied character to it. This article briefly describes basic AI research in the College of Computing at Georgia Tech.