The logic of NTQR evaluations of noisy AI agents: Complete postulates and logically consistent error correlations.
Andrés Corrada-EmmanuelPublished in: CoRR (2023)
Keyphrases
- multi agent systems
- epistemic logic
- dynamic logic
- multi agent
- computational logic
- propositional variables
- multiagent systems
- cooperative
- artificial intelligence
- horn logic
- logic programming
- intelligent behavior
- multiple agents
- software agents
- intelligent agents
- autonomous agents
- alternating time temporal logic
- coalition logic
- logical framework
- error rate
- agent architecture
- resource allocation
- rationality postulates
- agent programming
- knowledge representation and reasoning
- machine learning
- knowledge representation
- case based reasoning
- intelligent systems
- classical logic
- agent systems
- decision theoretic
- agent technology
- mobile agents
- dynamic environments
- expert systems
- belief change
- argumentation systems
- agent model
- ai researchers
- formal logic
- argumentation theory
- knowledge base
- desirable properties
- decision making
- model checking