SlideShare une entreprise Scribd logo
1  sur  81
USER MODELING
meets the Web
Alexandra I. Cristea
Modern Information Systems seminar, 26th February 2002
Overview: UM
1. UM: What is it?
2. Why? & What for? & How?
3. Early history
4. Demands & traditional (academic) developments
5. What can we adapt to?
6. Generic User Modelling techniques
7. Newer developments
8. The future?
What is a user model?
• Elaine Rich:
• "Most systems that interact with
human users contain, even if only
implicitly, some sort of model of the
creatures they will be interacting with."
What is a user model?
• Robert Kass:
• "... systems that tailor their behaviour to
individual users' needs often have an explicit
representation structure that contains
information about their users, this structure is
generally called a user model."
What is a user model, here:
• ”If a program can change its
behaviour based on something related to
the user, then the program does (implicit or
explicit) user modelling.”
Why user modelling?
• pertinent information
– What is pertinent to me may not be pertinent to you
– information should flow within and between users
– users should control the level of information-push
• large amounts of information
– too much information, too little time
– people often become aware of information when it is
not immediately relevant to their needs
– Difficult to handle
– Etc.
What for?
• In tutoring systems:
– To adapt to the student’s needs, so that better learning
occurs
– To adapt to the teacher’s needs, so better teaching
takes place
• In commercial systems:
– To adapt to the customer, so that better(?) selling
takes place
• Etc.
• TOTO ADAPTADAPT TO THETO THE USERUSER
How?
• Simplest version: Include facts about the
user
• Adapt to known facts about the user
• Adapt to inferred properties of the user
– Has Eurocard ---> likes travelling
– Stereotypical user modelling
Adaptivity example
• User: Could the student's mispronunciation
errors be due to dialect?
• Response to parent: Yes, non-standard
pronunciations may be due to dialect rather than
poor decoding skills.
• Response to psychologist: Yes, the student's
background indicates the possibility of a
dialectical difference.
 StereotypesStereotypes
User modelling is always about guessing …
Early history
• Start: 1978, 79:
– Allen, Cohen & Perrault:
Speech research for dialogue coherence
– Elaine Rich: Building & Exploiting User Models
(PhD thesis)
• 10 year period of developments
– UM performed by application system
– No clear distinction between UM components &
other system tasks
• mid 80’s: Kobsa, Allgayer, etc.
– Distinction appears
– No reusability consideration
• GUMS (Finin & Drager, 1989; Kass 1991)
– General User Modelling System
– Stereotype hierarchies
– Stereotype members + rules about them
– Consistency verification
 set framework for General UM systems
• Called UM shell systems (Kobsa)
Early systems
Academic developments
• Doppelgaenger [Orwant 1995]
– Hardware & software sensors
– Offers techniques of data generalization
(linear prediction, Markov models,
unsupervised clustering for stereotype
formation)
• TAGUS [Paiva & Self 1995]
– Stereotype hierarchy, inference mech., TMS,
diagnostic system + misconception library
Other UM shells
• um: UM Toolkit [Kay 1990, 1995, 1998]
– Represents assumptions on knowledge, beliefs,
preferences (attribute – value pairs) – actually, library
• BGP-MS [Kobsa & Pohl 1995, Pohl 1998]
– Belief, Goal and Plan Maintenance System
– Assumptions about users + user groups
– Allows multi-user, can work as network server
• LMS [Machado et al. 1999]
– Learner Modelling Server
UM shell services (Kobsa 95)
• Representation of assumptions on user characteristic(s)
– E.g., knowledge, misconceptions, goals, plans, preferences, tasks,
abilities
• Representation of common characteristics of users
– Stereotypes, (sub-)groups, etc.
• Recording of user behaviour
– Past interaction w. system
• formation of assumption based on interaction
• Generalization of interaction (histories)
– Stereotypes
• Inference engine
– Drawing new assumptions based on initial ones
– Current assumption + justification
– Evaluation of entries in current UM and comparison w. standards
• Consistency maintenance
UM shell services (Kobsa 95)
UM shells Requirements
• Generality
– As many services as possible
– “Concessions”: student-adaptive tutoring systems
• Expressiveness
– Able to express as many types of assumptions as
possible (about UU)
• Strong Inferential Capabilities
– AI, formal logic (predicate l., modal reasoning,
reasoning w. uncertainty, conflict resolution)
An Example of UM system
David Benyon, 1993
Gerhard Fischer 1 HFA Lecture, OZCHI’2000
‘ Deep’ or ‘shallow’ modelling?
• Deep models give more inferential power!
• Same knowledge can affect several parts of the
functionality, or even several applications
• Better knowledge about how long an inference
stays valid
• But deep models are more difficult to acquire
• Where do all the inference rules come from?
• How do we get information about the user?
Aim of UM
• Obtaining of UU metal picture
Vs.
• UU behaviour modelled per se
A Comparison between
Adaptive and Adaptable Systems
Gerhard Fischer 1 HFA Lecture, OZCHI’2000
What can we adapt to?
• User knowledge
• Cognitive properties
• (learning style, personality, etc.)
• User goals and plans
• User mood and emotions
• User preferences
Adaptation to User Knowledge
• UU option knowledge
– about possible actions via an interface
• Conceptual knowledge
– that can be explained by the system
• Problem solving knowledge
– how knowledge can be applied to solve
particular problems
• misconceptions
– erroneous knowledge
How can we infer user knowledge?
• It’s in general hard to infer something about the
user’s knowledge. Techniques used:
• Query the user (common in tutoring systems)
• Infer from user history (if you’ve seen an explanation,
you understand the term)
• Rule-based generalisation based on domain
structure (if you understand a specific term, you
understand its generalisation)
• Rule-based generalisation based on user role (if
you’re a technician, you should understand these
terms)
• ‘Bug’ libraries (recognise common errors)
• Generalization based on other similar users’ past
The “Model overlay” technique
• Advantage: Simple and ‘cheap’
• Cannot model misconceptions,
or ‘new’ knowledge
What can we adapt to?
 User knowledge
