๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Hybrid Logic for Reasoning about Knowledge and Topology

โœ Scribed by Bernhard Heinemann

Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
300 KB
Volume
17
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Logic For Reasoning About Knowledge
Logic For Reasoning About Knowledge
โœ Ewa Orlowska ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 719 KB
Selecting a humanly understandable knowl
Selecting a humanly understandable knowledge representation for reasoning about knowledge
โœ Anthony S. Maida ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science โš– 621 KB

Three formalisms for representing knowledge about knowledge are briefly examined from the point of view of allowing a computer program to communicate its knowledge to a human. The first two formalisms are philosophically motivated and the last is psychologically motivated. Although all three formali

A knowledge representation perspective:
A knowledge representation perspective: Logics for paraconsistent reasoning
โœ Philippe Besnard; Els Laenens ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 912 KB

Paraconsistent logics are examined as an approach to knowledge representation devoted to the formalization of reasoning in the presence of contradictions. The adequacy of paraconsistent logics in such a perspective is described both on a general level and on a more specific level: discussion involve