15449547
Encoding Solutions of the Frame Problem in Dynamic Logic
We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [20], Baker's state-minimization policy [1], and Gelfond & Lifchitz's Action Language A [7] in the propositional dynamic logic (PDL). The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms for reasoning about dynamic domains, can be used as a formal tool for comparing and unifying logics of action.
15151397
Logical Properties of Belief-Revision-Based Bargaining Solution
This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief revision. With the construction, the computation of bargaining solution can be converted to the calculation of maximal consistent hierarchy of prioritized belief sets. We prove that the syntax-independent solution of bargaining satisfies a set of desired logical properties for agreement function and negotiation function. Finally we show that the computational complexity of belief-revision-based bargaining can be reduced to $\Delta^P_2[\mathcal{O}(\log n)]$.
16817999
Convergency of Learning Process
This paper presents a learning process analysis on stability of learning in light of iterated belief revision. We view a learning process as a sequential belief change procedure. A learning policy is sought to guarantee every learning process leads to a complete knowledge about the world if the newly accepted information is the true fact on the world. The policy allows an agent to abandon the knowledge it has learned but requires a relatively moderate attitude to new information. It is shown that if new information is not always accepted in an extremely skeptical attitude and the changes of belief degrees follow the criterion of minimal change, any learning process for learning truth will converge to a complete knowledge state.
10882024
Frame problem in dynamic logic
This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond & Lifchitz's Action Language A in the propositional dynamic logic (PDL). The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms for reasoning about dynamic domains, can be used as a formal tool for comparing, analyzing and unifying logics of action.
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.
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.
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.
441422
Detection and application of influence rankings in small group meetings
We address the problem of automatically detecting participant's influence levels in meetings. The impact and social psychological background are discussed. The more influential a participant is, the more he or she influences the outcome of a meeting. Experiments on 40 meetings show that application of statistical (both dynamic and static) models while using simply obtainable features results in a best prediction performance of 70.59% when using a static model, a balanced training set, and three discrete classes: high, normal and low. Application of the detected levels are shown in various ways i.e. in a virtual meeting environment as well as in a meeting browser system.
2199968
Refreshing the sky: the compressed skycube with efficient support for frequent updates
The skyline query is important in many applications such as multi-criteria decision making, data mining, and user-preference queries. Given a set of d-dimensional objects, the skyline query finds the objects that are not dominated by others. In practice, different users may be interested in different dimensions of the data, and issue queries on any subset of d dimensions. This paper focuses on supporting concurrent and unpredictable subspace skyline queries in frequently updated databases. Simply to compute and store the skyline objects of every subspace in a skycube will incur expensive update cost. In this paper, we investigate the important issue of updating the skycube in a dynamic environment. To balance the query cost and update cost, we propose a new structure, the compressed skycube, which concisely represents the complete skycube. We thoroughly explore the properties of the compressed skycube and provide an efficient object-aware update scheme. Experimental results show that the compressed skycube is both query and update efficient.
377260
Supporting complex queries on multiversion XML documents
Managing multiple versions of XML documents represents a critical requirement for many applications. Recently, there has been much work on supporting complex queries on XML data (e.g., regular path expressions, structural projections, etc.). In this article, we examine the problem of implementing efficiently such complex queries on multiversion XML documents. Our approach relies on a numbering scheme, whereby durable node numbers (DNNs) are used to preserve the order among the nodes of the XML tree while remaining invariant with respect to updates. Using the document's DNNs, we show that many complex queries are reduced to combinations of range version retrieval queries. We thus examine three alternative storage organizations/indexing schemes to efficiently evaluate range version retrieval queries in this environment. A thorough performance analysis is then presented to reveal the advantages of each scheme.
9840052
Finding Fastest Paths on A Road Network with Speed Patterns
This paper proposes and solves the Time-Interval All Fastest Path (allFP) query. Given a user-defined leaving or arrival time interval I, a source node s and an end node e, allFP asks for a set of all fastest paths from s to e, one for each sub-interval of I. Note that the query algorithm should find a partitioning of I into sub-intervals. Existing methods can only be used to solve a very special case of the problem, when the leaving time is a single time instant. A straightforward solution to the allFP query is to run existing methods many times, once for every time instant in I. This paper proposes a solution based on novel extensions to the A* algorithm. Instead of expanding the network many times, we expand once. The travel time on a path is kept as a function of leaving time. Methods to combine travel-time functions are provided to expand a path. A novel lower-bound estimator for travel time is proposed. Performance results reveal that our method is more efficient and more accurate than the discrete-time approach.