11774489
Some contributions to nonmonotonic consequence
This paper introduces a non-Horn ruleWRM which is a weak form ofrational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. In this paper, a relation ‖∼ is said to beP+WRM iff it is apreferential inference and satisfies the ruleWRM. We establish the representation theorem forP+WRM, and compare the strength ofWRM with some non-Horn rules appearing in literatures. Moreover, we explore the relation betweenP+WRM and conditional logic, and demonstrate thatP+WRM is equivalent to ‘flat’ fragment of conditional logicCS4.2. Another contribution of this paper is to explore the relation between two special kinds of preferential models, i.e., PRC model and quasi-linear model. Main result reveals that the latter is a special form of the former.
1234389
Nonmonotonic Reasoning and Multiple Belief Revision
The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision. For this purpose we de ne a nonmonotonic inference frame in which individual inference rules have been proposed in the literature but their combination as a system has not been investigated. It is shown that such a system is so strong that almost all the rules (including the supracompactness) suggested for nonmonotonic inference relations in the literature hold in it. We prove that this nonmonotonic inference frame is strictly correspendent with multiple belief revision operation. On the basis of this result we analyse a speci c paradigm of defult theory which satis es all the rules under consideration and discuss limitations of methods based on consequence relations for the study of nonmonotonic reasoning.
11630076
Capacity allocation with competitive retailers
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation mechanisms for such settings that a supplier with limited production capacity allocates its products to a set of competitive retailers. In contrary to the existing allocation mechanisms in which retailers are local monopolists, the new model exhibits much more complicated market behaviors. We show that the widely-used proportional allocation mechanism is no longer necessarily Pareto optimal, even if all retailers are in a symmetric situation. A necessary and sufficient condition for the proportional allocation to be Pareto optimal is given. We propose a truth-inducing allocation mechanism based on our capacity allocation model, which is more intuitive and applicable than the existing truth-inducing mechanisms.
10744441
Autonomy of Autonomous Agents
Autonomy is one of the most notable attributes of agency, and this paper presents a formal framework for modelhng it. By representing the mental states of agents, we provide an analysis of some attributes of autonomy. In particular, we define three sorts of autonomous agents and examine their structure. We also outline features of higher autonomy. Our framework can be a basis for cleissifying hierarchies of autonomy of agency.
8370711
Consistency of Action Descriptions
As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation of action descriptions: uniform consistency, consistency of formulas and regional consistency. The first two provide an intuitive resolution of problems of explanation conflicts and fluent dependency. The concept of regional consistency provides for a measure of ramification. A highly expressive form of action descriptions, the normal form, is introduced to facilitate this analysis. The relative satisfiability of the situation calculus is generalized to accommodate non-deterministic effects and ramifications.
9693532
Negotiation mechanism for TAC SCM component market
This paper presents a new negotiation mechanism and a new supplier model for Trading Agent Competition Supply Chain Management(TAC SCM). Under the new negotiation mechanism, an agent is allowed to negotiate with component suppliers on price, delivery date and supply quantity while a supplier can autonomously vary its production capacity with market demands and allocate its products to buyers through auction. A mathematical analysis is given to ensure the new negotiation mechanism and supplier model effectively solve the existing problems while keeping most good features of the original TAC SCM game model.
15692531
Molecular caps for full quantum mechanical computation of peptide-water interaction energy
We present a systematic study of numerical accuracy of various forms of molecular caps that are employed in a recently developed molecular fractionation scheme for full quantum mechanical computation of protein-molecule interaction energy. A previously studied pentapeptide (Gly-Ser-Ala-Asp-Val) or P5 interacting with a water molecule is used as a benchmark system for numerical testing. One-dimensional potential energy curves are generated for a number of peptide-water interaction pathways. Our study shows that various forms of caps all give consistently accurate energies compared to the corresponding full system calculation with only small deviations. We also tested the accuracy of cutting peptide backbone at different positions and comparisons of results are presented.
206133548
An efficient algorithm to rank Web resources
Abstract How to rank Web resources is critical to Web Resource Discovery (Search Engine). This paper not only points out the weakness of current approaches, but also presents in-depth analysis of the multidimensionality and subjectivity of rank algorithms. From a dynamics viewpoint, this paper abstracts a user's Web surfing action as a Markov model. Based on this model, we propose a new rank algorithm. The result of our rank algorithm, which synthesizes the relevance, authority, integrativity and novelty of each Web resource, can be computed efficiently not by iteration but through solving a group of linear equations.
9889457
A New Approach to Automated Retinal Vessel Segmentation Using Multiscale Analysis
Computer based analysis for automated segmentation of blood vessels in retinal images help eye care specialists screen larger populations for vessel abnormalities. However, automated retinal segmentation is complicated by the fact that the width of retinal vessels can vary from very large to very small, and that the local contrast of vessels is unstable, especially in unhealthy ocular fundus. We propose a novel method that takes these facts into account. Our method includes a multiscale analytical scheme using Gabor filters and scale production, and a threshold probing technique utilizing the features of retinal vessel network. Our method is good for detecting large and small vessels concurrently. It also offers an efficient way to denoise and enhance the responses of line filters, allowing the detection of vessels with low local contrast
15034258
Semantic, Hierarchical, Online Clustering of Web Search Results
We propose a Semantic, Hierarchical, Online Clustering (SHOC) approach to automatically organizing Web search results into groups. SHOC combines the power of two novel techniques, key phrase discovery and orthogonal clustering, to generate clusters which are both reasonable and readable. Moreover, SHOC can work for multiple languages: not only English but also oriental languages like Chinese. The main contribution of this paper includes the following. (1) The benefits of using key phrases as Web document features are discussed. A key phrase discovery algorithm based on suffix array is presented. This algorithm is highly effective and efficient no matter how large the language’s alphabet is. (2) The concept of orthogonal clustering is proposed for general clustering problems. The reason why matrix Singular Value Decomposition (SVD) can provide solution to orthogonal clustering is strictly proved. The orthogonal clustering has a solid mathematics foundation and many advantages over traditional heuristic clustering algorithms.
42579325
A data model and algebra for the Web
The recent emergence of XML as a standard for representation and exchange of data on the Web has drawn significant attention. But existing semistructured data models, such as OEM, cannot support XML naturally and fully. A new data model named XOM is proposed in this paper as the common data model for the Web data source. Based on rooted connected directed graphs both cyclic and acyclic, whose nodes are labeled and edges are ranked, XOM can describe the aggregation relationship as well as the general reference relationship (linkage) between XML elements. Through ranked closure operation, both tree-oriented and graph-oriented models can be unified in XOM. As the formal foundation for query processing and optimization for Web data, a new algebra called XOM algebra, which includes six operations, i.e., object union, difference, select, project, paste and cut, is also proposed. In comparison with relational algebra, XOM algebra is more flexible and powerful.