| http://dbpedia.org/ontology/abstract
|
The autoepistemic logic is a formal logic … 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. a simplified form of autoepistemic logic.
, 自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。 は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は失敗による否定のある論理プログラミングの意味論として使われている。
, A lógica autoepistêmica é uma lógica forma … 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.rma simplificada da lógica autoepistêmica.
, 自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
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 +
|
| http://dbpedia.org/ontology/wikiPageID
|
2738697
|
| http://dbpedia.org/ontology/wikiPageLength
|
7042
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1015501398
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Negation_as_failure +
, http://dbpedia.org/resource/Probabilistic_logic_network +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Category:Logic_programming +
, http://dbpedia.org/resource/Syntax +
, http://dbpedia.org/resource/Propositional_logic +
, http://dbpedia.org/resource/S5_%28modal_logic%29 +
, http://dbpedia.org/resource/Non-monotonic_logic +
, http://dbpedia.org/resource/Stable_model_semantics +
, http://dbpedia.org/resource/Propositional_formula +
, http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Logical_consequence +
, http://dbpedia.org/resource/Modal_operator +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Uncertain_inference +
, http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science +
, http://dbpedia.org/resource/Possible_world_semantics +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Refend +
, http://dbpedia.org/resource/Template:Refbegin +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logic_programming +
, http://dbpedia.org/resource/Category:Modal_logic +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logic +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Autoepistemic_logic?oldid=1015501398&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Autoepistemic_logic +
|
| owl:sameAs |
http://zh.dbpedia.org/resource/%E8%87%AA%E5%8A%A8%E8%AE%A4%E8%AF%86%E9%80%BB%E8%BE%91 +
, http://pt.dbpedia.org/resource/L%C3%B3gica_autoepist%C3%AAmica +
, https://global.dbpedia.org/id/4UU78 +
, http://ja.dbpedia.org/resource/%E8%87%AA%E5%B7%B1%E8%AA%8D%E8%AD%98%E8%AB%96%E7%90%86 +
, http://www.wikidata.org/entity/Q4826262 +
, http://dbpedia.org/resource/Autoepistemic_logic +
, http://rdf.freebase.com/ns/m.0802vn +
|
| rdfs:comment |
The autoepistemic logic is a formal logic … 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. a simplified form of autoepistemic logic.
, A lógica autoepistêmica é uma lógica forma … 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.rma simplificada da lógica autoepistêmica.
, 自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。
, 自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。 は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は失敗による否定のある論理プログラミングの意味論として使われている。
|
| rdfs:label |
自动认识逻辑
, Lógica autoepistêmica
, 自己認識論理
, Autoepistemic logic
|
