Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents.
Helena RasiowaPublished in: Int. J. Approx. Reason. (1991)
Keyphrases
- intelligent agents
- intelligent systems
- human users
- multi agent systems
- agent systems
- multi agent
- distributed environment
- agent architecture
- linear logic
- digital circuits
- artificial agents
- mental states
- building intelligent
- natural deduction
- software platform
- distributed artificial intelligence
- asynchronous circuits
- neural network
- software agents
- computational intelligence
- intelligent software agents