Detecting Conflict-Free Argumentative or Abductive Knowledge Bases
نویسنده
چکیده
This paper presents a simple method that reduces the problem of detecting conflict-free assumption-based knowledge bases to the problem of testing satisfiability.
منابع مشابه
Detecting Conflict-Free Assumption-Based Knowledge Bases
This paper presents a simple method that reduces the problem of detecting conflictfree assumption-based knowledge bases to the problem of testing satisfiability.
متن کاملAnytime argumentative and abductive reasoning
This article presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm can be interrupted at any time returning the solution found so far. The quality of the approximation increases monotonically when more computational resources are available. The method is based on cost functions and returns lo...
متن کاملA Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning
This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm can be interrupted at any time returning the solution found so far. The quality of the approximation increases monotonically when more computational resources are available. The method is based on cost functions and returns lowe...
متن کاملAbductive Processes for Answer Justification
An answer mined from text collections is deemed correct if an explanation or justification is provided. Due to multiple language ambiguities, abduction, or inference to the best explanation, is a possible vehicle for such justifications. To interpret abductively an answer, world knowledge, iexico-semantic knowledge as well as pragmatic knowledge need to be integrated. This paper presents variou...
متن کاملA Formalizing Negotiations Using Logic Programming
The paper introduces a logical framework for negotiation among dishonest agents. The framework relies on the use of abductive logic programming as a knowledge representation language for agents to deal with incomplete information and preferences. The paper shows how intentionally false or inaccurate information of agents can be encoded in the agents’ knowledge bases. Such disinformation can be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002