Automated Reasoning in the Age of the Internet

Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by combining information from diverse sources, e.g. on the Internet, etc. How is automated reasoning possible? Firstly, knowledge of a domain must be stored in a computer, usually in the form of logical formulae. This knowledge might, for instance, have been entered manually, retrieved from the Internet or perceived in the environment via sensors, such as cameras. Secondly, rules of inference are applied to old knowledge to derive new knowledge. Automated reasoning techniques have been adapted from logic, a branch of mathematics that was originally designed to formalize the reasoning of humans, especially mathematicians. My special interest is in the way that representation and reasoning interact. Successful reasoning is dependent on appropriate representation of both knowledge and successful methods of reasoning. Failures of reasoning can suggest changes of representation. This process of representational change can also be automated. We will illustrate the automation of representational change by drawing on recent work in my research group.

Download Full-text

Displacement and Reinforcement Effects of the Internet and Other Media as Sources of Advertising Information

Journal of Advertising Research ◽

10.1017/s0021849904040073 ◽

2004 ◽

Vol 44 (1) ◽

pp. 126-142 ◽

Cited By ~ 26

Author(s):

JAMES C. TSAO ◽

STANLEY D. SIBLEY

Keyword(s):

The Internet ◽

Advertising Information

Download Full-text

A hitchhiker’s guide to microscopy and microanalysis using telecommunications, e-mail, and the Internet

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100169687 ◽

1994 ◽

Vol 52 ◽

pp. 390-391 ◽

Cited By ~ 1

Author(s):

Nestor J. Zaluzec

Keyword(s):

The Internet ◽

Information Superhighway ◽

The World ◽

Exchange Information ◽

On Line ◽

Computer Based ◽

Software And Hardware ◽

Communication Software ◽

Basic Ideas ◽

E Mail

The Information SuperHighway, Email, The Internet, FTP, BBS, Modems, : all buzz words which are becoming more and more routine in our daily life. Confusing terminology? Hopefully it won't be in a few minutes, all you need is to have a handle on a few basic concepts and terms and you will be on-line with the rest of the "telecommunication experts". These terms all refer to some type or aspect of tools associated with a range of computer-based communication software and hardware. They are in fact far less complex than the instruments we use on a day to day basis as microscopist's and microanalyst's. The key is for each of us to know what each is and how to make use of the wealth of information which they can make available to us for the asking. Basically all of these items relate to mechanisms and protocols by which we as scientists can easily exchange information rapidly and efficiently to colleagues in the office down the hall, or half-way around the world using computers and various communications media. The purpose of this tutorial/paper is to outline and demonstrate the basic ideas of some of the major information systems available to all of us today. For the sake of simplicity we will break this presentation down into two distinct (but as we shall see later connected) areas: telecommunications over conventional phone lines, and telecommunications by computer networks. Live tutorial/demonstrations of both procedures will be presented in the Computer Workshop/Software Exchange during the course of the meeting.

Download Full-text