We explore techniques for maintaining consistency in reasoning when employing dynamic hierarchical task decompositions. In particular, we consider the difficulty of maintaining consistency when an agent nonmonotonically modifies an assumption in one level of the task hierarchy and that assumption depends upon potentially dynamic assertions higher in the hierarchy. The hypothesis of our work is ...

Knowledge Contribution Justification Criterion Justification Process Knowledge Contribution Representation Research Subject Epistemological Contribution validated through focussed at supposed to justify refers to represented through refers to specialized from

The paper develop a new approach to the justification of Gibbs canonical distribution for Hamiltonian systems with finite number of degrees of freedom. It uses the condition of nonintegrability of the ensemble of weak interacting Hamiltonian systems. 1. Gibbs distribution. We consider the probability distribution in the phase space of Hamiltonian system with the density ρ = ce− H kτ , (1) where...

An answer mined from text collections is deemed correct if an explanation or justification is provided. Due to multiple language ambiguities, abduction, or inference to the best explanation, is a possible vehicle for such justifications. To interpret abductively an answer, world knowledge, iexico-semantic knowledge as well as pragmatic knowledge need to be integrated. This paper presents variou...

Justification is to give evidence, in terms of a proof, for the truth value of the result generated by query evaluation of a logic program. In an earlier work we presented algorithms for justifying logic programs. It was based on using tabling for evaluating the program and post-processing the memo tables created during evaluation. Justification built in this fashion does not compromise the per...

One of the many difficult tasks in requirements engineering for software-based systems is validation. The aspect of validation dealt with in this thesis is the justification that a proposed system, once implemented, will lead to the system in its environment displaying required behaviour. The work reported in this thesis is motivated by two problems with attempts at justification: • the need to...

Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...

Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, w...