The resulting nonmonotonic formalisms will be shown to provide a logical representation of abductive reasoning, and a complete characterization of causal nonmonotonic reasoning from McCain and Turner [Proc. AAAI-97, Providence, RI, 1997, pp. 460 465].
It concerns the representation of deductive reasoning, for many logicians the primary objective of logic.
Semantic Web technologies offer a well-defined syntax and semantics for the formal representation of and reasoning with domain knowledge.
The Belief-Desire-Intention model of agents (BDI) is concerned with the formal representation of practical reasoning involving action, intention, belief, will, deliberation, goal-driven modeling, etc.
The resulting DFOL framework is then proposed as a clear formal tool for the representation of and reasoning about distributed knowledge and bridge rules.
It is the task of the logic of discovery to draw out and give a schematic representation of the reasoning strategies that were applied in episodes of successful scientific inquiry.
Yoyo combines an HTN-based mechanism for constraining its search and a Binary Decision Diagram (BDD) representation for reasoning about sets of states and state transitions.
MRF offer a powerful representation for reasoning on large sets of random variables in interaction.
Supporting learners to think spatially means considering learning environment designs that provide the imaginative mental states about concepts of space, tools of representation, and processes of reasoning that underlie more formal thought (Waller, 2014).