• Cognitive properties
• (learning style, personality, etc.)
• User goals and plans
• User mood and emotions
• User preferences
Why model cognitive properties?
• Navigation in hypermedia:
– Very large differences (20:1) in performance,
partially related to spatial ability. New tools
needed!
• Learning:
– Different people require different learning
styles (example / theory / group based)
Van der Veer et al.
Kolb (1984) 2-D learning styles
scale; 4 extreme cases:
• 1.converger (abstract, active):
– abstract conceptualization and active experimentation; great advantage
in traditional IQ tests, decision making, problem solving, practical
applications of theories; knowledge organizing: hypothetical-deductive;
question: "How?".
• 2.diverger (concrete, reflective):
– concrete experience and reflective observation; great advantage in
imaginative abilities, awareness of meanings and values, generating
alternative hypotheses and ideas; question: "Why?"
• 3. assimilator (abstract, reflective):
– abstract conceptualization and reflective observation; great advantage in
inductive reasoning, creating theoretical models; focus more on logical
soundness and preciseness of ideas; question: "What?".
• 4. accomodator (concrete, active):
– concrete experience and active experimentation; focus on risk taking,
opportunity seeking, action; solve problems in trial-and-error manner;
question: "What if?".
Inferring user cognitive
characteristics
• The user does not know - not possible to ask!
• Stable properties - use lots of small signs over
time.
• Studies required to establish correlation between
indications and properties.
• A better solution may be to use these aspects of
user models only at design time (offer different
interaction alternatives)?
What can we adapt to?
 User knowledge
 Cognitive properties
• (learning style, personality, etc.)
• User goals and plans
• User mood and emotions
• User preferences
User Goals and Plans
• What is meant by this?
– A user goal is a situation that a user wants to achieve.
– A plan is a sequence of actions or event that the user
expects will lead to the goal.
• System can:
– Infer the user’s goal and suggest a plan
– Evaluate the user’s plan and suggest a better one
– Infer the user’s goal and automatically fulfil it
(partially)
– Select information or options to user goal(s) (shortcut
menus)
What information is available?
• Intended Plan Recognition:
– Limit the problem to recognizing plans that the user
intends the system to recognize
– User does something that is characteristic for the plan
• Keyhole Plan Recognition:
– Search for plans that the user is not aware of that the
system searches for.
• Obstructed Plan Recognition:
– Search for plans while user is aware and obstructing
Keyhole Plan Recognition
• Kautz & Allen 1990:
– Generalized plan recognition
– Hierarchical plan structures
– Method for inferring ’top-level’ actions from
lower level observations.
Axioms
• Abstraction:
– Cook-spaghetti Cook-pasta
• Decomposition:
– Make-pasta-dish  Preconditions, Effects,
internal constraints,
Make Noodles,
Make Sauce, Boil
Bottom down
Top down
Intended Plan Recognition
• Speaker intends to do that by taking the eight
o’clock train.
• Speaker believes that there is an eight o’clock
train to London.
• Speaker wants to get to London.
• Speaker believes that going to platform four will
help in taking the eight o’clock train.
• Used in Natural Language Interpretation.
– ”I want to take the eight o’clock train to London. How
do I get to platform four?”
Are these models useful?
• The keyhole case suffers from:
– Very little actual information from users
– Users that change their plans and goals
• The intended case suffers from:
– need of complex models of intentionality
– Multiple levels of plans
• plans for interaction, domain plans, plans for forming plans
– Differences in knowledge between user and system
“Local” plan recognition
• Make no difference between system and user
plans (the keyhole case is limited to recognising
plans that belong to the plan library anyway).
• Only domain (or one-level) plans.
• Be forgetful -- inferences based on latest actions.
• Let the user inspect and correct plans.
• Works best with probabilistic or heuristic
methods.
What can we adapt to?
 User knowledge
 Cognitive properties
• (learning style, personality, etc.)
 User goals and plans
