Logic-based argumentation with existential rules

در این مقاله، ما علاقه مند به استفاده از استدلال برای رسیدگی به تناقض در پایگاه های نامتجانس دانش بیان شده با قوانین وجود دارد. ما پیشنهاد یک چارچوب استدلال را ارائه می دهیم و نشان می دهیم که آن یکپارچه، نسبتا پایه و غیر بی اهمیت است، بنابراین رضایت عقلانیت را از ادبیات رد می کند. ما نشان می دهیم که چگونه معانی استدلال مربوط به وضعیت هنر اداره ناسازگاری در این محیط است، به ما اجازه می دهد اولین اثبات دیالکتیکی در ادبیات برای معانی معینی ارائه دهیم.