Nonmonotonic logic and temporal projection
From MaRDI portal
Publication:1108819
DOI10.1016/0004-3702(87)90043-9zbMath0654.68107OpenAlexW2036900631WikidataQ29997854 ScholiaQ29997854MaRDI QIDQ1108819
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90043-9
default logicdefault reasoningnon-monotonic logicspredicate circumscriptionminimal model semanticspartial correctness problem
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99)
Related Items (64)
A three-valued semantics for deductive databases and logic programs ⋮ Two counterexamples related to Baker's approach to the frame problem ⋮ Motivated action theory: A formal theory of causal reasoning ⋮ Enablers and Inhibitors in Causal Justifications of Logic Programs ⋮ Causal Logic Programming ⋮ Modality and interrupts ⋮ Counterfactual reasoning by (means of) defaults ⋮ Modelling default and likelihood reasoning as probabilistic reasoning. ⋮ Reasoning about action. I: A possible worlds approach ⋮ Means-end relations and a measure of efficacy ⋮ Autocircumscription ⋮ Active logic semantics for a single agent in a static world ⋮ Efficient reasoning about rich temporal domains ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ A circumscriptive theorem prover ⋮ A modal contrastive logic: The logic of ``but ⋮ Applying the persistent set approach in temporal reasoning ⋮ Modular specifications with supernormal defaults ⋮ A logical expression of reasoning ⋮ Proving termination of general Prolog programs ⋮ Representing action: indeterminacy and ramifications ⋮ History of circumscription ⋮ From statistical knowledge bases to degrees of belief ⋮ On the impact of stratification on the complexity of nonmonotonic reasoning ⋮ A history based approximate epistemic action theory for efficient postdictive reasoning ⋮ Thirty years of Epistemic Specifications ⋮ Ramification and causality ⋮ Temporal ASP: from logical foundations to practical use with \texttt{telingo} ⋮ Frames in the space of situations ⋮ Acyclic logic programs and the completeness of SLDNF-resolution ⋮ Modal logic for modelling actions and agents ⋮ Comparing action descriptions based on semantic preferences ⋮ Programming in temporal-nonmonotonic reasoning ⋮ Nonmonotonic reasoning in the framework of situation calculus ⋮ Impediments to universal preference-based default theories ⋮ A semantics for means-end relations ⋮ Graphoids and natural conditional functions ⋮ A general framework for reason maintenance ⋮ Unnamed Item ⋮ A key to fuzzy-logic inference ⋮ \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem ⋮ A unifying action calculus ⋮ How does a box work? A study in the qualitative dynamics of solid objects ⋮ Formalising the Fisherman's Folly puzzle ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ A mathematical treatment of defeasible reasoning and its implementation. ⋮ Conditional entailment: bridging two approaches to default reasoning. ⋮ Defeasible reasoning with variable degrees of justification ⋮ Explaining updates by minimal sums ⋮ A rule based knowledge transaction model for mobile environments ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry ⋮ Inductive situation calculus ⋮ The logical foundations of goal-regression planning in autonomous agents ⋮ Frame problem in dynamic logic ⋮ A parallel memory-efficient epistemic logic program solver: harder, better, faster ⋮ The case for psychologism in default and inheritance reasoning ⋮ The dramatic true story of the frame default ⋮ A circumscriptive calculus of events ⋮ Probabilistic Horn abduction and Bayesian networks ⋮ Answer set programming and plan generation ⋮ The qualification problem: A solution to the problem of anomalous models ⋮ Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change ⋮ Introduction: Progress in formal commonsense reasoning ⋮ Nonmonotonic causal theories
Cites Work
This page was built for publication: Nonmonotonic logic and temporal projection
