Non-monotonic logic. I

DOI10.1016/0004-3702(80)90012-0zbMath0435.68074MaRDI QIDQ1140441

Publication date: 1980

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(80)90012-0

zbMATH Keywords

model theory; proof theory; incomplete information; non-monotonic logic; truth maintenance systems; non-monotonic predicate calculus; non-monotonic sentential calculus

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68Q65: Abstract data types; algebraic specification

68T99: Artificial intelligence

Related Items

Nonmonotonic reasoning based on incomplete logic, Displaying the modal logic of consistency, On decision-theoretic foundations for defaults, An argument-based approach to reasoning with specificity, Using approximate reasoning to represent default knowledge, On-line algorithms for satisfiability problems with uncertainty, Annotated nonmonotonic rule systems, Negation in rule-based database languages: A survey, Foundations of a functional approach to knowledge representation, Plausible inferences and plausible reasoning, On the scoring approach to admissibility of uncertainty measures in expert systems, Introduction: Progress in formal commonsense reasoning, On the associations between variables in expert systems including default relations, Pluralistic evaluation of belief plausibility and its application to nonmonotonic reasoning, Updating knowledge bases, A computational approach to fuzzy quantifiers in natural languages, Some representational issues in default reasoning, Semantical considerations on nonmonotonic logic, Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!), A logic to reason about likelihood, Variable precision logic, Dispositional logic, Formalizing nonmonotonic reasoning systems, A natural semantics for modal logic over databases, An approach to default reasoning based on a first-order conditional logic: Revised report, A logical framework for default reasoning, Autocircumscription, A first-order conditional logic for prototypical properties, Nonmonotonic logic and temporal projection, Expert system models for inference with imperfect knowledge: A comparative study, Efficient reasoning about rich temporal domains, On the relationship between circumscription and negation as failure, An algorithm to compute circumscription, Fixed points in propositional nonmonotonic logic, Results on translating defaults to circumscription, Addendum: Circumscription and other non-monotonic formalisms, General logical databases and programs: Default logic semantics and stratification, Nonmonotonic reasoning, preferential models and cumulative logics, Programming in temporal-nonmonotonic reasoning, Impediments to universal preference-based default theories, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, Default knowledge and measures of specificity, A general framework for reason maintenance, The theory of nomic probability, What does a conditional knowledge base entail?, An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic, On the complexity of propositional knowledge base revision, updates, and counterfactuals, A logic of knowledge and justified assumption, How to reason defeasibly, On the relation between default and modal nonmonotonic reasoning, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, From environments to representations -- a mathematical theory of artificial perceptions, Reasoning with vague default, Non-monotonic fuzzy reasoning, An overview of fuzzy quantifiers. II. Reasoning and applications, Logic programs, well-orderings, and forward chaining, Automated theorem proving in temporal logic: \(T\)-resolution, A context for belief revision: forward chaining-normal nonmonotonic rule systems, Minimal knowledge problem: A new approach, Two counterexamples related to Baker's approach to the frame problem, Motivated action theory: A formal theory of causal reasoning, Possible world semantics and autoepistemic reasoning, Interpretations of open default theories in non-monotonic logics, Counterfactual reasoning by (means of) defaults, Modal logic for default reasoning, Abduction from logic programs: Semantics and complexity, Defaults in domain theory, Definability and commonsense reasoning, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Logic programming and knowledge representation---The A-Prolog perspective, Semantics for a theory of defeasible reasoning, Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics, Local logics, non-monotonicity and defeasible argumentation, Uniform semantic treatment of default and autoepistemic logics, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games, In search of a ``true logic of knowledge: The nonmonotonic perspective, The complexity of predicate default logic over a countable domain, Development of inductive inference algorithms using decision trees, Semantics-based nonmonotonic inference, A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic, Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning, Logic programming and reasoning with incomplete information, Modal nonmonotonic logics demodalized, All I know: A study in autoepistemic logic, Any-world assumptions in logic programming, A skeptical theory of inheritance in nonmonotonic semantic networks, Multi-modal nonmonotonic logics of minimal knowledge, Information tradeoffs in model building: A network routing application, ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS, A survey of non-monotonic reasoning

Cites Work