Artificial Intelligence
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Extending knowledge-based systems through closely-coupled graphics and windows
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
The art of distributed applications: programming techniques for remote procedure calls
The art of distributed applications: programming techniques for remote procedure calls
Cognition, computing, and cooperation
Framework for the description and design of cooperative knowledge-based systems
Framework for the description and design of cooperative knowledge-based systems
Designing Complex Organizations
Designing Complex Organizations
A Set of Design Guidelines for Object-Oriented Deductive Systems
IEEE Transactions on Knowledge and Data Engineering
Decision making in intelligent user interfaces
Proceedings of the 2nd international conference on Intelligent user interfaces
A Knowledge-Level Model for Concurrent Design
Applied Intelligence
Causal Maps: Theory, Implementation, and Practical Applications in Multiagent Environments
IEEE Transactions on Knowledge and Data Engineering
A Negotiation Model to Support Material Selection in Concurrent Design
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
A preference processing model for cooperative agents
Journal of Intelligent Information Systems
Database querying under changing preferences
Annals of Mathematics and Artificial Intelligence
Integrating spatial data and decision models in an e-planning tool
CRIWG'10 Proceedings of the 16th international conference on Collaboration and technology
Iterative modification and incremental evaluation of preference queries
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
| Hi-index | 0.01 |
Recent advances in cooperative knowledge-based systems (CKBS) offer significant promise for intelligent interaction between multiple AI systems for solving larger, more complex problems. In this paper, we propose a logical, qualitative problem-solving scheme for CKBS that uses social choice theory as a formal basis for making joint decisions and promoting conflict resolution. This scheme consists of three steps: (1) the selection of decision criteria and competing alternatives, (2) the formation of preference profiles and collective choices, and (3) the negotiation among agents as conflicts arise in group decision making. In this paper, we focus on the computational mechanisms developed to support steps (2) and (3) of the scheme. In addition, the practicality of the scheme is illustrated with examples taken from a working prototype dealing with collaborative structural design of buildings.