Goto

Collaborating Authors

 Logic & Formal Reasoning



Artificial Intelligence: Structures and Strategies for Complex Problem Solving

AITopics Original Links

Many and long were the conversations between Lord Byron and Shelley to which I was a devout and silent listener. During one of these, various philosophical doctrines were discussed, and among others the nature of the principle of life, and whether there was any probability of its ever being discovered and communicated. They talked of the experiments of Dr. Darwin (I speak not of what the doctor really did or said that he did, but, as more to my purpose, of what was then spoken of as having been done by him), who preserved a piece of vermicelli in a glass case till by some extraordinary means it began to move with a voluntary motion. Not thus, after all, would life be given. Perhaps a corpse would be reanimated; galvanism had given token of such things: perhaps the component parts of a creature might be manufactured, brought together, and endued with vital warmth (Butler 1998).


Computational Intelligence: A Logical Approach

AITopics Original Links

Price Compare (put in your own country or state and currency then redisplay the result). We make no guarantees about this service, but it seems to be a good idea.



The Role of Intelligent Systems in the National Information Infrastructure

AITopics Original Links

The National Information Infrastructure (NII) will have profound effects on the lives of every citizen. It promises to deliver to people in their homes and offices a vast array of information in many forms, changing the ways in which business is conducted, offering new educational opportunities, bringing geographically dispersed library resources and entertainment materials to everyone's doorstep. It will connect people to people, and help them with their jobs and tasks. For the NII to be useful, however, people will need easy and efficient access to its resources. Today's computers are complex and difficult to use, even for experts. The NII will be orders of magnitude more complex than current systems; it could easily become a labyrinth of databases and services that is inconvenient for experts and inaccessible to many Americans. The field of artificial intelligence (AI) can play a pivotal role in meeting major challenges of the NII. AI uses the theoretical and experimental tools of ...


Non-monotonic Logic (Stanford Encyclopedia of Philosophy)

AITopics Original Links

Clearly, the second approach is more cautious. Intuitively, it demands that there is a specific argument for ฯ„ that is contained in each rational stance a reasoner can take given ฮ“, DRules, and SRules. The first option doesn't bind the acceptability of ฯ„ to a specific argument: it is sufficient if according to each rational stance there is some argument for ฯ„. In Default Logic, the main representational tool is that of a default rule, or simply a default.


Prolog Guide - Introduction

AITopics Original Links

The beginning of logic programming can be attributed to Kowalski and Colmerauer. Kowalski formulated the procedural interpretation of Horn clause logic and showed that the axiom A if B can be read as a procedure of a recursive programming language, where A is the procedure head and B is its body. At the same time, early 1970's, Colmerauer and his group at the University of Marseille-Aix developed a specialized theorem prover, which they used to implement natural processing systems. The theorem prover, they called it PROLOG (for Programation et Logique or Programming in Logic), embodied Kowalski's procedural interpretation.


An Approach to Computing Ethics

AITopics Original Links

To make ethics computable, we've adopted an approach to ethics that involves considering multiple prima facie duties in deciding how one should act in an ethical dilemma. We believe this approach is more likely to capture the complexities of ethical decision making than a single, absolute-duty ethical theory. However, it requires a decision procedure for determining the ethically correct action when the duties give conflicting advice. To solve this problem, we employ inductive-logic programming to enable a machine to abstract information from ethical experts' intuitions about particular ethical dilemmas, to create a decision principle. We've tested our method in the MedEthEx proof-of-concept system, using a type of ethical dilemma that involves 18 possible combinations of three prima facie duties. The system needed just four training cases to create an ethically significant decision principle that covered the remaining cases.


Twenty-Five Years of Successful Application of Constraint Technologies at Siemens

AI Magazine

The development of problem solvers for configuration tasks is one of the most successful and mature application areas of artificial intelligence. The provision of tailored products, services, and systems requires efficient engineering and design processes where configurators play a crucial role. Because one of the core competencies of Siemens is to provide such highly engineered and customized systems, ranging from solutions for medium-sized and small businesses up to huge industrial plants, the efficient implementation and maintenance of configurators are important goals for the success of many departments. For more than 25 years the application of constraint-based methods has proven to be a key technology in order to realize configurators at Siemens. This article summarizes the main aspects and insights we have gained looking back over this period. In particular, we highlight the main technology factors regarding knowledge representation, reasoning, and integration which were important for our achievement. Finally we describe selected key application areas where the business success vitally depends on the high productivity of configuration processes.


Top Machine learning Books

#artificialintelligence

Machine learning is to learn from data repetitively and to find the pattern hidden there. By applying the results of learning to new data, in other word Machine learning allows computers to analyze past data and predict future data. Machine learning is widely used in familiar places such as product recommendation system and face detection of photos. Also, as cloud machine learning services such as Microsoft's "Azure Machine Learning", Amazon's "Amazon Machine Learning", and Google's "Cloud Machine Learning" are released. This article is written to help novices and experts alike find the best Machine learning books to start with or continue their education. So here is a list of the best Machine learning Books: Book Name: Machine Learning This textbook provides a single source introduction to the primary approaches to machine learning Good content explained in very simple language. The book covers the concepts and techniques from the various fields in a unified fashion and very recent subjects such as genetic algorithms, re-enforcement learning and inductive logic programming. Writing style is clear, explanatory and precise.