• User mood and emotions
• User preferences
Moods and emotions?
• New, relatively unexplored area!
• Unconscious level difficult to recognise, but it is
possible to look at type speed, error rates / facial
expressions, sweat, heartbeat rate...
• Conscious level can be guessed from task
fulfilment (e.g. failures)
• Emotions affect the user’s cognitive capabilities
 it can be important to affect the user’s emotions
(e.g. reduce stress)
Conscious and unconscious emotions
Unconscious
Conscious
Emotional Modelling
Gratch, 5th Int. Conf. on Autonomous Agents, Montreal, Canada, 2001
We address how emotions arise from an evaluation
of the relationship between environmental events &
an agent’s plans and goals, as well as the impact
of emotions on behaviour, in particular the impact
on the physical expressions of emotional state
through suitable choice of gestures &
body language.
Sample model of emotion assessment
Conati, AAAI, North Falmouth, Massachusetts 2001
knowledge & cognitive
model layer
learning profile layer
believability and emotional
layer
The layers in student modeling
Abou-Jaoude & Frasson, AI-ED99, Le Mans, France, 1999
What can we adapt to?
 User knowledge
 Cognitive properties
• (learning style, personality, etc.)
 User goals and plans
 User mood and emotions
• User preferences
Adaptation to user preferences
• So far, the most successful type of adaptation.
Preferences can in turn be related to knowledge /
goals / cognitive traits, but one needs not care
about that.
• Examples:
– Firefly
– www.amazon.com
– Mail filters
– Grundy (Rich: personalized book recommendation expert system)
Inferring preferences
• Explicitly stated preferences
– (CNN News)
• Matching the user’s behaviour towards the user
group
– (Amazon)
• Matching the user’s behaviour towards rule base,
and modify the rule base based on groups of
users
– (Grundy)
Combining values from several
stereotypes
• high value + high value 
• <high value + high certainty>
• high value + low value 
• <weighted mean + low certainty>
• low value + low value 
• <low value + high certainty>
Adaptation model in Grundy
• The characteristic properties are those that
have high or low value and high
confidence.
– Choose a book that fits these.
– Describe those properties of the books that fit
the user’s interests.
Can the stereotypes be learned?
• Positive feedback -->
– Increase certainty on key and property in all
triggered stereotypes.
• Negative feedback -->
– Decrease certainty on key and property in all
triggered stereotypes.
• No method to learn totally new stereotypes
Preference models in general
• Advantages:
– Simple models
– Users can inspect and modify the model
– Methods exist to learn stereotypes from
groups of users (clustering)
• Disadvantages:
– The Grundy model for stereotypes does
not work in practice ==>
machine learning!
What can we adapt to?
 User knowledge
 Cognitive properties
• (learning style, personality, etc.)
 User goals and plans
 User mood and emotions
 User preferences
Generic User Modelling
Techniques
• Rule-based frameworks
• Frame-based frameworks
• Network-based frameworks
• Probability-based frameworks
• A decision theoretic framework
• Sub-symbolic techniques
• Example-based frameworks
Rule-based frameworks
• Declarative Representation :
– BGP-MS(Kobsa): A User Modelling Shell
• A Hybrid Representation: SB-ONE
– Pure Logic Based
• Rule-based adaptations
• Quantification (levels of expertise)
• Stereotypes (U classified)
• Overlay (actual use compared to ideal)
Knowledge representation
• The system knowledge is partitioned into
different parts,
– System beliefs
– User beliefs
– Joint beliefs
– and more…
– User goals
• Stereotypes: can be activated if certain
information is present.
• User Model Partitions
Pros and Cons
• Very general and ‘empty’ - difficult to use
• Truth Maintenance required (expensive)
• There are weights and thresholds, but not
much theory behind those
• Learning from feedback not included
Frame-based frameworks
• E.g., semantic network
• Knowledge stored in structures w.
slots to be filled
• Useful for small domain
Network-based framework
• Knowledge represented in
relationships between facts
• Can be used to link frames
Statistical models, pros and cons
• A theory exist for the calculations
• Usually requires training before usage (no
learning from feedback)
• Weak representation of ’true’ knowledge
• Example: The MS Office assistant (the
Lumière project)
UM in Bayesian Networks
• Normally, relates observations to explanations
• Plan Inference, Error Diagnosis
• In Lumière, models the whole chain from
observations to adaptation
• The BN approach allows for a combination of
declarative knowledge about structure with
empirical knowledge about probabilities
Lumière: Network Bayesian Nodes
• Observations
• Explanations
– as parameters in the user model
• Selection of adaptation
– help message
• Selection of adaptation strategy
– active / passive help
Lumière & Office helper
High level problem structure
Partial BN structure from Lumière
Problems of BN in UM
• Dealing with previous ‘wrong guesses’
• Dealing with changes over time
• Providing end-user inspection and
control
Advantages and Disadvantages
• Explicit model of adaptation rules
• Not possible to learn new rules
• Rules could be taken from HCI literature
• BUT - there exist no such rules for adaptive
behaviour!
• Possible to tune the adaptations based on
feedback
• What should be tuned? User modelling or
adaptation modelling?
Example-based framework
• Knowledge represented implicitly within
decision structure
• Trained to classify rather than programmed
w. rules
• Requires little knowledge aquisition
Some Challenging Research
Problems for User Modeling
• · identify user goals from low-level interactions
• - active help systems, data detectors
• - “every wrong answer is the right answer to some other question”
• · integrate different modeling techniques
• - domain-orientation
• - explicit and implicit
• - give a user specific problems to solve
• · capture the larger (often unarticulated) context and what users are
• doing (especially beyond the direct interaction with the computer system)
• - embedded communication
• - ubiquitous computing
• · reduce information overload by making information relevant
• - to the task at hand
• - to the assumed background knowledge of the users
• · support differential descriptions (relate new information to information
• and concepts assumed to be known by the user)
Gerhard Fischer 1 HFA Lecture, OZCHI’2000
Commercial Boom (late ’90s)
• E-commerce:
– Product offering
– Sales promotion targeted to
– Product news individual UU
– Banners
Commercial Systems (2000)
• Group Lens (Net Perceptions)
– Collaborative filtering alg.
– Explicit/implicit rating (navigational data)
– Transaction history
• LikeMinds (Andromedia)
– More modular architecture, load distribution
• Personalization Server (ATG)
– Rules to assign UU to UU groups (demographic data: gender, age) –
stereotype approach
• Frontmind (Manna)
– Bayesian networks
• Learn Sesame (Open Sesame)
– Domain model: objects + attributes + events
– Clustering algorithms
Characteristics of CS
• Client-server architecture for the WEB !!!
• Advantages:
– Central repository w. UU info for 1/more applic.
• Info sharing between applications
• Complementary info from client DB integrated easily
– Info stored non-redundant
• Consistency & coherence check possible
• Info on user groups maintained w. low redundancy
(stereotypes, a-priori or computed)
– Security, id, authentication, access control, encryption
can be applied for protecting UM
 UM serverUM server
