|
Logic and AI Research / Miscellaneous
- Active Logic
Dalla Presentazione: "Active logics are a family of inference engines that incorporate a history of their reasoning as they run. This characteristic makes Active Logic systems more flexible than traditional AI systems and therefore more suitable for commonsense reasoning. Commonsense reasoning using active logics is a major theme in our research and we have been performing a number of experiments in that area". La pagina curata dal Computer Science Department della University of Maryland at College Park. Per contatti: kpurang@cs.umd.edu
- Logic, Language and Reasoning Web Space
Sito presso l'Imperial College, Department of Computing, London. Dall'introduzione: "This page is brought to you by the research group on Language and Reasoning Agents; our active research interests include logics of practical reasoning, natural language processing and multi-agent systems. The group is currently engaged in two Esprit research projects funded by the CEC, and a third funded by the OSM consortium".
|
