Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
Attribute Description Formalisms ... and the Rest of the World
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
Fusion of Claude Bernard's Experiments for Scientific Discovery Reasoning
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Hi-index | 0.00 |
Our aim is to reconstruct Claude Bernard's empirical investigations with a computational model. We suppose that he had in mind what we call "kernel models" that provide simplified views of physiology, which allowed him to make hypotheses and to draw out their logical consequences. We show how those "kernel models" can be specified using both description logics and multi-agent systems. Then, the paper will explain how it is possible to build a virtual experiment laboratory, which lets us construct and conduct virtual experiments.