Vivid logic. Knowledge-based reasoning with two kinds of negation

DOI10.1007/3-540-57604-5zbMath0806.68105OpenAlexW4231068940MaRDI QIDQ1315517

Gerd Wagner

Publication date: 17 February 1994

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-57604-5

zbMATH Keywords

constructivity`vivid' knowledge representation and reasoning systemknowledge- based systemsnon-explosivenessrestricted reflexivityvivid logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (7)

Semantics-based nonmonotonic inference ⋮ Partial up an down logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Knowledge representation as domain ⋮ Description logics with contraries, contradictories, and subcontraries ⋮ Argument-based extended logic programming with defeasible priorities ⋮ A first order nonmonotonic extension of constructive logic

This page was built for publication: Vivid logic. Knowledge-based reasoning with two kinds of negation