UM server Services
• Comparison of UU selective actions
– Amazon: “Customers who bought this book
also bought: […]”
• Import of external UU info
– ODBC(Open Database Connectivity)
interfaces, or support for a variety of DB
• Privacy support
– Company privacy policies, industry, law
• Quick adaptation
– Preferably, at first interaction, to attract customers 
levels of adaptation, depending on data amount
• Extensibility
– To add own methods, other tools API for UU info
exchange
• Load balancing
– Reaction to increased load: e.g., CORBA based
components, distributed on the Web
• Failover strategies (in case of breakdown)
• Transaction Consistency
– Avoidance of inconsistencies, abnormal termination
UM server Requirements
Conclusion:
New UM server trends
• More recommender systems than real UM
• Based on network environments
• Less sophisticated UM, other issues (such as response
time, privacy) are more important
• Separation of tasks is essential, to give flexibility:
– Not only system functions separately from UM functions, but
also
– UM functions separation:
• domain modelling, knowledge, cognitive modelling, goals and plans
modelling, moods and emotion modelling, preferences modelling,
and finally, interface related modelling
– In this way, the different levels of modelling can be added at
different times, and by different people

Contenu connexe

En vedette

Makanan sehat
Makanan sehatMakanan sehat
Makanan sehatTe Qi
 
Traballo caligrama miguel 2ºA
Traballo caligrama miguel 2ºATraballo caligrama miguel 2ºA
Traballo caligrama miguel 2ºAMigueloopez
 
Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...
Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...
Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...R. van Vliet
 
Presentation4
Presentation4Presentation4
Presentation4Te Qi
 
презентация Efimovnikolay
презентация Efimovnikolayпрезентация Efimovnikolay
презентация Efimovnikolayefimovnikolay
 

En vedette (7)

Makanan sehat
Makanan sehatMakanan sehat
Makanan sehat
 
Traballo caligrama miguel 2ºA
Traballo caligrama miguel 2ºATraballo caligrama miguel 2ºA
Traballo caligrama miguel 2ºA
 
S.t.a.r. initiative 2013 review
S.t.a.r. initiative 2013 reviewS.t.a.r. initiative 2013 review
S.t.a.r. initiative 2013 review
 
Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...
Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...
Dutch justice deel II - outline fictieve misdaadroman tussen hemel en hel, he...
 
Presentation4
Presentation4Presentation4
Presentation4
 
ARCCseedgrant_29April292015
ARCCseedgrant_29April292015ARCCseedgrant_29April292015
ARCCseedgrant_29April292015
 
презентация Efimovnikolay
презентация Efimovnikolayпрезентация Efimovnikolay
презентация Efimovnikolay
 

Similaire à U mpres (20)

Advanced topics research
Advanced topics researchAdvanced topics research
Advanced topics research
 
Design rules and usability requirements
Design rules and usability requirementsDesign rules and usability requirements
Design rules and usability requirements
 
evaluation technique uni 2
evaluation technique uni 2evaluation technique uni 2
evaluation technique uni 2
 
E3 chap-09
E3 chap-09E3 chap-09
E3 chap-09
 
Ari2132 lecture5
Ari2132 lecture5Ari2132 lecture5
Ari2132 lecture5
 
