Information Technology


A deductive model of belief

Classics

Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, West Germany, 377-381



Strategies in Heuristic Search.

Classics

Artificial intelligence 20(4):393-425, July, 1983.


Why Should Machines Learn?

Classics

See also: C.I.P. #425, Departments of Computer Science and Psychology, Carnegie-Mellon University, 1980In Michalski, R. S., Carbonell, J. G., and Mitchell, T. M. (Eds), Machine Learning, An Artificial Intelligence Approach, Tioga Press, Palo Alto, CA


Semantical Considerations on Nonmonotonic Logic

Classics

In Proceedings of the Eighth IJCAI, pages 272-279. IJCAI, Karlsruhe, West Germany, August, 1983. Volume 1.



Scale space filtering

Classics

See also:Uniqueness of the Gaussian Kernel for Scale-Space FilteringUnited States PatentEuropean PatentProceedings of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, West Germany, 1019-1022


Negotiation as a metaphor for distributed problem solving

Classics

"We describe the concept of distributed problem solving and define it as the cooperative solution of problems by a decentralized and loosely coupled collection of problem solvers. This approach to problem solving offers the promise of increased performance and provides a useful medium for exploring and developing new problem-solving techniques.We present a framework called the contract net that specifies communication and control in a distributed problem solver. Task distribution is viewed as an interactive process, a discussion carried on between a node with a task to be executed and a group of nodes that may be able to execute the task. We describe the kinds of information that must be passed between nodes during the discussion in order to obtain effective problem-solving behavior. This discussion is the origin of the negotiation metaphor: Task distribution is viewed as a form of contract negotiation.We emphasize that protocols for distributed problem solving should help determine the content of the information transmitted, rather than simply provide a means of sending bits from one node to another.The use of the contract net framework is demonstrated in the solution of a simulated problem in area surveillance, of the sort encountered in ship or air traffic control. We discuss the mode of operation of a distributed sensing system, a network of nodes extending throughout a relatively large geographic area, whose primary aim is the formation of a dynamic map of traffic in the area.From the results of this preliminary study we abstract features of the framework applicable to problem solving in general, examining in particular transfer of control. Comparisons with PLANNER, CONNIVER, HEARSAY-II, AND PUP6 are used to demonstrate that negotiation—the two-way transfer of information—is a natural extension to the transfer of control mechanisms used in earlier problem-solving systems."Artificial Intelligence: 20:63-109