A blue social bookmark and publication sharing system.
neilernst's BibTeX entry:
Towards a Framework for Goal Revision
18th BeNeLux Conference on Artificial Intelligence, BNAIC'06, : 99--106, 2006.
| Authors: | C. da Costa Pereira and A. Tettamanzi |
| URL: | http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf |
| Tags: | goal revision |
| Abstract: | A rational agent revises its goals if something changes in its mental state. In this paper, we propose (i) a general framework based on classical propositional logic, to represent changes in the mental state of the agent after the acquisition of new information and/or after the arising of new desires; (ii) fundamental postulates that the function which generates the goal set must obey; and (iii) properties that this function must have to guarantee both the agent's maximal satisfaction and the consistency of the goal set. 1 |
@inproceedings{pereira07bnaic,
title = {Towards a Framework for Goal Revision},
address = {Namur, Belgium},
author = {C. da Costa Pereira and A. Tettamanzi},
booktitle = {18th BeNeLux Conference on Artificial Intelligence, BNAIC'06},
month = {October},
pages = {99--106},
url = {http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf},
year = {2006},
abstract = {A rational agent revises its goals if something changes in its mental state. In this paper, we propose (i) a general framework based on classical propositional logic, to represent changes in the mental state of the agent after the acquisition of new information and/or after the arising of new desires; (ii) fundamental postulates that the function which generates the goal set must obey; and (iii) properties that this function must have to guarantee both the agent's maximal satisfaction and the consistency of the goal set. 1},
keywords = {goal revision }
}
address = {Namur, Belgium},
author = {C. da Costa Pereira and A. Tettamanzi},
booktitle = {18th BeNeLux Conference on Artificial Intelligence, BNAIC'06},
month = {October},
pages = {99--106},
url = {http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf},
year = {2006},
abstract = {A rational agent revises its goals if something changes in its mental state. In this paper, we propose (i) a general framework based on classical propositional logic, to represent changes in the mental state of the agent after the acquisition of new information and/or after the arising of new desires; (ii) fundamental postulates that the function which generates the goal set must obey; and (iii) properties that this function must have to guarantee both the agent's maximal satisfaction and the consistency of the goal set. 1},
keywords = {goal revision }
- relations
- tags
- (Deoxyribonucleic
- 1406
- 2106
- 2228
- 3d
- abstraction
- academic
- Acid),Genetics
- acquisition
- action
- activity
- actor
- actor-network
- adaptation
- adaptive
- adoption
- Agent
- agent
- agile
- agile,evolution,must-read
- agility
- ai
- ajax
- algebra
- algorithm
- algorithm,change,should-read,tree
- analysis
- analysis,evolution
- analysis,software
- analysis,systems
- and
- annealing
- ANT,dynamic
- aop
- API,application
- application
- approximation
- architecture
- architecture/design
- argumentation
- artificial
- aspects
- assessment,GRASS
- Atom
- automata
- automated
- automatic
- autonomic
- Bacteria,Biology
- based
- bayes
- behaviour
- belief
- benchmark,organisation
- Biochemistry,Microbiology,Nowak,
- bioinformatics
- biology
- biomimetic
- biomimetics
- bpel
- Business
- business
- business,evolution,modeling
- business-processes
- calendar
- capabilities
- capability
- cartesian
- cascon
- case
- case-study
- catalog,hierarchical
- cellular
- cfp
- change
- change,evolution,nasa
- Charles
- classification
- co-citation
- cognition
- cognitive
- collaboration
- community
- complex
- complex-hci
- complexity
- complexity,cwa,Systems
- complexity,requirements
- component
- components
- components,software
- composition
- comprehension
- computer
- computing,
- computing,must-read,simulation
- computing,nolan's
- concept
- conceptual
- concern
- concurrent
- conference
- configuration
- conflict
- Consent
- consistency
- constraint
- context
- contextual
- continuous
- control
- cooperative
- corba
- Cost–benefit
- cots
- could-read
- course
- creation,data
- criteria
- criteria,object-oriented
- criteria,software
- cscw
- culture
- customization
- cwa
- Darwin,
- data
- Database
- database
- dcom
- Decision
- decision
- decision-support,gis,must-read
- dependency,actors,conceptual
- description
- descriptive
- design
- design,Telos
- development
- dfd
- diagnostics,public
- diagram
- diagrams
- diagrams,must-read
- diff
- differencing,must-read
- digital
- dimensions
- Discrete
- discrete
- distributed
- divide
- document
- documentation
- documents
- domain
- dynamic
- dynamics,software
- eclipse
- ecological
- economics
- editor
- education
- effectiveness
- elicitation
- emergence
- emergent
- emf
- Empirical
- empirical
- end-user-programming
- engineering
- engineering,evolution,must-read
- engineering,software
- enterprise
- environment
- epistemology
- er
- ERCIM
- ergonomics
- error
- estimation
- ethics
- ethnography
- evaluation
- evaluation,i-star
- evaluation,requirements
- Evolution
- evolution
- evolution,
- evolution,healthcare,legal,should-read
- evolution,must-read,release
- evolution,predictive,should-read
- evolution,program
- evolution,reverse-engineering
- Evolutionary
- evolutionary
- exchange
- expert
- exploratory/field
- extracting
- extraction
- extreme
- failure
- feature
- fitnesse
- flash
- flow
- flows,ISPW-6/7
- folksonomy
- forking
- formal
- formalism
- format
- formulation
- fractal
- frame
- frames
- framework
- frameworks,Web
- fuzzy
- game
- games
- genetic
- geography
- gis
- Goal
- goal
- Goal-driven
- goals
- golog
- goms
- graph
- graphs
- grid
- grounded
- hci
- Health
- health
- Heredity,Science
- hierarchical
- hierarchies
- hierarchy
- history
- home
- http
- hypermedia
- i*
- i-star
- IDEs
- imported
- inconsistency
- inference
- informatics
- Information
- information
- inquiry
- integration
- integration,information
- intelligent
- intention,systems
- interaction
- interface
- interfaces
- interfaces,composite
- interfaces,GUI
- iterative
- jade
- jambalaya
- java
- jess
- job
- kaizen
- kaos
- kcap
- knowledge
- knowledge-based
- language
- language,dependency
- languages
- large-scale
- learning
- legacy
- life
- line
- linux
- literate
- literature
- litmap
- location
- logic
- lsi
- machine
- maintenance
- maintenance,software
- management
- management,database
- management,software
- maps
- Martin,Science
- MAS
- mda
- medical
- mental
- mentoring,
- mereotopology
- merge
- merging
- meta
- metamodel
- metamodels
- methodology
- methods
- metrics
- metrics,
- mf
- middleware
- mining
- mobile
- Model
- model
- model,must-read,uml
- model-driven
- Modeling
- modeling
- modelling
- modelling,performance
- modelling,systems
- models
- models,Latour
- models,socio-technical
- monitoring,feedback
- msr
- must-read
- nasa
- nci
- network
- networks
- neuroscience
- nfr
- nlp
- nursing
- object
- Object-Oriented
- OCL
- ocl
- of
- ome
- ontoedit
- ontology
- Open-source
- open-source
- openome
- optimization
- Organization
- organization
- OSS
- oss
- OWL
- owl
- owl-s
- participatory
- pattern
- patterns
- people
- personal
- pervasive
- philosophy
- planning
- planning,requirements
- policy
- preference
- preferences
- presentation
- presentation,Internet,object-oriented
- privacy
- probabilistic
- problem
- process
- product
- productivity
- program
- programming
- programming,reusable
- programming,software
- protege
- protocol
- prototyping
- provenance
- psychology
- q7
- qualitative
- quality
- quality,software
- Query
- query
- querying
- questionnaires
- rapid
- rationale
- rdf
- RE
- re-read
- reasoning
- recommender
- recreation
- refactoring
- refactoring,scm
- reference
- relationships
- relationships,formal
- release
- reliability
- repositories
- Repository
- representation
- Requirements
- requirements
- research
- REST
- rest
- retrieval
- reusability,user
- reuse
- reverse
- revision
- Risk
- risk
- rmi
- Robert,DNA
- roles
- RPC
- rpc
- ruby
- rule
- rules
- RUP
- safety
- satisfiability
- scalability
- scenario
- scenarios
- scheduling
- schema
- science
- SCR
- scr
- search
- security
- selection
- selection,software
- Semantic
- semantic
- seminal
- seng
- seoss
- service
- Services
- services
- shingles
- should-read
- simulation
- situated
- sketching
- small
- soa
- soap
- social
- society
- Software
- software
- software,remote
- solving
- source
- space
- sparql
- spec
- specification
- specification,input-output
- specifications
- spiral
- spreadsheet
- SQL
- stages
- standard
- state
- statechart
- statecharts
- statistics
- structural
- structure,higher-level
- Structured
- study
- study,
- study,open
- subversion
- support
- Survey
- survey
- svg
- system
- Systems
- systems
- systems,design
- tagging
- task
- taxonomy
- team
- techniques,graphical
- Technology
- technology
- telnet
- telos
- temporal
- testing
- text
- theory
- theory,software
- time
- Timeline
- tool
- tools
- topic
- traceability
- traceabilty
- Tradeoffs
- transfer
- tree-like
- tropos
- trust
- tutorial
- uddi
- ui
- UML
- uml
- uncertainty
- understanding,
- unstructured
- uri
- usability
- User
- user
- validation
- variability
- version
- Versioning
- versioning
- Versions
- view
- Viewpoints
- viewpoints
- views
- visual
- visualisation
- visualization
- visualization,
- visualizing
- vocabularies
- waterfall
- Web
- web
- website
- wiki
- wireless
- work
- workflow
- workshop
- wsdl
- www
- xml
- xp
- zoom
- zui
BibSonomy is offered by the Knowledge and Data Engineering Group
of the University of Kassel, Germany.
Contact:

bibtex
groups