About: Autoepistemic logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Formal logic for the representation and reasoning of knowledge about knowledge

Property	Value
dbo:description	formal logic for the representation and reasoning of knowledge about knowledge (en) 知識に関する知識を表現したり推論したりするために定式化された形式論理 (ja)
dbo:wikiPageExternalLink	https://archive.org/details/springer_10.1007-3-540-49545-2 https://archive.org/details/springer_10.1007-3-540-49545-2/page/n229 https://books.google.com/books%3Fid=xd57Kjl60q0C&pg=PA675
dbo:wikiPageWikiLink	dbr:Modal_operator dbr:Uncertain_inference dbc:Logic_programming dbr:Logic_programming dbr:S5_(modal_logic) dbr:Logical_consequence dbr:Non-monotonic_logic dbr:Propositional_logic dbr:Lecture_Notes_in_Computer_Science dbr:Propositional_formula dbr:Negation_as_failure dbr:Logic dbr:Modal_logic dbr:Probabilistic_logic_network dbc:Modal_logic dbr:Syntax dbr:Stable_model_semantics dbr:Possible_world_semantics
dbp:bot	User:Cewbot/log/20201008/configuration (en)
dbp:date	2024-07-02 (xsd:date)
dbp:reason	The anchor has been deleted. (en)
dbp:targetLink	Propositional calculus#Interpretation of a sentence of truth-functional propositional logic (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Refend dbt:Refbegin dbt:Broken_anchor dbt:Short_description
dct:subject	dbc:Logic_programming dbc:Epistemic_logic
gold:hypernym	dbr:Logic
rdfs:label	Autoepistemic logic (en) 自己認識論理 (ja) Lógica autoepistêmica (pt) 自动认识逻辑 (zh)
owl:sameAs	freebase:Autoepistemic logic wikidata:Autoepistemic logic dbpedia-zh:Autoepistemic logic dbpedia-ja:Autoepistemic logic dbpedia-pt:Autoepistemic logic dbpedia-global:Autoepistemic logic
prov:wasDerivedFrom	wikipedia-en:Autoepistemic_logic?oldid=1232151439&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Autoepistemic_logic
is dbo:wikiPageRedirects of	dbr:Semantics_of_autoepistemic_logic
is dbo:wikiPageWikiLink of	dbr:Predicate_(mathematical_logic) dbr:Uncertain_inference dbr:Non-monotonic_logic dbr:Negation_as_failure dbr:Index_of_philosophy_articles_(A–C) dbr:Default_logic dbr:Index_of_epistemology_articles dbr:Probabilistic_logic_network dbr:Law_of_excluded_middle dbr:Stable_model_semantics dbr:Semantics_of_autoepistemic_logic
is rdfs:seeAlso of	dbr:Argument_from_ignorance
is foaf:primaryTopic of	wikipedia-en:Autoepistemic_logic