Project: Application of adaptive logics in artificial intelligence and in argumentation.
- project duration
- 01-JAN-97 – 31-DEC-00
- 1. Reconstruction of common non monotomic logics (adaptive logics as the logical component, combined with a preferential component). 2. Spelling out adaptive logics (decision methods, etc.) that are useful in an A.I.context demonstrate their advantages over usual machinery. 3. Study the typical properties of argumentation that may be reconstructed within a formal framework in view of the dynamic proofs of adaptive logics.