Formal Semantics of Agent Evolution in Language Flage.
Yasuyuki TaharaFumihiro KumenoAkihiko OhsugaShinichi HonidenPublished in: OBPDC (1995)
Keyphrases
- formal semantics
- logical language
- operational semantics
- formal language
- speech acts
- agent programming
- modeling language
- modelling language
- multi agent
- multi agent systems
- logical reasoning
- autonomous agents
- intelligent agents
- er model
- theorem prover
- first order logic
- knowledge representation
- model theoretic
- agent model
- expert systems
- natural language
- reasoning mechanism
- owl dl ontology
- databases
- ontology languages
- inference rules
- metamodel
- artificial intelligence
- machine learning