Abduction from logic program: semantics and complexity
Theoretical Computer Science
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Incomplete information and deception in multi-agent negotiation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
When is it okay to lie? a simple model of contradiction in agent-based dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |
This paper studies a computational logic for dishonest reasoning. We introduce logic programs with disinformation to represent and reason with dishonesty. We then consider two different cases of dishonesty: deductive dishonesty and abductive dishonesty. The former misleads another agent to deduce wrong conclusions, while the latter interrupts another agent to abduce correct explanations. In deductive or abductive dishonesty, an agent can perform different types of dishonest reasoning such as lying, bullshitting, and withholding information. We show that these different types of dishonest reasoning are characterized by extended abduction, and address their computational methods using abductive logic programming.