Merging Rules: Preliminary Version
نویسندگان
چکیده
In this paper we consider the merging of rules or conditionals. In contrast to other approaches, we do not invent a new approach from scratch, for one particular kind of rule, but we are interested in ways to generalize existing revision and merging operators from belief merging to rule merging. First, we study ways to merge rules based on only a notion of consistency of a set of rules, and illustrate this approach using a consolidation operator of Booth and Richter. Second, we consider ways to merge rules based on a notion of implication among rules, and we illustrate this approach using socalled min and max merging operators defined using possibilistic logic.
منابع مشابه
Procedure Governing the Crimes of Legal Persons in the Preliminary Investigation Stage in Iranian and French Law
Article 143 of the Islamic Penal Code has anticipated criminal liability of legal persons. Since investigation of the crimes committed by these persons requires the existence of a criminal procedure relative to their nature, following the French law, the Code of Criminal Procedure has established rules by allocating a separate section. The specific provisions codified by the legislator in the C...
متن کاملAbstract Termination of Linear Rewriting Systems* -preliminary Version
TERMINATION OF LINEAR REWRITING SYSTEMS* preliminary version Nachum Dershowitz Department of Computer Science University of Illinois Urbana, Illinois 61801 U.S.A. Limitations, such as right-linearity, on the form of rules in a termrewriting system are shown to restrict the class of derivations that must be considered when determining whether or not the system terminates for all inputs. These re...
متن کاملTask Merging and Replication using Graph Rewriting
Several approaches for handling the multi-processor scheduling problem have been presented over the last decades, such as scheduling techniques, clustering techniques and task merging techniques. However, the increasing gap between processor speed and communication speed demand more accurate models of parallel computation and efficient algorithms to work under the restrictions of these models. ...
متن کاملNew Techniques for Merging Text Versions
Versioning helps users to keep track of different sets of edits on a document. Version merging methods enable users to determine which parts of which version they wish to include in the next or final version. We explored several existing and two new methods (highlighting and overlay) in single and multiple window settings. We present the results of our quantitative user studies, which show that...
متن کاملQuantum deduction rules (preliminary version)
We define propositional quantum Frege proof systems and compare it with classical Frege proof systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006