A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning.
Thierry Boy de la TourRicardo CaferraPublished in: ISSAC (1988)
Keyphrases
- formal models
- mathematical theory
- logical reasoning
- meta level
- knowledge base
- formal model
- reasoning processes
- mathematical proofs
- human reasoning
- formal representation
- spatial reasoning
- qualitative reasoning
- uncertain information
- knowledge sharing and reuse
- causal inferences
- legal argument
- knowledge management
- decision making
- machine learning
- reasoning systems
- automated reasoning
- formal methods
- mathematical expressions
- mathematical models
- multi agent
- information systems
- computer algebra systems
- neural network