About: Autoepistemic logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Autoepistemic logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAutoepistemic_logic&invfp=IFP_OFF&sas=SAME_AS_OFF

The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.

Attributes	Values
rdfs:label	Autoepistemic logic (en) 自己認識論理 (ja) Lógica autoepistêmica (pt) 自动认识逻辑 (zh)
rdfs:comment	The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic. (en) 自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は失敗による否定のある論理プログラミングの意味論として使われている。 (ja) A lógica autoepistêmica é uma lógica formal para a representação e raciocínio do conhecimento sobre o conhecimento. Enquanto a lógica proposicional pode apenas expressar fatos, a lógica autoepistêmica pode exprimir conhecimento e falta de conhecimento sobre fatos. A semântica de modelo estável, que é usada para dar semântica à programação lógica com negação por falha, pode ser vista como uma forma simplificada da lógica autoepistêmica. (pt) 自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。 (zh)
dcterms:subject	Logic programming Modal logic
Wikipage page ID	2738697 (xsd:integer)
Wikipage revision ID	1015501398 (xsd:integer)
Link from a Wikipage to another Wikipage	Probabilistic logic network Propositional formula Modal logic Negation as failure Modal operator Logic Propositional logic Lecture Notes in Computer Science Logic programming Non-monotonic logic Logical consequence Logic programming Modal logic Syntax S5 (modal logic) Stable model semantics Uncertain inference Possible world semantics
Link from a Wikipage to an external page	https://books.google.com/books%3Fid=xd57Kjl60q0C&pg=PA675 https://archive.org/details/springer_10.1007-3-540-49545-2 https://archive.org/details/springer_10.1007-3-540-49545-2/page/n229
sameAs	Autoepistemic logic Autoepistemic logic Autoepistemic logic Autoepistemic logic Autoepistemic logic Autoepistemic logic
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_journal dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description
has abstract	The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic. (en) 自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は失敗による否定のある論理プログラミングの意味論として使われている。 (ja) A lógica autoepistêmica é uma lógica formal para a representação e raciocínio do conhecimento sobre o conhecimento. Enquanto a lógica proposicional pode apenas expressar fatos, a lógica autoepistêmica pode exprimir conhecimento e falta de conhecimento sobre fatos. A semântica de modelo estável, que é usada para dar semântica à programação lógica com negação por falha, pode ser vista como uma forma simplificada da lógica autoepistêmica. (pt) 自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。 (zh)
gold:hypernym	Logic
prov:wasDerivedFrom	wikipedia-en:Autoepistemic_logic?oldid=1015501398&ns=0
page length (characters) of wiki page	7042 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Autoepistemic_logic
is rdfs:seeAlso of	Argument from ignorance
is Link from a Wikipage to another Wikipage of	Probabilistic logic network Negation as failure Default logic Index of epistemology articles Index of philosophy articles (A–C) Law of excluded middle Non-monotonic logic Predicate (mathematical logic) Semantics of autoepistemic logic Stable model semantics Uncertain inference
is Wikipage redirect of	Semantics of autoepistemic logic
is foaf:primaryTopic of	wikipedia-en:Autoepistemic_logic

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software