Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents.
Mark MarronPublished in: CoRR (2024)
Keyphrases
- programming language
- intelligent behavior
- high level
- object oriented
- multi agent systems
- software engineering
- artificial intelligence
- reasoning systems
- expert systems
- intelligent systems
- autonomous agents
- ai researchers
- programming environment
- general purpose
- computer programs
- logic programming
- object oriented programming
- artificial agents
- knowledge representation and reasoning
- human users
- multiagent systems
- database languages
- programming paradigms
- lambda calculus
- database
- computer algebra systems
- incomplete information
- intelligent agents
- knowledge representation
- knowledge base
- cognitive architecture
- application development
- mobile agents
- strongly typed
- object oriented concepts
- denotational semantics