Pierre Bonzon
Coordonnées
![]() |
Professeur honoraire
Département des systèmes d'information |
Recherches
Axes de recherche
Modèles d'agents intelligents communicantsDéfinition d'un langage pour la programmation d'agents intelligents communicants. Le comportement des agents se traduit par des processus concurrents communicants (ou fils). Ceux-ci peuvent être compilés sous la forme de plans avec des conditions de synchronisation explicites, et ensuite exécutés sur une machine virtuelle.
Vers une conscience simulée des machines
Modèles de conscience simulée des machines basés sur la représentation de processus délibératifs implantés par des fils (threads). En adoptant une approche évolutive, des modèles de plus en plus complexes simuleront la plupart des fonctionnalités d'un cerveau animal simple.
Publications
36 dernières publications
: Revue avec comité de lecture
2019
Bonzon Pierre (2019). Symbolic Modeling of Asynchronous Neural Dynamics Reveals Potential Synchronous Roots for the Emergence of Awareness. Frontiers in Computational Neuroscience, 13. | |
2017
Bonzon Pierre (2017). Towards neuro-inspired symbolic models of cognition: linking neural dynamics to behaviors through asynchronous communications. Cognitive Neurodynamics, 11, 327-353. ![]() | |
Bonzon Pierre (2017, Juil). Modeling animal brains with evolutive cognitive schemas. Brain Function Assessment in Learning, LNAI. Springer. | |
2011
Bonzon Pierre (2011). Towards Machine Consciousness: Grounding Abstract Models as pi-Processes. International Journal of Machine Consciousness, 3, 1-17. ![]() | |
2005
2004
Moura I., Bonzon P. (Dir.) (2004). Étude et implémentation d'un modèle de conscience d'agent. Université de Lausanne, Faculté des hautes études commerciales. | |
Moura I. , Bonzon P. (2004, Jan). A computational framework for implementing agent consciousness. Proc. Brain Inspired Cognitive System (BICS 2004) Conference, Univ.of Sterling, UK. | |
2003
Bonzon P. (2003). Conscious behavior through reflexive dialogs. KI 2003: Advances in Artificial Intelligence, Lectures Notes in Artificial Intelligence (Vol. 2821, pp. 179-193). Springer Verlag. | |
Moura I. , Bonzon P. (2003, Jan). A Logical Abstract Machine For Mobile Communicating Agents. Proceedings of the 21st IASTED International Conference, Innsbruck. | |
2002
Bonzon P (2002). An Abstract Machine for Classes of Communicating Agent Based on Deduction. Intelligent Agents VIII, Lectures Notes in Artificial Intelligence (Vol. 2333). Springer Verlag. | |
Bonzon P. (2002). Compiling Dynamic Agent Conversations. KI 2002: Advances in Artificial Intelligence, Lectures Notes in Artificial Intelligence (Vol. 2479). Springer Verlag. | |
Glassey O., Bonzon P. (Dir.) (2002). Modélisation et implantation d'un guichet virtuel pour les administrations publiques. Université de Lausanne, Faculté des hautes études commerciales. | |
2001
Bonzon P. (2001, Jan). An Abstract Machine for Classes of Communicating Agents Based on Deduction. 10th European Workshop on Multi-Agent Systems (MAAMAW'01), Annecy. | |
2000
(2000). Formal Aspects of Context. Kluwer Academic Publishers. | |
Bonzon P. (2000). Contextual Learning: Towards using Context to Achieve Generality. Formal Aspects of Context. Kluwer Academic Publishers. | |
Bonzon P. (2000, Jan). Situated BD Agents Subsume BDI Agents. Proc. 4th Intl. Conf. On MultiAgent Systems (ICMAS 2000), Boston. IEEE Press. | |
Bonzon P. (2000, Jan). Deliberation through reflection. Proc. 15th Workshop Logische Programmierung, Berlin. GMD Report 110. | |
1999
Bonzon P. (1999, Jan). Deliberate Agents Reconcile Reactive and Goal-Directed Agents. Proc. 14th Workshop Logische Programmierung, Würzburg. GMD Report 90. | |
1998
Bonzon P. (1998). A Contextual Model of Beliefs for Communicating Agents. Methodology and Tools in Knowledge-Based Systems, Lectures Notes in Artificial Intelligence (Vol. 1415). Springer Verlag. | |
1997
Bonzon P. (1997, Jan). A Reflective Proof System for Reasoning in Contexts. Proc. 14th National Conference on Artificial Intelligence (AAAI 97), Providence, RI. | |
Bonzon P. (1997, Jan). Learning Meta-Level Operators in Hierarchical Contexts. Proc. International and Interdisciplinary Conference on Modeling and Using Context (Context 97), Rio de Janeiro. | |
1996
Bonzon P. (1996, Jan). Learning Complex Behaviors from Generic Inference Steps. Proc. AAAI 96 Fall Symposium, MIT, Cambridge MA. MIT Cambridge. | |
Kuokka D. , Bonzon P. (1996). Reifying Behavior in Decision Support Systems. The International Journal of Intelligent Systems in Accounting, Finance and Management, 5, 73-86. | |
1995
Bonzon P. (1995, Jan). A Meta-Level Inference Architecture for Contexts. AAAI 95 Fall Symposium, MIT, Cambridge MA. | |
Bonzon P. (1995). A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories. International Computer Science Institute (ICSI), Berkely Calif. | |
1994
Bonzon P. (1994, Jan). Towards Goal-Driven Reflective Learning. AAAI 94 Spring Symposium, Stanford Univ. | |
Bonzon P. , Sergent B. (1994, Jan). Intégration de la programmation logique dans Scheme: sémantique de SchemeLog. Journées Francophones des Langages Applicatifs (JFLA 94) (pp. 95-116). INRIA, Paris. | |
1993
Bonzon P. , Kuokka D. (1993, Jan). Decision Support Systems from an AI Perspective. Proc. 5th Annual Conf. on Intelligent Systems in Accounting, Finance and Management, Stanford Univ. | |
1991
Apothéloz B., Bonzon P. ; Zucchinetti A. (1991, Jan). A Knowledge Based System for Teaching Financial Accounting. Proceedings of the 6th International PEG Conference, Rapallo. | |
1990
Bonzon P. (1990). A Metacircular Evaluator for a Logical Extension of Scheme. LISP and Symbolic Computation, 3, 113-134. | |
1970
Bonzon P. (1970). Necessary and Sufficient Conditions for Dynamic Programming of Combinatorial Type. Journal of the ACM (JACM), 17, 675-682. | |
Curriculum
Formations
Docteur ès sciences techniques EPFL (1969)Professeur-invité à l'Université de Californie à Santa Cruz (1985-1986)
Senior visiting researcher ICSI Berkeley (1994-1995)
Mots-clés
- agents intelligents
- intelligence artificielle
- langage informatique
- programmation logique
- simulation par ordinateur (2)