A Commonsense Formalization of Normative Systems.
Joost BreukerAndré ValentePublished in: ICLP Workshop: Legal Application of Logic Programming (1994)
Keyphrases
- normative systems
- logical framework
- multi agent systems
- inference rules
- commonsense knowledge
- knowledge base
- reasoning tasks
- mental attitudes
- belief revision
- knowledge representation
- formal model
- probabilistic model
- game theory
- theorem proving
- automated reasoning
- first order logic
- computational complexity
- decision making