Toward a logical tool for generating new arguments in an argumentation based framework
2005
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have to face their respective knowledge. The following notions are addressed: the behaviour of an agent facing an argument, the answer of an agent in front of a set of formulas, and relations among arguments. X-logics, a nonmonotonic extension of classical propositional logic proposed by Siegel and Forget, is used as the background formalism for representing the reasoning of the agents on arguments
Keywords:
- Zeroth-order logic
- Propositional variable
- Dynamic logic (modal logic)
- Argument
- Well-formed formula
- Probabilistic logic
- Non-classical logic
- Artificial intelligence
- Mathematics
- Interpretation (logic)
- Propositional calculus
- Rule of inference
- Machine learning
- Epistemology
- Computer science
- Autoepistemic logic
- Argumentation theory
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
12
References
3
Citations
NaN
KQI