Interaction design: desiging user interfaces for digital products
Interaction design: desiging user interfaces for digital productsInteraction design: desiging user interfaces for digital products
Interaction design: desiging user interfaces for digital products
 
Introduction to User-Centered Design
Introduction to User-Centered DesignIntroduction to User-Centered Design
Introduction to User-Centered Design
 
Unit 3_Evaluation Technique.pptx
Unit 3_Evaluation Technique.pptxUnit 3_Evaluation Technique.pptx
Unit 3_Evaluation Technique.pptx
 
Domain Modeling for Personalized Learning
Domain Modeling for Personalized LearningDomain Modeling for Personalized Learning
Domain Modeling for Personalized Learning
 
E3 chap-09
E3 chap-09E3 chap-09
E3 chap-09
 
Usability Evaluation
Usability EvaluationUsability Evaluation
Usability Evaluation
 
Design Rules.pdf
Design Rules.pdfDesign Rules.pdf
Design Rules.pdf
 
ICS2208 Lecture 5
ICS2208 Lecture 5ICS2208 Lecture 5
ICS2208 Lecture 5
 
e3-chap-09.ppt
e3-chap-09.ppte3-chap-09.ppt
e3-chap-09.ppt
 
Evaluation techniques
Evaluation techniquesEvaluation techniques
Evaluation techniques
 
Human Computer Interaction Evaluation
Human Computer Interaction EvaluationHuman Computer Interaction Evaluation
Human Computer Interaction Evaluation
 
Usability requirements
Usability requirements Usability requirements
Usability requirements
 
ML.ppt
ML.pptML.ppt
ML.ppt
 
ML.ppt
ML.pptML.ppt
ML.ppt
 
ML.ppt
ML.pptML.ppt
ML.ppt
 

Dernier

