Aller à : contenu haut bas recherche
 
 
EN     FR
Vous êtes ici:   UNIL > HEC Inst. > HEC App. > RECHERCHE
 
 

Pierre Bonzon

Contact

Professor Emeritus
Department of Information Systems

Professor Emeritus
Professors Emeriti HEC


Research

Research areas

Intelligent communicating agent models
Definition of a language for programming intelligent communicating agents. Agents behaviour gives rise to concurrent communicating processes (or threads). These in turn can be compiled in terms of plans with explicit synchronization conditions, and then sequentially executed on a virtual machine.

Towards machine consciousness
Models of machine consciousness based on a developmental theory of thoughts implemented as threads. Using an evolutionist approach, models of increasing complexity will evolve to eventually mimic most of the fonctionalities of a simple animal brain.

Systèmes informatiques complexes
Support aux utilisateurs de systèmes informatiques complexes, outils logiciels évolués, impliquant par exemple des agents distribués sur le WWW, ou une représentation de connaissances basées sur le méta-raisonnement et/ou la modélisation de contextes

Modèles d'applications interactives d'aide à la décision
Modèles d'applications interactives d'aide à la décision basés sur la réflexivité et le méta-raisonnement (FNRS, financement ordinaire) centré sur l'étude de dialogues ouverts alignant les compétences de la machine sur celles de l'utilisateur à l'aide de schémas réflexifs

Enseignement intelligemment assisté par ordinateur
Enseignement intelligemment assisté par ordinateur: application aux branches commerciales (FNRS, programme prioritaire en informatique, crédit de base) lequel aura permis le développement d'un tuteur intelligent expérimental pour l'enseignement de la comptabilité

Publications

34 last publications ordered by: publication type  -  year

: Peer Reviewed

Articles

Bonzon Pierre (2017). Towards neuro-inspired symbolic models of cognition: linking neural dynamics to behaviors through asynchronous communications. Cognitive Neurodynamics, 11, 327-353. Peer Reviewed


Bonzon Pierre (2011). Towards Machine Consciousness: Grounding Abstract Models as pi-Processes. International Journal of Machine Consciousness, 3, 1-17. Peer Reviewed


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.


Bonzon P. (1990). A Metacircular Evaluator for a Logical Extension of Scheme. LISP and Symbolic Computation, 3, 113-134.


Book Sections

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.


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.


Bonzon P. (2000). Contextual Learning: Towards using Context to Achieve Generality. Formal Aspects of Context. Kluwer Academic Publishers.


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.


Bonzon P. (1991). Processing Functional Definitions as Declarative Knowledge : a Reduced Bytecode Implementation of a Functional Logic Machine. Processing Declarative Knowledge, Lecture Notes in Artificial intelligence (Vol. 567, pp. 271-278). Springer-Verlag.


Proceedings

(2000). Formal Aspects of Context. Kluwer Academic Publishers.


In Proceedings

Bonzon Pierre (2017, Jul). Modeling animal brains with evolutive cognitive schemas. Brain Function Assessment in Learning, LNAI. Springer.


Bonzon Pierre (2017, Sep). Behaviorism Revisited: Linking Perception and Action Through Symbolic Models of Cognition. Proceedings of the KI 2017 Workshop on Formal and Cognitive Reasoning, 1928-1 (pp. 3-22). CEUR Workshop Proceedings. Peer Reviewed


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.


Moura I. , Bonzon P. (2003, Jan). A Logical Abstract Machine For Mobile Communicating Agents. Proceedings of the 21st IASTED International Conference, Innsbruck.


Bonzon P. (2001, Jan). Just-in-time planning for agents with sensing, or: how we can do without the situation calculus. Proc. of the 8th International Workshop on Agent Theories, Architectures and Languages (ATAL'01), Seattle.


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.


Bonzon P. (1999, Jan). Deliberate Agents Reconcile Reactive and Goal-Directed Agents. Proc. 14th Workshop Logische Programmierung, Würzburg. GMD Report 90.


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.


Segal D. , Bonzon P. (1997, Jan). A Reflective Architecture for Implementing Decision Support Agents. Proceedings of the fourth Conference of the International Society for Decision Support Systems, ISDSS'97, Lausanne, Swizerland, July 21-22, 1997.


Bonzon P. (1996, Jan). Learning Complex Behaviors from Generic Inference Steps. Proc. AAAI 96 Fall Symposium, MIT, Cambridge MA. MIT Cambridge.


Bonzon P. (1995, Jan). A Meta-Level Inference Architecture for Contexts. AAAI 95 Fall Symposium, MIT, Cambridge MA.


Huang Lianjing , Bonzon P. (1995, Jan). Two-level learner modelling in the tutoring of declarative knowledge based problem solving. Liberating the learner : WCCE '95 : proceedings of the sixth IFIP World Conference on Computers in Education, [Birmingham UK, 23rd-28th July 1995] / ed. by J. David Tinsley.


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.


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.


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.


In Proceedings (abstract)

Bonzon P (2005, Jan). Towards a new approach for CCN: grounding symbolic models through Concurrent Communicating Systems. 13th Annual Conference Dynamical Neuroscience satellite Symposium, Computational Cognitive Neuroscience (CCN), Washington DC.


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.


Technical Reports

Bonzon P. (1995). A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories. International Computer Science Institute (ICSI), Berkely Calif.


Thesis

Moura I. (2004). Étude et implémentation d'un modèle de conscience d'agent. Université de Lausanne, Faculté des hautes études commerciales. Bonzon P. (Dir.)


Glassey O. (2002). Modélisation et implantation d'un guichet virtuel pour les administrations publiques. Université de Lausanne, Faculté des hautes études commerciales. Bonzon P. (Dir.)


Curriculum

Education

Docteur ès sciences techniques EPFL (1969)

Professeur-invité à l'Université de Californie à Santa Cruz (1985-1986)

Senior visiting researcher ICSI Berkeley (1994-1995)

Keywords

  • agents intelligents
  • algorithms
  • enseignement assisté par ordinateur
  • intelligence artificielle
  • langage informatique
  • métamodélisation (2)
  • métaraisonnement
  • méthodes de programmation
  • programmation fonctionnelle
  • programmation logique
  • simulation par ordinateur (2)

 
 
Search


Internef - CH-1015 Lausanne - Suisse  -   Tél. +41 21 692 33 00  -   Fax +41 21 692 33 05
Swiss University