A formalism is proposed in[35] which allows for reasoning about access control, especially relating to emergency management.
Also the Dung-O-Matic system allows for reasoning with ideal and eager semantics.
Ontological systems allow for computational reasoning, i.e. the inference of new facts from given knowledge and rules.
AND/OR graphs can represent any Boolean network and they allow for systematic reasoning through the application of the technique of recursive learning.
The ultimate goal of contract-based design is to allow for compositional reasoning, stepwise refinement, and a principled reuse of components that are already pre-designed, or designed independently.
Significant parts of scientific investigation are carried out on models rather than on reality itself because by studying a model we can discover features of and ascertain facts about the system the model stands for; in brief, models allow for surrogative reasoning (Swoyer 1991).
Standardized ontologies define relationships, allow for automated reasoning, and facilitate meta-analyses.
To overcome this problem, we present a framework for repairing inconsistencies in DL-programs by exchanging formulas of an ontology formulated in DL-LiteA, which is a prominent DL that allows for tractable reasoning.
However, recent work has shown that this feature could play a very useful role in query answering, where the syntactic structure of queries means that the occurrence of state variables is restricted in a way that allows for decidable reasoning.
This view would allow for inconsistency in moral reasoning since individuals may be hampered by their inability to consider different perspectives.
However, existing systems that reason about when to interrupt do not have access to models of user tasks that would allow for such finer-grained temporal reasoning.