[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdfhans926745
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsJoaquim Jorge
 
What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?Antenna Manufacturer Coco
 
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024The Digital Insurer
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfsudhanshuwaghmare1
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Enterprise Knowledge
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024The Digital Insurer
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationSafe Software
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slidevu2urc
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024Rafal Los
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfEnterprise Knowledge
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxKatpro Technologies
 
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024The Digital Insurer
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...apidays
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘RTylerCroy
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking MenDelhi Call girls
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 

Dernier (20)

[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
 
What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?
 
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 

U mpres

  • 1. USER MODELING meets the Web Alexandra I. Cristea Modern Information Systems seminar, 26th February 2002
  • 2. Overview: UM 1. UM: What is it? 2. Why? & What for? & How? 3. Early history 4. Demands & traditional (academic) developments 5. What can we adapt to? 6. Generic User Modelling techniques 7. Newer developments 8. The future?
  • 3. What is a user model? • Elaine Rich: • "Most systems that interact with human users contain, even if only implicitly, some sort of model of the creatures they will be interacting with."
  • 4. What is a user model? • Robert Kass: • "... systems that tailor their behaviour to individual users' needs often have an explicit representation structure that contains information about their users, this structure is generally called a user model."
  • 5. What is a user model, here: • ”If a program can change its behaviour based on something related to the user, then the program does (implicit or explicit) user modelling.”
  • 6. Why user modelling? • pertinent information – What is pertinent to me may not be pertinent to you – information should flow within and between users – users should control the level of information-push • large amounts of information – too much information, too little time – people often become aware of information when it is not immediately relevant to their needs – Difficult to handle – Etc.
  • 7. What for? • In tutoring systems: – To adapt to the student’s needs, so that better learning occurs – To adapt to the teacher’s needs, so better teaching takes place • In commercial systems: – To adapt to the customer, so that better(?) selling takes place • Etc. • TOTO ADAPTADAPT TO THETO THE USERUSER
  • 8. How? • Simplest version: Include facts about the user • Adapt to known facts about the user • Adapt to inferred properties of the user – Has Eurocard ---> likes travelling – Stereotypical user modelling
  • 9. Adaptivity example • User: Could the student's mispronunciation errors be due to dialect? • Response to parent: Yes, non-standard pronunciations may be due to dialect rather than poor decoding skills. • Response to psychologist: Yes, the student's background indicates the possibility of a dialectical difference.  StereotypesStereotypes
  • 10. User modelling is always about guessing …
  • 11. Early history • Start: 1978, 79: – Allen, Cohen & Perrault: Speech research for dialogue coherence – Elaine Rich: Building & Exploiting User Models (PhD thesis) • 10 year period of developments – UM performed by application system – No clear distinction between UM components & other system tasks • mid 80’s: Kobsa, Allgayer, etc. – Distinction appears – No reusability consideration
  • 12. • GUMS (Finin & Drager, 1989; Kass 1991) – General User Modelling System – Stereotype hierarchies – Stereotype members + rules about them – Consistency verification  set framework for General UM systems • Called UM shell systems (Kobsa) Early systems
  • 13. Academic developments • Doppelgaenger [Orwant 1995] – Hardware & software sensors – Offers techniques of data generalization (linear prediction, Markov models, unsupervised clustering for stereotype formation) • TAGUS [Paiva & Self 1995] – Stereotype hierarchy, inference mech., TMS, diagnostic system + misconception library
  • 14. Other UM shells • um: UM Toolkit [Kay 1990, 1995, 1998] – Represents assumptions on knowledge, beliefs, preferences (attribute – value pairs) – actually, library • BGP-MS [Kobsa & Pohl 1995, Pohl 1998] – Belief, Goal and Plan Maintenance System – Assumptions about users + user groups – Allows multi-user, can work as network server • LMS [Machado et al. 1999] – Learner Modelling Server
  • 15. UM shell services (Kobsa 95) • Representation of assumptions on user characteristic(s) – E.g., knowledge, misconceptions, goals, plans, preferences, tasks, abilities • Representation of common characteristics of users – Stereotypes, (sub-)groups, etc. • Recording of user behaviour – Past interaction w. system • formation of assumption based on interaction • Generalization of interaction (histories) – Stereotypes • Inference engine – Drawing new assumptions based on initial ones – Current assumption + justification – Evaluation of entries in current UM and comparison w. standards • Consistency maintenance
  • 16. UM shell services (Kobsa 95)
  • 17. UM shells Requirements • Generality – As many services as possible – “Concessions”: student-adaptive tutoring systems • Expressiveness – Able to express as many types of assumptions as possible (about UU) • Strong Inferential Capabilities – AI, formal logic (predicate l., modal reasoning, reasoning w. uncertainty, conflict resolution)
  • 18. An Example of UM system David Benyon, 1993
  • 19.
  • 20. Gerhard Fischer 1 HFA Lecture, OZCHI’2000
  • 21. ‘ Deep’ or ‘shallow’ modelling? • Deep models give more inferential power! • Same knowledge can affect several parts of the functionality, or even several applications • Better knowledge about how long an inference stays valid • But deep models are more difficult to acquire • Where do all the inference rules come from? • How do we get information about the user?
  • 22. Aim of UM • Obtaining of UU metal picture Vs. • UU behaviour modelled per se
  • 23. A Comparison between Adaptive and Adaptable Systems Gerhard Fischer 1 HFA Lecture, OZCHI’2000
  • 24. What can we adapt to? • User knowledge • Cognitive properties • (learning style, personality, etc.) • User goals and plans • User mood and emotions • User preferences
  • 25. Adaptation to User Knowledge • UU option knowledge – about possible actions via an interface • Conceptual knowledge – that can be explained by the system • Problem solving knowledge – how knowledge can be applied to solve particular problems • misconceptions – erroneous knowledge
  • 26.
  • 27. How can we infer user knowledge? • It’s in general hard to infer something about the user’s knowledge. Techniques used: • Query the user (common in tutoring systems) • Infer from user history (if you’ve seen an explanation, you understand the term) • Rule-based generalisation based on domain structure (if you understand a specific term, you understand its generalisation) • Rule-based generalisation based on user role (if you’re a technician, you should understand these terms) • ‘Bug’ libraries (recognise common errors) • Generalization based on other similar users’ past
  • 28.
  • 29. The “Model overlay” technique • Advantage: Simple and ‘cheap’ • Cannot model misconceptions, or ‘new’ knowledge
  • 30. What can we adapt to?  User knowledge • Cognitive properties • (learning style, personality, etc.) • User goals and plans • User mood and emotions • User preferences
  • 31. Why model cognitive properties? • Navigation in hypermedia: – Very large differences (20:1) in performance, partially related to spatial ability. New tools needed! • Learning: – Different people require different learning styles (example / theory / group based)
  • 32. Van der Veer et al.
  • 33. Kolb (1984) 2-D learning styles scale; 4 extreme cases: • 1.converger (abstract, active): – abstract conceptualization and active experimentation; great advantage in traditional IQ tests, decision making, problem solving, practical applications of theories; knowledge organizing: hypothetical-deductive; question: "How?". • 2.diverger (concrete, reflective): – concrete experience and reflective observation; great advantage in imaginative abilities, awareness of meanings and values, generating alternative hypotheses and ideas; question: "Why?" • 3. assimilator (abstract, reflective): – abstract conceptualization and reflective observation; great advantage in inductive reasoning, creating theoretical models; focus more on logical soundness and preciseness of ideas; question: "What?". • 4. accomodator (concrete, active): – concrete experience and active experimentation; focus on risk taking, opportunity seeking, action; solve problems in trial-and-error manner; question: "What if?".
  • 34. Inferring user cognitive characteristics • The user does not know - not possible to ask! • Stable properties - use lots of small signs over time. • Studies required to establish correlation between indications and properties. • A better solution may be to use these aspects of user models only at design time (offer different interaction alternatives)?
  • 35. What can we adapt to?  User knowledge  Cognitive properties • (learning style, personality, etc.) • User goals and plans • User mood and emotions • User preferences
  • 36. User Goals and Plans • What is meant by this? – A user goal is a situation that a user wants to achieve. – A plan is a sequence of actions or event that the user expects will lead to the goal. • System can: – Infer the user’s goal and suggest a plan – Evaluate the user’s plan and suggest a better one – Infer the user’s goal and automatically fulfil it (partially) – Select information or options to user goal(s) (shortcut menus)
  • 37. What information is available? • Intended Plan Recognition: – Limit the problem to recognizing plans that the user intends the system to recognize – User does something that is characteristic for the plan • Keyhole Plan Recognition: – Search for plans that the user is not aware of that the system searches for. • Obstructed Plan Recognition: – Search for plans while user is aware and obstructing
  • 38. Keyhole Plan Recognition • Kautz & Allen 1990: – Generalized plan recognition – Hierarchical plan structures – Method for inferring ’top-level’ actions from lower level observations.
  • 39. Axioms • Abstraction: – Cook-spaghetti Cook-pasta • Decomposition: – Make-pasta-dish  Preconditions, Effects, internal constraints, Make Noodles, Make Sauce, Boil Bottom down Top down
  • 40. Intended Plan Recognition • Speaker intends to do that by taking the eight o’clock train. • Speaker believes that there is an eight o’clock train to London. • Speaker wants to get to London. • Speaker believes that going to platform four will help in taking the eight o’clock train. • Used in Natural Language Interpretation. – ”I want to take the eight o’clock train to London. How do I get to platform four?”
  • 41. Are these models useful? • The keyhole case suffers from: – Very little actual information from users – Users that change their plans and goals • The intended case suffers from: – need of complex models of intentionality – Multiple levels of plans • plans for interaction, domain plans, plans for forming plans – Differences in knowledge between user and system
  • 42. “Local” plan recognition • Make no difference between system and user plans (the keyhole case is limited to recognising plans that belong to the plan library anyway). • Only domain (or one-level) plans. • Be forgetful -- inferences based on latest actions. • Let the user inspect and correct plans. • Works best with probabilistic or heuristic methods.
  • 43. What can we adapt to?  User knowledge  Cognitive properties • (learning style, personality, etc.)  User goals and plans • User mood and emotions • User preferences
  • 44. Moods and emotions? • New, relatively unexplored area! • Unconscious level difficult to recognise, but it is possible to look at type speed, error rates / facial expressions, sweat, heartbeat rate... • Conscious level can be guessed from task fulfilment (e.g. failures) • Emotions affect the user’s cognitive capabilities  it can be important to affect the user’s emotions (e.g. reduce stress)
  • 45. Conscious and unconscious emotions Unconscious Conscious
  • 46. Emotional Modelling Gratch, 5th Int. Conf. on Autonomous Agents, Montreal, Canada, 2001 We address how emotions arise from an evaluation of the relationship between environmental events & an agent’s plans and goals, as well as the impact of emotions on behaviour, in particular the impact on the physical expressions of emotional state through suitable choice of gestures & body language.
  • 47. Sample model of emotion assessment Conati, AAAI, North Falmouth, Massachusetts 2001
  • 48. knowledge & cognitive model layer learning profile layer believability and emotional layer The layers in student modeling Abou-Jaoude & Frasson, AI-ED99, Le Mans, France, 1999
  • 49. What can we adapt to?  User knowledge  Cognitive properties • (learning style, personality, etc.)  User goals and plans  User mood and emotions • User preferences
  • 50. Adaptation to user preferences • So far, the most successful type of adaptation. Preferences can in turn be related to knowledge / goals / cognitive traits, but one needs not care about that. • Examples: – Firefly – www.amazon.com – Mail filters – Grundy (Rich: personalized book recommendation expert system)
  • 51. Inferring preferences • Explicitly stated preferences – (CNN News) • Matching the user’s behaviour towards the user group – (Amazon) • Matching the user’s behaviour towards rule base, and modify the rule base based on groups of users – (Grundy)
  • 52.
  • 53. Combining values from several stereotypes • high value + high value  • <high value + high certainty> • high value + low value  • <weighted mean + low certainty> • low value + low value  • <low value + high certainty>
  • 54. Adaptation model in Grundy • The characteristic properties are those that have high or low value and high confidence. – Choose a book that fits these. – Describe those properties of the books that fit the user’s interests.
  • 55. Can the stereotypes be learned? • Positive feedback --> – Increase certainty on key and property in all triggered stereotypes. • Negative feedback --> – Decrease certainty on key and property in all triggered stereotypes. • No method to learn totally new stereotypes
  • 56. Preference models in general • Advantages: – Simple models – Users can inspect and modify the model – Methods exist to learn stereotypes from groups of users (clustering) • Disadvantages: – The Grundy model for stereotypes does not work in practice ==> machine learning!
  • 57. What can we adapt to?  User knowledge  Cognitive properties • (learning style, personality, etc.)  User goals and plans  User mood and emotions  User preferences
  • 58. Generic User Modelling Techniques • Rule-based frameworks • Frame-based frameworks • Network-based frameworks • Probability-based frameworks • A decision theoretic framework • Sub-symbolic techniques • Example-based frameworks
  • 59. Rule-based frameworks • Declarative Representation : – BGP-MS(Kobsa): A User Modelling Shell • A Hybrid Representation: SB-ONE – Pure Logic Based • Rule-based adaptations • Quantification (levels of expertise) • Stereotypes (U classified) • Overlay (actual use compared to ideal)
  • 60. Knowledge representation • The system knowledge is partitioned into different parts, – System beliefs – User beliefs – Joint beliefs – and more… – User goals • Stereotypes: can be activated if certain information is present. • User Model Partitions
  • 61.
  • 62. Pros and Cons • Very general and ‘empty’ - difficult to use • Truth Maintenance required (expensive) • There are weights and thresholds, but not much theory behind those • Learning from feedback not included
  • 63. Frame-based frameworks • E.g., semantic network • Knowledge stored in structures w. slots to be filled • Useful for small domain
  • 64. Network-based framework • Knowledge represented in relationships between facts • Can be used to link frames
  • 65. Statistical models, pros and cons • A theory exist for the calculations • Usually requires training before usage (no learning from feedback) • Weak representation of ’true’ knowledge • Example: The MS Office assistant (the Lumière project)
  • 66. UM in Bayesian Networks • Normally, relates observations to explanations • Plan Inference, Error Diagnosis • In Lumière, models the whole chain from observations to adaptation • The BN approach allows for a combination of declarative knowledge about structure with empirical knowledge about probabilities
  • 67. Lumière: Network Bayesian Nodes • Observations • Explanations – as parameters in the user model • Selection of adaptation – help message • Selection of adaptation strategy – active / passive help
  • 69. High level problem structure
  • 70. Partial BN structure from Lumière
  • 71. Problems of BN in UM • Dealing with previous ‘wrong guesses’ • Dealing with changes over time • Providing end-user inspection and control
  • 72.
  • 73. Advantages and Disadvantages • Explicit model of adaptation rules • Not possible to learn new rules • Rules could be taken from HCI literature • BUT - there exist no such rules for adaptive behaviour! • Possible to tune the adaptations based on feedback • What should be tuned? User modelling or adaptation modelling?
  • 74. Example-based framework • Knowledge represented implicitly within decision structure • Trained to classify rather than programmed w. rules • Requires little knowledge aquisition
  • 75. Some Challenging Research Problems for User Modeling • · identify user goals from low-level interactions • - active help systems, data detectors • - “every wrong answer is the right answer to some other question” • · integrate different modeling techniques • - domain-orientation • - explicit and implicit • - give a user specific problems to solve • · capture the larger (often unarticulated) context and what users are • doing (especially beyond the direct interaction with the computer system) • - embedded communication • - ubiquitous computing • · reduce information overload by making information relevant • - to the task at hand • - to the assumed background knowledge of the users • · support differential descriptions (relate new information to information • and concepts assumed to be known by the user) Gerhard Fischer 1 HFA Lecture, OZCHI’2000
  • 76. Commercial Boom (late ’90s) • E-commerce: – Product offering – Sales promotion targeted to – Product news individual UU – Banners
  • 77. Commercial Systems (2000) • Group Lens (Net Perceptions) – Collaborative filtering alg. – Explicit/implicit rating (navigational data) – Transaction history • LikeMinds (Andromedia) – More modular architecture, load distribution • Personalization Server (ATG) – Rules to assign UU to UU groups (demographic data: gender, age) – stereotype approach • Frontmind (Manna) – Bayesian networks • Learn Sesame (Open Sesame) – Domain model: objects + attributes + events – Clustering algorithms
  • 78. Characteristics of CS • Client-server architecture for the WEB !!! • Advantages: – Central repository w. UU info for 1/more applic. • Info sharing between applications • Complementary info from client DB integrated easily – Info stored non-redundant • Consistency & coherence check possible • Info on user groups maintained w. low redundancy (stereotypes, a-priori or computed) – Security, id, authentication, access control, encryption can be applied for protecting UM  UM serverUM server
  • 79. UM server Services • Comparison of UU selective actions – Amazon: “Customers who bought this book also bought: […]” • Import of external UU info – ODBC(Open Database Connectivity) interfaces, or support for a variety of DB • Privacy support – Company privacy policies, industry, law
  • 80. • Quick adaptation – Preferably, at first interaction, to attract customers  levels of adaptation, depending on data amount • Extensibility – To add own methods, other tools API for UU info exchange • Load balancing – Reaction to increased load: e.g., CORBA based components, distributed on the Web • Failover strategies (in case of breakdown) • Transaction Consistency – Avoidance of inconsistencies, abnormal termination UM server Requirements
  • 81. Conclusion: New UM server trends • More recommender systems than real UM • Based on network environments • Less sophisticated UM, other issues (such as response time, privacy) are more important • Separation of tasks is essential, to give flexibility: – Not only system functions separately from UM functions, but also – UM functions separation: • domain modelling, knowledge, cognitive modelling, goals and plans modelling, moods and emotion modelling, preferences modelling, and finally, interface related modelling – In this way, the different levels of modelling can be added at different times, and by different people

Notes de l'éditeur

  1. TMS = truth maintenance system