Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents.
Mark MarronPublished in: Onward! (2023)
Keyphrases
- programming language
- intelligent behavior
- high level
- programming paradigms
- object oriented
- artificial intelligence
- intelligent systems
- reasoning systems
- multi agent systems
- knowledge representation and reasoning
- database languages
- software engineering
- general purpose
- expert systems
- computer programs
- programming environment
- logic programming
- knowledge representation
- strongly typed
- multiagent systems
- ai researchers
- human users
- artificial agents
- specification language
- lambda calculus
- denotational semantics
- object oriented programming
- software agents
- autonomous agents
- intelligent agents
- mobile agents
- data model
- knowledge base
- machine learning