Artificial Intelligence
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
A logical framework for default reasoning
Artificial Intelligence
Proceedings of the Seventh Conference (AISB89) on Artificial Intelligence and Simulation of Behaviour
On constrained default theories
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
An assumption-based framework for non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
A comparative study of open default theories
Artificial Intelligence
ACM Computing Surveys (CSUR)
Assumption-Based Modeling Using ABEL
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Two-Sided Hypotheses Generation for Abductive Analogical Reasoning
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Computing scenario from knowledge with preferentially ordered hypotheses
Systems and Computers in Japan
Assumption based multi-valued semantics for extended logic programs
ISMVL '06 Proceedings of the 36th International Symposium on Multiple-Valued Logic
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Multi-agent assumption-based planning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Probabilistic assumption-based reasoning
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
The role of assumption identification in autonomous agent reasoning
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
| Hi-index | 0.00 |
The work in this paper is motivated from the need for assumption-based reasoning in normative systems, where, realistically, agents will have incomplete knowledge about their environment, and about other agents. The question we seek to address is whether it is possible for agents to identify appropriate assumptions dynamically, in order to fill in informational gaps. We discuss and illustrate our proposal with reference to an e-commerce example. In our previous work, we argued that e-contracts could be represented as Default Theories and proposed a theoretical way in which such theories could be constructed automatically from initial Event Calculus representations. That proposal relied on determining what information could be proved from the agent’s knowledge base, in order to decide whether it would serve as an assumption or not. In this paper we present an incremental technique that can be used for this construction that enables the dynamic and ad hoc identification of candidate assumptions, without resorting to proof.