scientific article
From MaRDI portal
Publication:3888567
zbMath0444.68083MaRDI QIDQ3888567
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Press Series in Artificial Intelligence. Cambridge, MassachusettsLondon: The MIT Press. X, 278 p., Index Pounds 11.40 (1979)real-world knowledge
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence (68T99) Information storage and retrieval of data (68P20)
Related Items (29)
Inheritance systems with exceptions ⋮ Connectionistic models of Boolean category representation ⋮ Parallel pointer machines ⋮ Formalizing nonmonotonic reasoning systems ⋮ A set expression based inheritance system ⋮ A skeptical theory of inheritance in nonmonotonic semantic networks ⋮ Hybridizing nonmonotonic inheritance with theorem proving ⋮ Testing for class membership in multi-parent hierarchies ⋮ Rethinking specificity in defeasible reasoning and its effect in argument reinstatement ⋮ Default reasoning in semantic networks: A formalization of recognition and inheritance ⋮ The place of logic in reasoning ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ Dynamic reasoning with qualified syllogisms ⋮ Diagnostic problem-solving with causal chaining ⋮ Hard problems for simple default logics ⋮ The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning ⋮ Natural language syntax and first-order inference ⋮ The complexity of path-based defeasible inheritance ⋮ Semantic networks ⋮ The ECO family ⋮ The KL-ONE family ⋮ Netl and subsequent path-based inheritance theories ⋮ Massively-parallel marker-passing in semantic networks ⋮ Structured connectionist models of semantic networks ⋮ Beyond is-a and part-whole: More semantic network links ⋮ Defeasible inheritance: A lattice based approach ⋮ Saying more with frames: Slots as classes ⋮ Universal Logic as a Science of Patterns ⋮ A formal model of diagnostic inference. II. Algorithmic solution and application
This page was built for publication:
