The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Logic for Problem Solving
Situated agents can have goals
Robotics and Autonomous Systems
Computational Logic and Human Thinking: How to be Artificially Intelligent
Computational Logic and Human Thinking: How to be Artificially Intelligent
Why we need evolutionary semantics
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
| Hi-index | 0.00 |
Research in AI has built upon the tools and techniques of many different disciplines, including formal logic, probability theory, decision theory, management science, linguistics and philosophy. However, the application of these disciplines in AI has necessitated the development of many enhancements and extensions. Among the most powerful of these are the methods of computational logic. I will argue that computational logic, embedded in an agent cycle, combines and improves upon both traditional logic and classical decision theory. I will also argue that many of its methods can be used, not only in AI, but also in ordinary life, to help people improve their own human intelligence without the assistance of computers.